Sciweavers

SAFECOMP
2015
Springer
9 years 10 months ago
Is Current Incremental Safety Assurance Sound?
Abstract. Incremental design is an essential part of engineering. Without it, engineering would not likely be an economic, nor an effective, aid to economic progress. Further, eng...
Valentin Cassano, Silviya Grigorova, Neeraj Kumar ...
111
Voted
SAFECOMP
2015
Springer
9 years 10 months ago
Automatic Architecture Hardening Using Safety Patterns
Safety critical systems or applications must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are avoided or kept below a satisfyi...
Kevin Delmas, Rémi Delmas, Claire Pagetti
94
Voted
SAFECOMP
2015
Springer
9 years 10 months ago
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices
Abstract. This paper addresses the problem of high-assurance operation for medical cyber-physical systems built from interoperable medical devices. Such systems are different from...
Krishna K. Venkatasubramanian, Eugene Y. Vasserman...
93
Voted
SAFECOMP
2015
Springer
9 years 10 months ago
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design
This paper addresses quantifying security risks associated with data assets within design models of embedded systems. Attack and system behaviours are modelled as time-dependent st...
Maria Vasilevskaya, Simin Nadjm-Tehrani
89
Voted
SAFECOMP
2015
Springer
9 years 10 months ago
Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition
Advanced Driver Assistance Systems (ADAS), like adaptive cruise control, collision avoidance systems, and, ultimately, piloted and autonomous driving are increasingly evolving into...
Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steine...
Security Privacy
Top of PageReset Settings