Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

217 Pages·2016·8.06 MB·English

by  Marko Bertogna

Marko Bertogna · Luís Miguel Pinho
Eduardo Quiñones (Eds.)
Reliable Software
5
9 Technologies –
6
9

S
C Ada-Europe 2016
N
L
21st Ada-Europe International Conference
on Reliable Software Technologies
Pisa, Italy, June 13–17, 2016, Proceedings
123
Lecture Notes in Computer Science 9695
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zürich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7408
í
Marko Bertogna Lu s Miguel Pinho
(cid:129)
ñ
Eduardo Qui ones (Eds.)
Reliable Software
–
Technologies
Ada-Europe 2016
21st Ada-Europe International Conference
on Reliable Software Technologies
–
Pisa, Italy, June 13 17, 2016
Proceedings
123
Editors
MarkoBertogna Eduardo Quiñones
Universitàdi ModenaeReggioEmilia Barcelona SupercomputingCenter
Modena Barcelona
Italy Spain
Luís Miguel Pinho
CISTER/INESC-TEC, ISEP
Porto
Portugal
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-39082-6 ISBN978-3-319-39083-3 (eBook)
DOI 10.1007/978-3-319-39083-3
LibraryofCongressControlNumber:2016939061
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
©SpringerInternationalPublishingSwitzerland2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland
Preface
The 21st edition of the International Conference on Reliable Software Technologies
(Ada-Europe 2016) took place in the city of Pisa, hosted by Scuola Superiore
Sant’Anna, an internationally renowned university school. This was the return of the
conferencetoItaly,afterVenicein2008.Previouseditionsoftheconferencewereheld
in Spain (Santander, 1999, Palma de Mallorca, 2004, Valencia, 2010, and Madrid,
2015),France(Toulouse,2003,Brest,2009,andParis,2014),theUK(London,1997,
York,2005,andEdinburgh,2011),Switzerland(Montreux,1996,andGeneva,2007),
Sweden (Uppsala, 1998, and Stockholm 2012), Germany (Potsdam, 2000, and Berlin,
2013), Belgium (Leuven, 2001), Austria (Vienna, 2002), and Portugal (Porto, 2006).
TheconferenceseriesisrunandsponsoredbyAda-Europe,incollaborationwithlocal
organizations. This year Scuola Superiore Sant’Anna led the organization, with the
support of a truly international team.
The conference took place during June 13–17, 2016, with a rich program on both
thetechnicalandsocialsides.Thescientificpartoftheconferenceprogramfeatured12
presentations selected among 28 peer-reviewed papers, which were grouped into four
regular sessions spread out on the central days of the conference, on topics ranging
from concurrency and parallelism to real-time systems via testing and verification and
program correctness and robustness. The program also included eight industrial pre-
sentations, split across two industrial sessions. A session featuring presentations from
studentsoftheITSEASYpost-graduateschool,whichco-locateditsmeetingwiththe
conference, a poster session, and one vendor session with an accompanying vendor
exhibition completed the core program. In addition to this rich set of contents, eight
tutorials for the equivalent of 10 half-day sessions were scheduled on Monday and
Friday.AlsoonFriday,theweekfeaturedthethirdeditionoftheChallengesandNew
Approaches for Dependable and Cyber-Physical Systems Engineering Workshop.
The submissions to scientific and industrial tracks of the conference program came
from 25 countries and 96 distinct authors, from Europe, Asia, North and South
America, and Africa. The final result was a truly international program with contri-
butions from Australia, Austria, Canada, France, Germany, Italy, Portugal, Spain,
Sweden, Tunisia, UK, and USA.
Each day of the core conference program opened with a keynote talk centered on
topics of high interest within conference focus:
– “WhytheExpressivePowerofLanguagesSuchasAdaIsNeededforFutureCyber
Physical Systems.” Alan Burns, from the University of York, UK, presented the
challenges put forward to the developer of cyber physical systems to fully exploit
thewealthofreal-time systems theory,andhowtheseareaddressedwiththehigh-
level programming abstractions of Ada.
– “Challenges for the Automotive Platform of the Future.” Valerio Giorgetta, from
Magneti Marelli, Italy, presented how the concept of a car will be impacted by the
VI Preface
challenges put forward such as autonomous vehicles and functional safety and
reliability.
– “TheHiPEACVision.”MarcDuranton,fromCEA,France,presentedanoverview
oftheHiPEACvision,abi-annualdocumentproducedbytheHiPEACnetworkof
excellence, with the upcoming challenges in computing systems.
The proceedings contained in this volume cover the opening keynote talk and the
full set of peer-reviewed papers. The remainder of the conference contributions are
published, in successive instalments, in the Ada User Journal, the quarterly magazine
of Ada-Europe.
The tutorial program covered a wide range of topics in the scope of the central
themes of the conference, as follows:
– “A Semi-formal Approach to Software Development,” William Bail, The MITRE
Corporation, USA
– “Software Test and Verification Techniques for Dependable Systems,” William
Bail, The MITRE Corporation, USA
– “Embedded ARM Programming with Ada 2012,” Patrick Rogers, AdaCore, USA
– “Ada 2012 (Sub)types and Subprogram Contracts in Practice,” Jacob Sparre
Andersen, JSA Research & Innovation, Denmark
– “TowardsEnergyAwarenessandPredictabilityintheLinuxKernel,”J.Lelli,ARM
Ltd., Italy
– “Access Types and Memory Management in Ada 2012,” J.P. Rosen, Adalog,
France
– “UsingGnogaforDesktop/MobileGUIandWebDevelopmentinAda,”J.P.Rosen,
Adalog, France
– “ParallelisminAda,C,JavaandC#,TodayandTomorrow,”BradMoore,General
Dynamics Canada, and Stephen Michell, Maurya Software, Canada
The industrial sessions featured eight presentations centered on various aspects of
reliable software development:
– “WhatHastheARGBeenupto?—RecentandFutureChangestoAda2012,”Jeff
Cousins, ARG Rapporteur, UK
– “UsingAda’sVisibilityRulesandStaticAnalysistoEnforceSegregationofSafety
Critical Components,” Jean-Pierre Rosen and Jean-Christophe Van-Den-Hende,
Adalog and Alstom-Transport, France
– “Automated Testing of SPARK Ada Contracts (AUTOSAC),“ Christopher Bryan,
Rapita Systems, UK
– “Ada Usage in HMI for Onboard Safety Critical Applications,” Clara Maria
Arcones-Gabriel, Enrique Chicharro-Lopez and Ismael Lafoz-Pastor, Airbus
Defence and Space, Spain
– “An Update on Programming Language Vulnerabilities,” Stephen Michell, WG23
Convenor, Canada
– “Middleware for DistributedandRedundant Software,”Vincent Monfort, Systerel,
France
Preface VII
– “Model-Based Design and Schedulability Analysis for Avionic Applications on
Multicore Platforms,” Wenceslas Godard and Geoffrey Nelissen, Airbus Group
SAS, France and CISTER/ISEP, Portugal
– “Fitting the CONCERTO Component Model Approach to AUTOSAR Develop-
ment Flow,” Andrea Russino, Stefano Puri and Alessandro Zovi, Intecs and
Università di Padova, Italy
This edition of the conference featured a focused topic on “Safe and Predictable
Parallel Software Technologies.” Ada has been a language that has always excelled
withitsadvancedhigh-levelconcurrencysupport.Inthelast20years,Adahassteadily
extended its wealth of concurrency features and capabilities to a considerable extent,
yet within the bounds of a sequential task reasoning. With the advances in processor
architectures,andinparticularthemoveintoaparallelworld,itistimetodiscusshow
Ada should be evolved into supporting in the language the notion of fine-grained
parallelism. The program included a special session on “Ada and Parallelism,” which
discussed the design choices and evolutions of the language to support fine-grained
parallel programs. The session included both presentations from experts in the fol-
lowing topics as well as an open discussion to the floor:
– “Paraffin: A Parallelism Library for Ada,” Brad Moore, Gran Dynamics, Canada
– “Ada Container Iterators for Parallelism and Map/Reduce,” S. Tucker Taft, Ada-
Core, USA
We would like to acknowledge the work of all the people who contributed, with
variousresponsibilitiesandofficialfunctions,tothemakingoftheconferenceprogram.
First of all, the authors of the contributions, who were largely responsible for the
success of the conference. Then the members of the Program and Industrial Com-
mittees,whoworkedhardtoreviewandselectahigh-qualitysetofpapers,bothforthe
SpringerLNCSvolumeinthecaseofpeer-reviewedpapersandtheAdaUserJournal
inthecaseoftheindustrialpresentations,thespecialsessionpapers,andtheworkshop.
Finally,thegroupoforganizerswhomadetheconferenceprogramareality:Giorgio
Buttazzo (Conference Chair); Ettore Ricciardi (Local Chair); Marco Di Natale and
Tullio Vardanega (Industrial Co-chairs); Jorge Real (Tutorial and Workshop Chair);
Geoffrey Nelissen (PublicationChair); Mauro Marinoni andDirkCraeynest (Publicity
Co-chairs); Paolo Gai and Ahlan Marriott (Exhibition Chair). They all deserve our
gratitude for their effort.
We hope that the attendees enjoyed the conference, both its technical and social
program, as much as we did in organizing it.
June 2016 Marko Bertogna
Luís Miguel Pinho
Eduardo Quiñones
Organization
The 21st International Conference on Reliable Software Technologies, Ada-Europe
2016, was organized by Ada-Europe, in cooperation with ACM SIGAda, ACM
SIGBED, ACM SIGPLAN, and Ada Resource Association.
Conference Chair
Giorgio Buttazzo Scuola Superiore Sant’Anna, Italy
Program Co-chairs
Marko Bertogna University of Modena and Reggio Emilia, Italy
Luís Miguel Pinho CISTER/INESC-TEC, ISEP, Portugal
Special Session Chair
Eduardo Quiñones Barcelona Supercomputing Center, Spain
Tutorial and Workshop Chair
Jorge Real Universitat Politecnica de Valencia, Spain
Industrial Co-chairs
Marco Di Natale Scuola Superiore Sant’Anna, Italy
Tullio Vardanega Università di Padova, Italy
Publication Chair
Geoffrey Nelissen CISTER/INESC-TEC, ISEP, Portugal
Exhibition Co-chairs
Paolo Gai Evidence Srl, Italy
Ahlan Marriott White Elephant GmbH, Switzerland
Publicity Co-chairs
Mauro Marinoni Scuola Superiore Sant’Anna, Italy
Dirk Craeynest Ada-Belgium and KU Leuven, Belgium
X Organization
Local Chair
Ettore Ricciardi ISTI-CNR, Pisa, Italy
Sponsoring Institutions
AdaCore
Esterel Technologies
Ellidiss Software, TNI Europe Ltd.
Vector Software
Rapita Systems Ltd.
PTC
Program Committee
Mario Aldea University of Cantabria, Spain
Ted Baker National Science Foundation, USA
Marko Bertogna Università di Modena e Reggio Emilia, Italy
Johann Blieberger TU Wien, Austria
Bernd Burgstaller Yonsei University, Korea
Albert Cohen Inria, France
Juan A. de La Puente Universidad Politécnica de Madrid, Spain
Michael Gonzalez Harbour Universidad de Cantabria, Spain
J. Javier Gutierrez Universidad de Cantabria, Spain
Jerome Hugues ISAE, France
Raimund Kirner University of Hertfordshire, UK
Albert Llemosi Universitat de les Illes Balears, Spain
Franco Mazzanti ISTI-CNR, Italy
Stephen Michell Maurya Software Inc., Canada
Jurgen Mottok Regensburg University of Applied Sciences, Germany
Laurent Pautet Telecom ParisTech, France
Luís Miguel Pinho CISTER/INESC-TEC, ISEP, Portugal
Erhard Plodereder University of Stuttgart, Germany
Eduardo Quinones Barcelona Supercomputing Center, Spain
Jorge Real Universitat Politècnica de València, Spain
Christine Rochange IRIT - Université de Toulouse, France
Jose Ruiz AdaCore, France
Sergio Saez Universidad Politècnica de València, Spain
Martin Schoeberl Technical University of Denmark, Denmark
Tucker Taft AdaCore, USA
Theodor Tempelmeier University of Applied Sciences Rosenheim, Germany
Elena Troubitsyna Aabo Akademi University, Finland
Santiago Uruena GMV, Spain
Tullio Vardanega Università di Padua, Italy