Designing Critical Systems Using Hierarchical STPA and Event-B
Abstract
References
Recommendations
Combining GSN and STPA for Safety Arguments
Computer Safety, Reliability, and SecurityAbstractDependability case, assurance case, or safety case is employed to explain why all critical hazards have been eliminated or adequately mitigated in mission-critical and safety-critical systems. Goal Structuring Notation (GSN) is the most employed ...
Linking modelling in event-b with safety cases
SERENE'12: Proceedings of the 4th international conference on Software Engineering for Resilient SystemsSafety cases are adopted in the certification process of many safety-critical systems. They justify why a system is safe and whether the design adequately incorporates safety requirements defined in a system requirement specification. The use of formal ...
Towards applying a safety analysis and verification method based on STPA to agile software development
CSED '16: Proceedings of the International Workshop on Continuous Software Evolution and DeliveryAgile methodologies are becoming widespread in modern software development. However, due to a lack of safety assurance activities, agile methods are criticized for being inadequate for the development of safe software. Safety analysis and safety ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in