Software safety: why, what, and how
ACM Computing Surveys (CSUR)
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
The Consistent Comparison Problem in N-Version Software
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Model checking
Proceedings of the Conference on The Future of Software Engineering
22nd International Conference on Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Efficient Detection of Vacuity in Temporal Model Checking
Formal Methods in System Design - Special issue on CAV '97
Safety Critical Computer Systems
Safety Critical Computer Systems
Software safety: where's the evidence?
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Investigating the readability of state-based formal requirements specification languages
Proceedings of the 24th International Conference on Software Engineering
Should software engineers be licensed?
Communications of the ACM
Coverage Metrics for Temporal Logic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
Avionics software problem occurrence rates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
A Systems-Theoretic Approach to Safety in Software-Intensive Systems
IEEE Transactions on Dependable and Secure Computing
Focusing software education on engineering
ACM SIGSOFT Software Engineering Notes
Communications of the ACM - Personal information management
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Proving the shalls: Early validation of requirements through formal methods
International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Improving software practice through education: Challenges and future trends
FOSE '07 2007 Future of Software Engineering
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Finding environment guarantees
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Safety testing of computerized provider order entry systems
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Fault tolerant software intensive system using distributed dynamic tree logic
Proceedings of the 15th WSEAS international conference on Computers
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Agile requirements traceability using domain-specific modelling languages
Proceedings of the 2012 Extreme Modeling Workshop
Hi-index | 0.00 |
There is an increased use of software in safety-critical systems; a trend that is likely to continue in the future. Although traditional system safety techniques are applicable to software intensive systems, there are new challenges emerging. In this report we will address four issues we believe will pose challenges in the future. First, the nature of safety is continuing to be widely misunderstood and known system safety techniques are not applied. Second, our ability to demonstrate (certify) that safety requirements have been met is inadequate. Third, modeling and automated tools, for example, code generation and automated testing, are introduced in a hope to increase productivity; this reliance on tools rather than people, however, introduces new and poorly understood problems. Finally, safety-critical systems are increasingly relying on data (configuration data or databases), incorrect data could have catastrophic and widespread consequences.