Application of System Level Analysis Techniques to Ensure Safety of Embedded Software (original) (raw)
Related papers
Software FMEA analysis for safety-related application software
A Safety Analysis Method for Control Software in Coordination with FMEA and FTA
Information
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
Lecture Notes in Computer Science, 2000
A Survey on Different Software Safety Hazard Analysis and Techniques in Safety Critical Systems
ravikumar s, Chandrasekaran Subramaniam
A Hazard Analysis Method for Embedded Control Software with STPA
Trends in Computer Science and Information Technology, 2020
IJERT-Study of Methods for Analyzing and Building Software on Safety Critical Systems
International Journal of Engineering Research and Technology (IJERT), 2012
Architecture Level Safety Analyses for Safety-Critical Systems
Journal of Aeronautics & Aerospace Engineering, 2017
Model-based functional safety analysis and architecture optimisation
2013
Proceedings 1997 High-Assurance Engineering Workshop
Microprocessors and Microsystems, 2015
Safety Assessment with SMS Approach for Software-Intensive Critical Systems
Learning and Analytics in Intelligent Systems, 2019
Model extension and improvement for simulator-based software safety analysis
Nuclear Engineering and Design, 2007
Formal assessment techniques for embedded safety critical system
A proposal for model-based safety analysis
2005
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15, 2015
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
Lecture Notes in Computer Science, 2007
Safety and Reliability of Embedded Systems
2000
IEEE Transactions on Software Engineering, 2000
Integrated software safety analysis method for digital I&C systems
Annals of Nuclear Energy, 2008
Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety
IEEE Systems Journal, 2010
Improved Safety Analysis Integration in a Systems Engineering Approach
Applied Sciences
An Integrated System Design and Safety Framework for Model-Based Safety Analysis
IEEE Access
Integrating System Modelling with Safety Activities
Bernhard Kaiser, Peter Lascych
Lecture Notes in Computer Science, 2010
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review, 1994
Design and Implementation for Safety Critical Software Systems
The International Conference on Electrical Engineering
System and Software Safety in Critical Systems
RUCS Technical Report RUCS/97/TR/062/A, 1997
A multi-domain platform of safety process methods and tools for critical embedded systems