Accepted Papers - WoSoCer

Session 1 (Tue 29th Oct, 13:30 - 15:30) (Certified OSes and Cloud Infrastructures)

Keynote Talk: Safety Assurance and Certification: Current Practices, Challenges, and Brainstorming on Ways Forward
Barbara Gallina, Mälardalen University, Sweden

Analyzing and Improving Customer-side Cloud Security Certifiability
Shujie Zhao, Yiqun Chen, Stefan Winter and Neeraj Suri (TU Darmstadt)

Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization
Luigi De Simone (Università degli Studi di Napoli Federico II) and Giovanni Mazzeo (University of Naples "Parthenope")

EN-50128 certification-oriented design of a safety-critical hard real-time kernel
Ciro Donnarumma (Rete Ferroviaria Italiana S.P.A.), Pietro Fara, Gabriele Serra, Sandro Di Leonardi and Mauro Marinoni (Scuola Superiore Sant’Anna)

 

Session 2 (Tue 29th Oct, 16:00 - 18:00) (Assurance Cases)

Continuous Deployment for Dependable Systems with Continuous Assurance Cases
Fredrik Warg (RISE Research Institutes of Sweden), Hans Blom (Zenuity), Jonas Borg (Volvo Penta) and Rolf Johansson (Autonomous Intelligent Driving)

Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering
Jose Luis de la Vara (University of Castilla-La Mancha), Eugenio Parra (Universidad Carlos III de Madrid), Luis Alonso (The REUSE Company), Roy Mendieta (The REUSE Company), Borja Lopez (The REUSE Company) and Jose María Alvarez-Rodríguez (Universidad Carlos III de Madrid)

ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models
Carmen Cârlan, Vivek Nigam, Alexandros Tsalidis and Sebastian Voss (fortiss GmbH)

Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL
Nicolas Métayer, Andrés Paz and Ghizlane El Boussaidi (École de technologie supérieure)

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering 
Antoaneta Kondeva, Carmen Carlan, Harald Ruess and Vivek Nigam (fortiss GmbH)