safety critical software systems
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 ...
7
Regulating the safety of autonomous vehicles using artificial intelligence
... of safety-critical systems requires that any software offered for validation is identical to that which is installed on the system; self-learning adaptive systems, such AI, are thus ...
12
Software Quality Assurance in Safety Critical Systems
... Those software whose failure result in some kind of harm such as loss, damage to life, property or environment are known as safety critical ...Life critical system is another name of ...
11
A Study on the Software Safety Assessment of Healthcare Systems
... of software is starting to be progressively significant, and it is in use in many critical applications, such as avionics, transportation control systems, health systems (which we will focus ...
7
Why Formal Methods Are Considered for Safety Critical Systems?
... [10] Mostafa, A.M., Manal, A.I., Hatem, E.B. and Saad, E.M. (2007) Toward a Formalization of UML2.0 Meta-Model Us- ing Z Specifications. Proceedings of 8th ACIS International Conference on Software Engineering, ...
8
Bayesian reliability assessment of legacy safety-critical systems upgraded with fault-tolerant off-the-shelf software
... Permanent repository link: http://openaccess.city.ac.uk/13228/ Link to published version: http://dx.doi.org/10.1016/j.ress.2013.03.017 Copyright and reuse: City Research Online aims to m[r] ...
6
Bayesian reliability assessment of legacy safety-critical systems upgraded with fault-tolerant off-the-shelf software
... to systems with different complexity, e.g. systems with structures ranging from a handful of components to those with a large number of ...legacy software system which is upgraded with a ...
25
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 ...large systems is a non-trivial task and requires significant effort, ...
144
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
An Augmented Framework for Formal Analysis of Safety Critical Systems
... UML [6] is a modeling technique that combines object oriented methods and concepts. It enhances the analysis and design of software system by allowing more cohesive relationships b/w objects. It has been observed ...
13
Some conservative stopping rules for the operational testing of safety-critical software
... for safety-critical systems it is necessary to be conservative in the absence of hard evidence to the ...individual software faults to overall system unreliability suggests that these can vary ...
23
Vol 3, No 4 (2015)
... Embedded systems became an important part of our ...functional safety is a major challenge with increasing ...of safety-critical embedded systems include vehicle safety or driver ...
6
Case-Based Reasoning for the Evaluation of Safety Critical Software. Application to The Safety of Railway Transport.
... of safety of guided transportation ...of safety such as the Preliminary hazard analysis (PHA),the functional safety analysis (FSA), the analysis of failure modes, their effects and of their ...
7
Variability Management in Safety-Critical Software Product Line Engineering
... aiming safety certification, in which different design choices must be taken according to the targeted ...and safety-critical SPLs, variation points and their variants defined in a feature model have ...
17
Multi-core Cyclic Executives for Safety-Critical Systems
... Highly safety-critical real-time systems have traditionally been implemented upon custom-built single-core processors that are designed to guarantee pre- dictable timing behavior during ...As ...
17
Synthesizing Fault Tolerant Safety Critical Systems
... of safety critical systems, safety specification of the system is the major concern and consistency of system performance and proper execution of the system need to be ...of safety ...
8
Foundations for Safety-Critical on-Demand Medical Systems
... [58] describe the PTIDES deterministic programming model for distributed real-time embedded software. PTIDES semantics are based on discrete event simulation: Programs in PTIDES consist of actor components which ...
288
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 ...
13
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software
... The proposed approach based on recalibration is somewhat similar to the Bayesian procedure developed in [14] for components with independently distributed pfds, in which the authors use a combination of black-box ...
24
Improving Software Comprehension In Regulating Safety-Critical Systems
... decades, software has played an increasingly important role in the development and deployment of safety-critical ...As safety-critical systems continue to grow both in size and ...
133