Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software. �Read more... Abstract: This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. �Read more... Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 Predictive Analytics: A Shortcut to Dependable Computing (Miroslaw Malek)....Pages 3-17 Front Matter ....Pages 19-19 Modeling and Monitoring of Hierarchical State Machines in Scala (Klaus Havelund, Rajeev Joshi)....Pages 21-36 Stochastic Activity Networks for the Verification of Knowledge Bases (Luke Martin, Alexander Romanovsky)....Pages 37-44 A Generated Property Specification Language for Resilient Multirobot Missions (Swaib Dragule, Bart Meyers, Patrizio Pelliccione)....Pages 45-61 Front Matter ....Pages 63-63 Towards a Model-Driven Security Assurance of Open Source Components (Irum Rauf, Elena Troubitsyna)....Pages 65-80 A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling (Henry Muccini, Mahyar Tourchi Moghaddam)....Pages 81-95 Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook (Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala)....Pages 96-114 Front Matter ....Pages 115-115 Evaluation of Open Source Operating Systems for Safety-Critical Applications (Petter Sainio Berntsson, Lars Strandén, Fredrik Warg)....Pages 117-132 100 Years of Software - Adapting Cyber-Physical Systems to the Changing World (Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander et al.)....Pages 133-148 Front Matter ....Pages 149-149 Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB (Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafjiul Islam)....Pages 151-168 Modelling for Systems with Holistic Fault Tolerance (Rem Gensh, Ashur Rafiev, Fei Xia, Alexander Romanovsky, Alex Yakovlev)....Pages 169-183 Holistic Processing and Exploring Event Logs (Marcin Kubacki, Janusz Sosnowski)....Pages 184-200 Back Matter ....Pages 201-201