Reliable Software Technologies – Ada-Europe 2018 PDF
Preview Reliable Software Technologies – Ada-Europe 2018
António Casimiro Pedro M. Ferreira (Eds.) Reliable Software 3 7 8 Technologies – 0 1 S C Ada-Europe 2018 N L 23rd Ada-Europe International Conference on Reliable Software Technologies Lisbon, Portugal, June 18–22, 2018, Proceedings 123 Lecture Notes in Computer Science 10873 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, Zurich, 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, Chennai, 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 ó Ant nio Casimiro Pedro M. Ferreira (Eds.) (cid:129) Reliable Software – Technologies Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies – Lisbon, Portugal, June 18 22, 2018 Proceedings 123 Editors AntónioCasimiro PedroM. Ferreira University of Lisbon University of Lisbon Lisbon Lisbon Portugal Portugal ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-92431-1 ISBN978-3-319-92432-8 (eBook) https://doi.org/10.1007/978-3-319-92432-8 LibraryofCongressControlNumber:2018944394 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerInternationalPublishingAG,partofSpringerNature2018 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.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. Printedonacid-freepaper ThisSpringerimprintispublishedbytheregisteredcompanySpringerInternationalPublishingAG partofSpringerNature Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface The 23rd edition of the International Conference on Reliable Software Technologies (Ada-Europe 2018) took place in Lisbon, returning to Portugal 12 years after Porto in 2006. The previous editions of the conference were held in Spain (Santander, 1999, Palma de Mallorca, 2004, Valencia, 2010, Madrid, 2015), France (Toulouse, 2003, Brest, 2009, Paris, 2014), the UK (London, 1997, York, 2005, Edinburgh, 2011), Austria (Vienna, 2017 and 2002), Switzerland (Montreux, 1996, Geneva, 2007), Sweden (Uppsala, 1998, Stockholm, 2012), Germany (Potsdam, 2000, Berlin, 2013), Italy (Venice, 2008, Pisa, 2016), and Belgium (Leuven, 2001). The Faculty ofSciences of theUniversity ofLisbon was thelead organizer for this edition, with aid from an international core team that included members of Ada-Europe, the organization that oversees and sponsors the conference series. TheconferencetookplaceintheweekofJune18–22,2018,witharichprogramfor both technical content and social opportunities. The scientific program featured 10 papers selected among 27 peer-reviewed submissions, grouped into five presentation sessionsscheduledinthecentraldaysoftheconferenceweek,toaddressthefollowing topics: safety and security, Ada 202X, handling implicit overhead, real-time schedul- ing, and new application domains. The proceedings contained in this volume reflect these contributions (see the Table of Contents for details). The conference program also included 12 industrial contributions arranged in four industrialpresentationsessions.Theregularsessionswerecomplementedbyfourmore presentations selected among the regular submitted papers, as well as by vendor pre- sentations. Vendor exhibitions completed the core program. The first and the last day of the conference were dedicated to tutorials and work- shops. A total of ten tutorials took place, eight of which were half-day tutorials and 2 full-dayones.OnMondaytheprogramincludedtheworkshoponRuntimeVerification andMonitoringTechnologiesforEmbeddedSystems(RUME),andonFridaythefifth edition of the Workshop on Challenges and New Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS) took place. The proceedings from this partoftheconferenceprogramwillbepublished,insuccessiveinstalments,intheAda User Journal, the quarterly magazine of Ada-Europe. Thescientificandindustrialsubmissionsoriginatedfrom19countriesfromEurope, Asia, North and South America and Africa. Thanks to that wealth, the final program was an international digest of contributions from Austria, France, Germany, Italy, Norway,Poland,Portugal,SouthKorea,Spain,Sweden,Switzerland,theUK,andthe USA. Eachofthethreedaysofthetechnicalprogramopenedwithakeynotetalkfocusing on topics of interest to the conference scope. The three keynote talks were: – “Security and Dependability Challenges of IT/OT Integration” by Paulo Esteves-Veríssimo,fromtheUniversityofLuxembourg,Luxembourg,whoargued abouttheneedforparadigmsandtechniquestoendowsystemswiththecapacityof VI Preface defeating incremental adversary power and sustaining perpetual and unattended operation, in a systematic and automatic way. – “FromPhysicisttoRocketScientist,andHowtoMakeaCubeSatThatWorks”by Carl Brandon, from the Vermont Technical College, USA, who explained how to have a successful CubeSat, where many others have failed, in which the reliability of SPARK/Ada software plays a big part. – “Vulnerabilities in Safety, Security, and Privacy” by Erhard Plödereder, from the UniversityofStuttgart,Germany,whodiscussedthedifferencesandcommonalities inthreatsthataffectsafety,security,orprivacyintoday’ssystems,alsoarguingthat vulnerabilities made possible by programming language features form a common base for violating safety, security, or privacy. The tutorial program covered the following topics: – “Recent Developments in SPARK 2014,” Peter Chapin, Vermont Technical Col- lege, USA – “Access Types and Memory Management in Ada 2012,” Jean-Pierre Rosen, Ada- log, France – “Design and Architecture Guidelines for Trustworthy Systems,” William Bail, The MITRE Corporation, USA – “Numerics for the Non-Numerical Analyst,” Jean-Pierre Rosen, Adalog, France – “Requirements Development for Safety- and Security-Critical Systems,” William Bail, The MITRE Corporation, USA – “Scheduling Analysis of AADL Architecture Models,” Frank Singhoff, Lab-STICC/UBO, France and Pierre Dissaux, Ellidiss Technologies, France – “Writing Contracts in Ada,” Jacob Sparre Andersen, JSA Research & Innovation, Denmark – “Introduction to Libadalang,” Raphaël Amiard and Pierre-Marie de Rodat, Ada- Core, France – “Unit-Testing with Ahven,” Jacob Sparre Andersen, JSA Research & Innovation, Denmark – “Frama-C, a Framework for Analyzing C Code,” Julien Signoles, France The industrial program featured the following presentations: – “ManagingtheEndiannessofSoftwareBuildingBlockswithGNATAdaPragmas: A Case Study,” Patricia Lopez Cueva and Marco Panunzio – “Using Ada in Non-Ada Systems,” Ahlan Marriott – “Easy Ada Tooling with Libadalang,” Pierre-Marie de Rodat and Raphaël Amiard – “Ariane 6 Flight Software Designed for a Simpler Validation,” Philippe Gast and Cyrille Pierre – “I3DSAModularSensor Suite for Space Robotics,”Kristoffer NyborgGregertsen – “Multi-Concern Dependability-Centered Assurance for Space Systems via Con- certoFLA,” Barbara Gallina, Zulqarnain Haider, Anna Carlsson, Silvia Mazzini, and Stefano Puri – “Applying Formal Timing Analysis to Satellite Software,” Andreas Wortmann Preface VII – “Multicore Timing Analysis for Safety-Critical Software,” Ian Broster, Guillem Bernat, Francisco Cazorla, Christos Evripidou, and Suzana Milutinovic – “KhronoSim: Simulation and Testing of Real-Time Critical Cyber-Physical Systems,” Gonçalo Gouveia, João Esteves, Cláudio Maia, and Luis Miguel Pinho – “C Guidelines Compliance and Deviations (the MISRA and CERT Cases),” Maurizio Martignano – “Agile in Safety Critical Projects,” Pawel Zakrzewski – “AGILE-R: Agile Software Development for Railways,” Silvia Mazzini, John Favaro, Guido Ioele, Paolo Panaroni, Giancarlo Gennaro, and Umile Paone Complementing the regular sessions, the program of the conference included the following technical presentations: – “The IRONSIDES Project: Final Report,” Barry Fagin and Martin Carlisle – “Concurrent Reactive Objects in Rust—Secure by Construction,” Marcus Lindner, Jorge Aparicio, and Per Lindgren – “Alire: A Library Repository Manager for the Open Source Ada Ecosystem,” Alejandro R. Mosteo – “Real-Time Ada Applications on Android,” Alejandro Pérez Ruiz, Mario Aldea Rivas, and Michael González Harbour We would like to acknowledge the work of all the people who contributed, with variousresponsibilitiesandofficialfunctions,tothemakingoftheconferenceprogram overall. The success of the conference depends in large part on the quality of the programcontents. Theauthorsoftheselectedcontributions aretobethankedfirstand foremost for that. The members of the Program and Industrial Committees had the difficulttaskofscreeningthesubmissionsandselectingthecontributionstoincludein this proceedings volume and in the Ada User Journal. The Organizing Committee put it all together: Nuno Neves (Conference Chair); Marcus Völp (Special Session Chair); José Rufino and Marco Panunzio (Industrial Co-chairs); David Pereira (Tutorial and Workshop Chair); Dirk Craeynest (Publicity Chair);AhlanMarriottandJoséNeves(ExhibitionCo-chairs).Allofthemdeserveour gratitude for their effort. We hope that the attendees enjoyed every element of the conference program as much as we did in organizing it. June 2018 António Casimiro Pedro Ferreira Organization General Chair Nuno Neves LASIGE/University of Lisbon, Portugal Program Chair António Casimiro LASIGE/University of Lisbon, Portugal Special Session Chair Marcus Völp University of Luxembourg, Luxembourg Tutorial and Workshop Chair David Pereira CISTER/ISEP, Portugal Industrial Co-chairs Marco Panunzio Thales A.S., France José Rufino LASIGE/University of Lisbon, Portugal Publication Chair Pedro Ferreira LASIGE/University of Lisbon, Portugal Exhibition Co-chairs José Neves GMV Skysoft, Portugal Ahlan Marriott White Elephant GmbH, Switzerland Publicity Chair Dirk Craeynest Ada-Belgium and KU Leuven, Belgium Local Secretariat Madalena Almeida Viagens Abreu, Portugal X Organization Sponsoring Institutions AdaCore PTC RAPITA Systems Ellidiss Software CRITICAL Software LASIGE/FCT Program Committee Mario Aldea Universidad de Cantabria, Spain Ezio Bartocci Vienna University of Technology, Austria Johann Blieberger Vienna University of Technology, Austria Rakesh Bobba Oregon State University, USA Bernd Burgstaller Yonsei University, South Korea António Casimiro LASIGE/University of Lisbon, Portugal Juan A. de la Puente Universidad Politécnica de Madrid, Spain Virgil Gligor Carnegie Mellon University, USA Michael González Universidad de Cantabria, Spain Harbour J. Javier Gutiérrez Universidad de Cantabria, Spain Jérôme Hugues ISAE, France Ruediger Kapitza Technische Universität Braunschweig, Germany Hubert Keller Karlsruhe Institute of Technology, Germany Raimund Kirner University of Hertfordshire, UK Adam Lackorzynski TU Dresden and Kernkonzept GmbH, Germany Kristina Lundkvist Mälardalen University, Sweden Franco Mazzanti ISTI-CNR, Italy Laurent Pautet Telecom ParisTech, France Luís Miguel Pinho CISTER/ISEP, Portugal Erhard Plödereder Universität Stuttgart, Germany Jorge Real Universitat Politècnica de València, Spain José Ruiz AdaCore, France Sergio Sáez Universitat Politècnica de València, Spain Elad Schiller Chalmers University of Technology, Sweden Frank Singhoff Université de Bretagne Occidentale, France Jorge Sousa Pinto University of Minho, Portugal Tucker Taft AdaCore, USA Elena Troubitsyna Åbo Akademi University, Finland Santiago Urueña GMV, Spain Tullio Vardanega Università di Padova, Italy Marcus Völp University of Luxembourg, Luxembourg
Description:The list of books you might like
