Safety-critical software
A Conformance Review Strategy for Regulating Safety-Critical Software.
... for safety-critical software can vary from having a few states to large-scale systems with tens of thousands ...of safety-critical ...object-oriented software and distributed ...
144
Case-Based Reasoning for the Evaluation of Safety Critical Software. Application to The Safety of Railway Transport.
... the safety a new ...assessing Software Error Effect Analysis (SEEA) for the safety of automatic devices of terrestrial guided transport ...approved safety-critical software, in ...
7
A Quality Assurance Model for Airborne Safety Critical Software
... of safety-critical software failure’s consequences makes high quality and ex- treme reliability requirements in such types of software of paramount ...by software failure error or where ...
15
How to Design and Test Safety Critical Software System
... A safety-critical software system is a system whose failure or malfunction can severely harm people's lives, environment or ...of safety engineering. Safety-critical systems are ...
7
Some conservative stopping rules for the operational testing of safety-critical software
... of software. In the case of safety critical software it is common to demand that all known faults are ...for safety critical software takes the form of a specified number ...
23
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments
... of safety-critical ...developing safety-critical systems that require ...for safety-critical systems, and contrasts them with Agile ...of safety-critical systems ...
9
Variability Management in Safety-Critical Software Product Line Engineering
... Research on variability management in dependability assets is split into extensions of tradi- tional safety analysis techniques, e.g., FTA and FMEA, to suite SPLE processes [5, 12, 26], and model-based techniques ...
17
Safety-Critical Software Development for Integrated Modular Avionics
... Many avionics systems have been successfully developed using custom hardware and software. However, in recent years, the full life-cycle costs of customized systems have forced original equipment manufacturers ...
10
Improving the Test Quality of Safety Critical Software by using Combined KPSO Mutation Method
... a software testing methodology using test data designed to demonstrate the absence of a set of prespecified faults; typically, frequently occurring ...the software handles or avoids divide by zero ...
6
Safety critical software and development productivity
... on safety critical systems /4/ recommends usage of a number of software ...required safety integrity level ...termed software product verifiability and the other software process ...
6
A Static Analyzer for Large Safety-Critical Software
... Software model checking [22] has proved very useful to trace logical design errors, which in our case has already been performed at earlier stages of the software develop- ment, whereas we concentrate on ...
12
A Static Analyzer for Large Safety-Critical Software
... for critical software, that is, ensuring that the critical software never executes an instruction with “undefined” or “fatal error” behavior, such as out-of-bounds accesses to ar- rays or ...
10
Analyzation of Safety Verification at different stages of Safety Critical System Development
... in software-controlled systems is due to many factors such as cost, flexibility, and ...in software safety falls into two categories: (1) improving software safety before releasing the ...
8
Software Tragedies: Case Studies in Software Safety
... involving safety-critical software are no ...the software development team, military commanders, and the missile batteries in the ...The software fix had already been developed but it ...
10
Does software have to be ultra reliable in safety critical systems?
... that safety-critical software is com- pletely free of dangerous ...of safety performance required for critical software-based systems like ...of safety performance can be ...
13
SAFETY-CRITICAL VERSUS SECURITY-CRITICAL SOFTWARE
... security-critical software contains bad coding bugs which detracts from making them secure and this was unanimously viewed as of paramount interest by the ...security-critical software, unlike ...
7
The use of computers in safety-critical applications
... the safety case and for the process of ...much safety-related software and a considerable amount of this is based on existing systems ...a critical national infrastructure may lead to yet more ...
114
Rigorously assessing software reliability and safety
... The "prior beliefs" are clearly the most difficult input to these methods of reasoning. Yet they are necessary to model sound reasoning. One can avoid them by using "classical" statistical inference, ...
7
Deterministic ethernet in a safety critical environment
... Sensitive networks are ones that contain and manage time-critical information across safety-critical premises. This study focuses on the prevention of cyber-attack in an airport, which contains ...
210
Perspectives on Safety Critical Computing Systems
... producing safety-critical avionics ...the software quality in safety- critical systems by testing or eliminating manual steps in the development process, because people make mistakes, ...
5