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
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software requirements: analysis and specification
Software requirements: analysis and specification
Temporal proof methodologies for real-time systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software safety in embedded computer systems
Communications of the ACM
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Formal verification of algorithms for critical systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Experience with Fagan's inspection method
Software—Practice & Experience
An analysis of defect densities found during software inspections
Journal of Systems and Software
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Safety, software architecture and MIL-STD-1760
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
Programming and Computing Software
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
i2MAP: an incremental and iterative modeling and analysis process
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
This paper provides a Safety Checklist for use during the analysis of software requirements for spacecraft and others safety-critical, embedded systems. The checklist specifically targets the two most common causes of safety-related software errors: (1) inadequate interface requirements and (2) discrepancies between the documented requirements and the requirements actually needed for correct functioning of the system. The analysis criteria represented in the checklist are evaluated by application to two spacecraft projects. Use of the checklist to enhance the software-requirements analysis is shown to reduce the number of safety-related software errors.