Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings PDF
Preview Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Juan Antonio de la Puente Tullio Vardanega (Eds.) Reliable Software 1 Technologies – 1 1 9 S C Ada-Europe 2015 N L 20th Ada-Europe International Conference on Reliable Software Technologies Madrid, Spain, June 22–26, 2015, Proceedings 123 Lecture Notes in Computer Science 9111 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen EditorialBoard 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 Zürich, 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 Moreinformationaboutthisseriesathttp://www.springer.com/series/7408 · Juan Antonio de la Puente Tullio Vardanega (Eds.) Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies Madrid, Spain, June 22–26, 2015 Proceedings ABC Editors JuanAntoniodelaPuente TullioVardanega UniversidadPolitécnicadeMadrid-UPM UniversitàdiPadova Madrid Padova Spain Italy ISSN 0302-9743 ISSN1611-3349 (electronic) LectureNotesinComputerScience ISBN 978-3-319-19583-4 ISBN978-3-319-19584-1 (eBook) DOI10.1007/978-3-319-19584-1 LibraryofCongressControlNumber:2015939828 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering SpringerChamHeidelbergNewYorkDordrechtLondon (cid:2)c SpringerInternationalPublishingSwitzerland2015 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformationstor- age and retrieval, electronic adaptation, computer software, orbysimilar ordissimilar methodology now knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher, theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbook arebelievedtobetrueandaccurateatthedateofpublication. Neitherthepublishernortheauthorsorthe editorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinorforanyerrorsor omissionsthatmayhavebeenmade. Printedonacid-freepaper SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia (www.springer.com) Preface The 20th edition of the International Conference on Reliable Software Technologies (Ada-Europe2015)tookplaceinthecityofMadrid,26yearsafterthesuccessfulcon- ferenceAda:TheDesignChoice,whichmarkedthestartofAda-Europeasaninterna- tionalorganization.ThiswasthefourthtimethattheconferencewashostedinSpain, after Santander in 1999, Palma de Mallorca in 2004, and Valencia in 2010. Previous editionsoftheconferencewereheldinFrance(Toulouse,2003,Brest,2009,andParis, 2014),theUK (London,1997,York,2005,andEdinburgh,2011),Switzerland(Mon- treux, 1996,and Geneva,2007),Sweden (Uppsala,1998,and Stockholm2012),Ger- many (Potsdam, 2000, and Berlin, 2013), Belgium (Leuven, 2001), Austria (Vienna, 2002),Portugal(Porto,2006),andItaly(Venice,2008). The conferenceseries is run and sponsoredby Ada-Europe,in collaborationwith localorganizations.Thisyear Ada-Spainled theorganizingteam,with the supportof thehostinginstitution,ETSIT-UPM,atop-rankengineeringschoolininformationand communicationstechnologyattheUniversidadPolitécnicadeMadrid.Thiswasavery appropriatechoiceasETSIT-UPMcelebratedthe50thanniversaryofitscurrentlocation in Madrid,with a wide rangeof specialevents,includingthe Ada-Europeconference amongthemostprominentones. This year’s conference fell on the year in which the informatics and engineer- ing communitiesworldwideandthe Ada communityin particularcelebratethe 200th anniversary of Lady Ada Lovelace’s birth, December 10, 1815. Ada Lovelace, the namesake of the Ada ProgrammingLanguage,was the visionary who anticipated the adventandcreativepowerofcomputerprograms,longbeforeAlanTuringpublishedhis mostfamous“ComputingMachineryandIntelligence”paper.Theconferenceincluded adisplayofoeuvresonAdaLovelace’sworkandcorrespondence,whiletheAdaUser JournaldevotedthefullcontentsofitsDecember2015issuetocelebratingherfigure. The conferencetookplace duringJune 22–26,2015,with a richprogramon both the technical and social sides. The scientific part of the conference program featured 12 presentations selected among 36 peer-reviewed papers, which were grouped into four regular sessions spread on the central days of the conference.The program also included nine industrialpresentations, split across three industrial sessions. A special session on “Advances in Methods” with three presentations, and one vendor session with an accompanyingvendorexhibition,completed the core program.In addition to this rich set of material, nine tutorialsfor the equivalentof 12 half-daysessions were scheduled on Monday and Friday, together with two full-day workshops on subjects of high relevance, one on the engineering of “Dependable Cyber-Physical Systems” (Monday),andtheotheron“ArchitectureCentricVirtualIntegration”(Friday). VI Preface Each day of the core conferenceprogramopenedwith a keynotetalk centeredon topicshighintheinterestoftheconferencefocus: – EC-61508CertificationofMixed-CriticalitySystemsBasedonMulticoreandPar- titioning.JonPérez,fromIKERLAN,presentedanauthority-approvedcertification strategytoachieveconformancewithEC-61508,across-domainstandardforfunc- tionalsafety,inthedevelopmentofawind-turbinemixed-criticalitysystemrunning onamodernmulticoreprocessor. – Software Development of Safety-Critical Railway Systems. Javier Rodríguez, SiemensRailAutomation,providedinsightintothedevelopmentofsafety-critical systems,focusingonthereviewofthesoftwarelifecycleactivities. – TheCentralOn-BoardComputerofthePhilaeLanderintheContextoftheRosetta Space Mission. Andras Balázs, from the Wigner Research Centre for Physics in Budapest, Hungary, presented an overview of the major hardware and software designaspectsofthecentralon-boardcomputerofthePhilaelander,whichtraveled over10yearsasthepreciouspayloadoftheRosettaspacecraftthatrecentlymade thehistoricalencounterwiththecomet67P/Churyumov-Gerasimenko. Theproceedingscontainedinthisvolumecovertwoofthethreekeynotetalks,and thefullsetofpeer-reviewedpapers.Theremainderoftheconferenceproceedingswere published,insuccessiveinstalments,inthe AdaUserJournal,thequarterlymagazine ofAda-Europe. The 36 submissions to the peer-reviewed track of the conference program came from 19 countries and 87 distinct authors, from Europe, Asia, North America, and Africa.Theselectionwasverycompetitiveandresultedinthemakingoffourtechnical sessions,ontopicsrangingfromcriticalsystemstomulti-coreanddistributedsystems vialanguagetechnologyandreal-timeapplications. The tutorial program covered a wide range of topics in the scope of the central themesoftheconference,asfollows: – “AccessTypesandMemoryManagementinAda2012”,Jean-PierreRosen,Ada- log,France. – “DesigningandCheckingCodingStandardsforAda”,Jean-PierreRosen,Adalog, France. – “Parallelism in Ada, Today and Tomorrow”, Brad Moore, and Stephen Michell, GeneralDynamicsandMauryaSoftware,Canada. – “Probabilistic Timing Analysis”, Francisco Cazorla, Tullio Vardanega, Jaume Abella,andMarkPierce,BarcelonaSupercomputingCenter,Spain,Universityof Padua,ItalyandRapitaSystems,UK. – “Ada 2012 (Sub)types and Subprogram Contracts in Practice”, Jacob Sparre- Andersen,JSAResearch&Innovation,Denmark. – “WhenAdaMeetsPython:ExtensibilityThroughScripting”,EmmanuelBriotand BenBrosgol,AdaCore,FranceandUSA. – “Software Measures for Dependable Software Systems”, William Bail, MITRE, USA. – “SoftwareDesignConceptsandPitfalls”,WilliamBail,MITRE,USA. – “Real-Time and Embedded Programming with Ada 2012”, Patrick Rogers. AdaCore,USA. Preface VII The industrial sessions featured nine presentationscentered on various aspects of reliablesoftwaredevelopment: – “FromAda83toAda2012”PhilippeGastandDavidLesens,AirbusDefenceand Space,France. – “AutomatedTradingwithAda”DuncanSands,DeepBlueCapital,France. – “WCS Warehouse ControlSystem in Ada” Björn Lundin,Consafe LogisticsAB, Sweden. – “Early Experiencesin the Industrial Application of Spark 2014” Angela Wallen- burg,FlorianSchanda,StuartMatthews,AlanNewton,StephenWilliamsandNeil White,Altran,UK. – “SystemIntegrationinaRailwaySetting” TheodorNorup,Rambøll,Denmark. – “ModelBasedEngineeringofanUnmannedAerialSystem”JoseLuisFernández, Juan López, and J. Patricio Gómez, Universidad Politécnica de Madrid and Un- mannedSolutions,Spain. – “Multi-core Testing and Code Coverage” Ian Broster and David George, Rapita Systems,UK. – “DerivingReusableProcess-BasedArgumentsfromProcessModelsintheContext ofRailwaySafetyStandards”BarbaraGallinaandLucianaProvenzano,Mälardalen UniversityandBombardierTransportation,Sweden. – “SourceCodeAnalysisofFlightSoftwareUsingaSonarQubeBasedCodeQual- ityPlatform”MaurizioMartignano,AndreasJung,ChristianSchmidt,andTobias Lehmann, Spazio IT - Soluzioni Informatiche, European Space Agency, Airbus Helicopters,andInopus,Italy,TheNetherlands,andGermany. Theprogramalso includeda specialsession onAdvancesonMethods,whichwas designedtoallowthepresentationofworkinprogress,notyetfinalizedtomakethecon- ferenceproceedings,butmatureenoughtobeorallyexposedtotheconferencecrowd: – “A Task-Based Concurrency Scheme for Executing Component-Based Applica- tions”FranciscoSánchez-Ledesma,JuanÁngelPastor,DiegoAlonsoandBárbara Álvarez,UniversidadPolitécnicadeCartagena,Spain. – “Persistent Containers with Ada 2012” Jacob Sparre Andersen, JSA Research & Innovation,Denmark. – “Effective Worst-Case Execution Time Analysis of DO178C Level A Software” Stephen Law, Andrew Coombes, Michael Bennett, Ivan Ellis, and Stuart Hutchesson,Rolls-RoyceControls&DataServices,andRapitaSystems,UK. Wewouldliketoacknowledgetheworkofallthepeoplewhohavecontributed,with variousresponsibilitiesandofficialfunctions,tothemakingoftheconferenceprogram. Firstofall,theauthorsofthepresentations,whowerelargelyresponsibleforthesuc- cessoftheconference.ThenthemembersoftheProgramCommittee,whoworkedhard toreviewandselectahigh-qualitysetofpapers,bothfortheSpringerLNCSvolumein thecaseofpeer-reviewedpapersandtheAdaUserJournal,theindustrialpresentations, the special session papers, and the workshops. Finally, the group of organizers who madetheconferenceprogramareality:LocalChairJuanZamorano;ConferenceChair VIII Preface AlejandroAlonso;IndustrialCo-chairsJørgenBundgaardandAnaRodríguez;Public- ityChairDirkCraeynest;ExhibitionChairSantiagoUrueña;TutorialChairJorgeReal. Theyalldeserveourgratitudefortheireffort. Wehopethattheattendeesenjoyedtheconference,inbothitstechnicalandsocial program,asmuchaswedidinorganizingit. June2015 JuanAntoniodelaPuente TullioVardanega Organization The 20th International Conference on Reliable Software Technologies, Ada-Europe 2015,wasorganizedbyAda-EuropeandAda-Spain,incooperationwithACMSIGAda, SIGBED, SIGPLAN, Ada Resource Association, and ETSIT-UPM (Escuela Técnica SuperiordeIngenierosdeTelecomunicación,UniversidadPolitécnicadeMadrid). Conference Chair AlejandroAlonso UniversidadPolitécnicadeMadrid,Spain ProgramCo-chairs JuanAntoniodelaPuente UniversidadPolitécnicadeMadrid,Spain TullioVardanega UniversitàdiPadova,Italy Industrial Co-chairs JørgenBundgaard Rambøll,Denmark AnaRodríguez ASSystemIberia,Spain Tutorial Chair JorgeReal UniversitatPolitècnicadeValència,Spain Exhibition Chair SantiagoUrueña GMV,Spain Publicity Chair DirkCraeynest Ada-BelgiumandKULeuven,Belgium Local Chair JuanZamorano UniversidadPolitécnicadeMadrid,Spain
Description:The list of books you might like
