Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Software safety in embedded computer systems
Communications of the ACM
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A model-oriented approach to safety analysis using fault trees and a support system
Journal of Systems and Software - Special issue on software reliability issues
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
A Framework for Designing Safe Software Systems
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Formal Hazard Analysis of Hybrid Systems in cTLA
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Extending Fault Trees with an AND-THEN Gate
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Formal Fault Tree Analysis of State Transition Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Formal Fault Tree Analysis - Practical Experiences
Electronic Notes in Theoretical Computer Science (ENTCS)
A software fault tree key node metric
Journal of Systems and Software
IEEE Transactions on Dependable and Secure Computing
Deriving Safety Software Requirements from an AltaRica System Model
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Architecting dependable systems IV
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A generic logical-temporal performance analysis method for complex systems
Mathematics and Computers in Simulation
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A systematic approach to developing safe tele-operated robots
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A safety-focused verification using software fault trees
Future Generation Computer Systems
Compositional temporal fault tree analysis
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
Software for safety critical systems must deal with the hazards identified by safety analysis. This paper investigates, how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process. We propose that fault tree analysis and program development use the same system model. This model is formalized in a real-time, interval logic, based on a conventional dynamic systems model with state evolving over time. Fault trees are interpreted as temporal formulas, and it is shown how such formulas can be used for deriving safety requirements for software components.