Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
A Discipline of Programming
Specification and analysis of the requirements for embedded software with an external interaction model
A discussion on the Ada Run-Time Environment in safety critical applications
ACM SIGSOFT Software Engineering Notes
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Reliable software and communication: software quality, reliability, and safety
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Broad-spectrum studies of log file analysis
Proceedings of the 22nd international conference on Software engineering
Static and dynamic analysis of real-time systems
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Requirements analysis using forward and backward search
Annals of Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Refinement of Safety-Related Hazards into Verifiable Code Assertions
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Safety Verification of Ada95 Programs Using Software Fault Trees
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
System and Software Safety Analysis for the ERA Control Computer
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Forensic Software Engineering and the Need for New Approaches to Accident Investigation
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Quantifying the Reliability of Embedded Systems by Automated Analysis
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Object state testing and fault analysis for reliable software systems
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Applying Adaptive Safety Analysis Techniques
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Better Reasoning About Software Engineering Activities
Proceedings of the 16th IEEE international conference on Automated software engineering
A History-Based Approach for Early Faulty State Detection
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Human performance and embedded intelligent technology in safety-critical systems
International Journal of Human-Computer Studies - Special issue: Trust and technology
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-Based Safety-Cases for Software-Intensive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting dependable systems IV
Architecting dependable systems IV
Deriving safety cases for hierarchical structure in model-based development
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
A safety-focused verification using software fault trees
Future Generation Computer Systems
A systematic process-model-based approach for synthesizing attacks and evaluating them
EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
Safety analysis of safety-critical software for nuclear digital protection system
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
The software fault-tree analysis technique is explained. It is then extended to allow its use on a more complex language involving such features as concurrency and exception handling. Ada is used as the example language because many safety-critical projects are using or planning to use Ada. It also contains complex, real-time programming facilities found in other languages used in these types of projects. Software fault-tree analysis uses failure-mode templates to generate the fault tree. The templates provided can be used to define the procedures for applying the technique to programs written in most other declarative languages. To explain the use of the templates an example Ada program, for a traffic-light-control system, is analyzed. The cost and practicality of the method and its implications for software reuse are assessed. The application of the safety analysis procedures to requirements modeling and specification languages is considered.