Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements

2016 ◽  
pp. 191-202 ◽  
Author(s):  
Daniel Kästner ◽  
Christian Ferdinand
Keyword(s):  
Abstract Interpretation ◽  
Software Safety ◽  
Safety Requirements ◽  
En 50128

scholarly journals Combined Assessment of Software Safety and Security Requirements

2018 ◽  
Vol 20 (1) ◽  
pp. 46-69 ◽  
Author(s):  
Christian Raspotnig ◽  
Peter Karpati ◽  
Andreas L Opdahl
Keyword(s):  
Traffic Management ◽  
Modern Society ◽  
Air Traffic Management ◽  
Security Requirements ◽  
Functional Requirements ◽  
Software Safety ◽  
Secure Systems ◽  
Safety Requirements ◽  
Stakeholder Groups

Safety is a fundamental concern in modern society, and security is a precondition for safety. Ensuring safety and security of complex integrated systems requires a coordinated approach that involve different stakeholder groups going beyond safety and security experts and system developers. The authors have therefore proposed CHASSIS (Combined Harm Assessment of Safety and Security for Information Systems), a method for collaborative determination of requirements for safe and secure systems. In this article, the authors evaluate CHASSIS through industrial case studies of two small-to-medium sized suppliers to the air-traffic management (ATM) sector. The results suggest that CHASSIS is easy to use, and that handling safety and security together provides benefits because techniques, information, and knowledge can be reused. The authors conclude that further exploration and development of CHASSIS is worthwhile, but that better documentation is needed—including more detailed process guidelines—to support elicitation of security and safety requirements and to systematically relate them to functional requirements.

Software safety requirements module for smart home actuators

2012 ◽  
Author(s):  
M. Z. Bjelica ◽  
B. Mrazovac ◽  
V. Vojnovic ◽  
N. Teslic ◽  
V. Jelovac
Keyword(s):  
Smart Home ◽  
Software Safety ◽  
Safety Requirements

Combined Assessment of Software Safety and Security Requirements

2021 ◽  
pp. 666-693
Author(s):  
Christian Raspotnig ◽  
Peter Karpati ◽  
Andreas L Opdahl
Keyword(s):  
Traffic Management ◽  
Modern Society ◽  
Air Traffic Management ◽  
Security Requirements ◽  
Functional Requirements ◽  
Software Safety ◽  
Secure Systems ◽  
Safety Requirements ◽  
Stakeholder Groups

Safety is a fundamental concern in modern society, and security is a precondition for safety. Ensuring safety and security of complex integrated systems requires a coordinated approach that involve different stakeholder groups going beyond safety and security experts and system developers. The authors have therefore proposed CHASSIS (Combined Harm Assessment of Safety and Security for Information Systems), a method for collaborative determination of requirements for safe and secure systems. In this article, the authors evaluate CHASSIS through industrial case studies of two small-to-medium sized suppliers to the air-traffic management (ATM) sector. The results suggest that CHASSIS is easy to use, and that handling safety and security together provides benefits because techniques, information, and knowledge can be reused. The authors conclude that further exploration and development of CHASSIS is worthwhile, but that better documentation is needed—including more detailed process guidelines—to support elicitation of security and safety requirements and to systematically relate them to functional requirements.

On Software Safety, Security, and Abstract Interpretation

2018 ◽  
pp. 662-665
Author(s):  
Daniel Kästner ◽  
Laurent Mauborgne ◽  
Christian Ferdinand
Keyword(s):  
Abstract Interpretation ◽  
Software Safety
Sign in / Sign up

Export Citation Format

Share Document