An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
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
On hierarchical design of computer systems for critical applications
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Modeling the penalty costs of software failure
Modeling the penalty costs of software failure
Analyzing safety and fault tolerance using time Petri nets
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Introduction to real-time software design
Introduction to real-time software design
Software aspects of strategic defense systems
Communications of the ACM
Human-Computer Interaction in the Control of Dynamic Systems
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Discipline of Programming
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Design of self-checking software
Proceedings of the international conference on Reliable software
ACM SIGSOFT Software Engineering Notes
Some principles and techniques for designing safe systems
ACM SIGSOFT Software Engineering Notes
Using a model railroad to teach digital process control
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
From defects to failures: a view of dependable computing
ACM SIGARCH Computer Architecture News - Special Issue: Architectural Support for Operating Systems
Safety verification in Murphy using fault tree analysis
ICSE '88 Proceedings of the 10th international conference on Software engineering
Supporting Ada in a distributed environment
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Computing, research, and war: if knowledge is power, where is responsibility?
Communications of the ACM
Software development: advice by analogy
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Completeness, robustness, and safety in real-time software requirements specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Evaluation of safety-critical software
Communications of the ACM
ICSE '90 Proceedings of the 12th international conference on Software engineering
Software safety in embedded computer systems
Communications of the ACM
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
An organized, devoted, project-wide reuse effort
ACM SIGAda Ada Letters
Communications of the ACM
201 principles of software development
201 principles of software development
Beyond objects: a software design paradigm based on process control
ACM SIGSOFT Software Engineering Notes
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Reliable software and communication: software quality, reliability, and safety
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Communications of the ACM
Stabilizing Pre-Run-Time Schedules With the Help of GraceTime
Real-Time Systems
An abstract Monte-Carlo method for the analysis of probabilistic programs
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Stochastic software safety/reliability measurement and its application
Annals of Software Engineering
The Challenge of Building Process-Control Software
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
On the Effect of Recovery Block Scheme on System Performance
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The Integration of Safety and Security Requirements
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Reliability and Risk Analysis for Software that Must be Safe
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Assessment of the Java programming language for use in high integrity systems
ACM SIGPLAN Notices
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Extending Fault Trees with an AND-THEN Gate
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Experiences using statecharts for a system requirements specification
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Computers and Operations Research
Security as a safety issue in rail communications
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
An integrated architecture for future car generations
Real-Time Systems
A software fault tree key node metric
Journal of Systems and Software
Beyond usability evaluation: analysis of human-robot interaction at a major robotics competition
Human-Computer Interaction
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
An experimental study of field dependency in altered Gz environments
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Supporting human-intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
CAR based safety model in automotive software engineering
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Predictive models of human supervisory control behavioral patterns using hidden semi-Markov models
Engineering Applications of Artificial Intelligence
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
The application of compile-time reflection to software fault tolerance using ada 95
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Architectural design decisions for achieving reliable software systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
On the soundness and safety of expert systems
Artificial Intelligence in Medicine
On the safety of electronic medical records
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Approximate reliability algebra for architecture optimization
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Automatic SysML-based safety analysis
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
| Hi-index | 0.08 |
Software safety issues become important when computers are used to control real-time, safety-critical processes. This survey attempts to explain why there is a problem, what the problem is, and what is known about how to solve it. Since this is a relatively new software research area, emphasis is placed on delineating the outstanding issues and research topics.