Computer Safety, Reliability, and Security, 1st ed. 2016 SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings Programming and Software Engineering Series
Coordonnateurs : Skavhaug Amund, Guiochet Jérémie, Schoitsch Erwin, Bitsch Friedemann
This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.
The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year?s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 ? Timing Performance in Safety Engineering.
SAFECOMP 2016 Workshops: ASSURE 2016 - Assurance Cases for Software-intensive Systems.- DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop.- SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems.- TIPS 2016 –Timing Performance in Safety Engineering.
Includes supplementary material: sn.pub/extras
Date de parution : 09-2016
Ouvrage de 400 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Computer Safety, Reliability, and Security :
Mots-clés :
cyber-physical systems; embedded systems; internet of things; quality of service; systems modeling; authentication; autonomous agents; confidence constraints; cooperative systems; cybersecurity; dependability; disaster management; fault-tolerant system; model-based; real-time system; reliability; safety-critical systems; simulation; system architecture; verification