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

✍ Scribed by Romanovsky, Alexander; Troubitsyna, Elena A

• Publisher: Springer
• Year: 2017
• Tongue: English
• Leaves: 208
• Series: Lecture notes in computer science 10479.; LNCS sublibrary. SL 2, Programming and software engineering
• Category: Library

✦ Synopsis

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...

✦ Table of Contents

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

✦ Subjects

Software engineering -- Congresses.;Computer software -- Reliability -- Congresses.;Computer Science.;Software Engineering.;Logics and Meanings of Programs.;Programming Languages, Compilers, Interpreters.;System Performance and Evaluation.;The Computing Profession.;Artificial Intelligence (incl. Robotics).;Computer software -- Reliability.;Software engineering.