Add to ORKGThis paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf software, failure mode and effect analysis, rigorous and formal software development are discussed. Copyright 2003 IFAC Keywords: Software safety, software diversity, off-the-shelf software, FMEA, rigorous development, formal verification, UML
Software safety is the subject of a research project in its initial stages at the University of Cali...
The need for using software also in safety-critical applications is increasing. Programs are getting...
Abstract The process industry relies on various safeguards to minimize the potential and consequence...
The safety of software is becoming increasingly important as computers pervade control systems on wh...
Abstract: Safety-systems mostly comprise hardware and software solutions. Until today, a lot of fixe...
Programmable electronic systems are being used in almost all application sectors to perform non-safe...
Software safety issues become important when computers are used to control real-time, safety-critica...
Standards concerned with the development of safety-critical systems, and the software in such system...
Control design and real-time implementation are usually performed in isolation. The effects of the c...
Abstract: Standards concerned with the development of safety-critical systems, and software in such ...
Development of a system software safety program was required as part of an effort to secure governme...
Abstract. Safety is a system property and software, of itself, cannot be safe or unsafe. However sof...
Editor: Abstract. More and more technical systems are supervised, controlled and regulated by pro-gr...
This thesis is concerned with the safety of industrial controllers which incorporate software. Softw...
The safety level of any system may be defined as the probability that no catastrophic accident is ex...
Software safety is the subject of a research project in its initial stages at the University of Cali...
The need for using software also in safety-critical applications is increasing. Programs are getting...
Abstract The process industry relies on various safeguards to minimize the potential and consequence...
The safety of software is becoming increasingly important as computers pervade control systems on wh...
Abstract: Safety-systems mostly comprise hardware and software solutions. Until today, a lot of fixe...
Programmable electronic systems are being used in almost all application sectors to perform non-safe...
Software safety issues become important when computers are used to control real-time, safety-critica...
Standards concerned with the development of safety-critical systems, and the software in such system...
Control design and real-time implementation are usually performed in isolation. The effects of the c...
Abstract: Standards concerned with the development of safety-critical systems, and software in such ...
Development of a system software safety program was required as part of an effort to secure governme...
Abstract. Safety is a system property and software, of itself, cannot be safe or unsafe. However sof...
Editor: Abstract. More and more technical systems are supervised, controlled and regulated by pro-gr...
This thesis is concerned with the safety of industrial controllers which incorporate software. Softw...
The safety level of any system may be defined as the probability that no catastrophic accident is ex...
Software safety is the subject of a research project in its initial stages at the University of Cali...
The need for using software also in safety-critical applications is increasing. Programs are getting...
Abstract The process industry relies on various safeguards to minimize the potential and consequence...
