SAFECOMP
9 years 8 months ago
2015 Springer
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...
SAFECOMP
9 years 8 months ago
2015 Springer
Safety critical systems or applications must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are avoided or kept below a satisfyi...
SAFECOMP
9 years 8 months ago
2015 Springer
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...
SAFECOMP
9 years 8 months ago
2015 Springer
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...
SAFECOMP
9 years 8 months ago
2015 Springer
The intricacy of socio-technical systems requires a careful planning and utilisation of security resources to ensure uninterrupted, secure and reliable services. Even though many s...
|