Towards Security-Explicit Formal Modelling of Safety-Critical Systems
| Autor: | Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Timo Latvala, Dubravka Ilic, Elena Troubitsyna |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Computer science
media_common.quotation_subject 020207 software engineering 02 engineering and technology Industrial control system Formal system Interdependence Risk analysis (engineering) Life-critical system 020204 information systems 0202 electrical engineering electronic engineering information engineering Systems architecture Safety case Weaving media_common |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319454764 SAFECOMP |
| DOI: | 10.1007/978-3-319-45477-1_17 |
| Popis: | Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that if the system is not secure then it is not safe calls for novel development and verification techniques weaving security consideration into the safety-driven design. In this paper, we demonstrate how to make explicit the relationships between safety and security in the formal system development by refinement. The proposed approach allows the designers to identify at early design states mutual interdependencies between the mechanisms ensuring safety and security and build robust system architecture. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|