Sciweavers

SAFECOMP
2015
Springer
9 years 11 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 ...
SAFECOMP
2015
Springer
9 years 11 months ago
Sequential and Parallel Attack Tree Modelling
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...
Florian Arnold, Dennis Guck, Rajesh Kumar, Mari&eu...
SAFECOMP
2015
Springer
9 years 11 months ago
The Role of CM in Agile Development of Safety-Critical Software
Tor Stålhane, Thor Myklebust
SAFECOMP
2015
Springer
9 years 11 months ago
Simulative Evaluation of Security Attacks in Networked Critical Infrastructures
ICT is becoming a fundamental and pervasive component of critical infrastructures (CIs). Despite the advantages that it brings about, ICT also exposes CIs to a number of security a...
Marco Tiloca, Francesco Racciatti, Gianluca Dini
SAFECOMP
2015
Springer
9 years 11 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