Computer Safety, Reliability, and Security , 1st ed. 2017 SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings Programming and Software Engineering Series
Coordonnateurs : Tonetta Stefano, Schoitsch Erwin, Bitsch Friedemann
co-located with SAFECOMP 2017, the 36th International Conference on
Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.
The 38 revised full papers presented together with 5 introductory papers to each workshop,
and three invited papers, were carefully reviewed and selected from 49 submissions.
This year's workshops are: ASSURE 2017 ? Assurance Cases for Software-Intensive Systems;
DECSoS 2017 ? ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical
Systems and Systems-of-Systems; SASSUR 2017 ? Next Generation of System Assurance
Approaches for Safety-Critical Systems; TIPS 2017 ? Timing Performance in Safety Engineering;
TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.
Assurance cases for Software-Intensive Systems.- Dependable embedded and cyber-physical systems and systems-of-systems.- Next generation of system assurance approaches for safety-critical systems.- Timing performance in safety engineering.- Technical and legal aspects of data privacy and security.
Includes supplementary material: sn.pub/extras
Date de parution : 09-2017
Ouvrage de 478 p.
15.5x23.5 cm
Thèmes de Computer Safety, Reliability, and Security :
Mots-clés :
fault-tolerant hardware and software architectures; fault detection and recovery; mechanisms; distributed and real-time monitoring and control; security and privacy protection mechanisms; safety/security risk assessment; model-based analysis; design and assessment; formal methods; probabilistic verification and validation; in-the-loop and model-based testing; validation and verification methodologies and tools; methods for qualification; assurance and certification; compositional verification and certificati