Safety-Critical Systems
An Incorporated Voting Strategy on Majority and Score based Fuzzy Voting Algorithms for Safety Critical Systems
... Inexact Majority Voting Using Distance Metric [11] is a commonly used voting technique in the safety-critical systems. If, among N repetitive component outcomes at least (N+1)/2 component outcomes ...
5
Mathematical Model of Corrective Maintenance Based on Operability Checks for Safety Critical Systems
... technical systems of various physical ...the safety critical systems is ...deteriorating systems with different initial time points of operation, the interval between operability checks ...
7
Synthesizing Fault Tolerant Safety Critical Systems
... nanotechnology, safety critical embedded systems are becoming less tolerant to ...these systems has mostly focused on transformational approach, replication of hardware devices, parallel ...
8
An Augmented Framework for Formal Analysis of Safety Critical Systems
... of safety critical systems, 2) formalization of var- ious aspects of critical systems and formal verification of correctness—by con- struction as well as 3) validate the required ...
13
Open-Source Components in Safety Critical Systems
... by systems that are called safety critical. Nowadays safety critical systems are done with programmable logic which requires ...verify safety critical ...the ...
10
System health management of safety critical systems using artificial neural networks
... Safety critical systems are the systems which defines the safety and monitors the system performance based on some safety ...the safety critical system while it is ...
5
Improving Software Comprehension In Regulating Safety-Critical Systems
... of safety-critical ...As safety-critical systems continue to grow both in size and functionality, so does the complexity of the internal architecture of the software used and the ...
133
Multi-core Cyclic Executives for Safety-Critical Systems
... highly safety-critical application domains, particularly those that are subject to stringent certification requirements, reveal that the use of the very simple cyclic executive approach [1] remains ...
17
A STUDY OF THE APPLICABILITY OF ISO/IEC AND THE GERMAN BASELINE PROTECTION MANUAL TO THE NEEDS OF SAFETY CRITICAL SYSTEMS
... of safety critical systems, how the security life cycle sits alongside the safety life cycle as defined in IEC 61508 is of prime ...the safety functions to be carried out by ...
15
Software Quality Assurance in Safety Critical Systems
... of safety critical ...the safety critical system is the failure or malfunction because it can be more ...For safety critical system there are many architecture introduced for ...
11
Improving System Reliability Assessment of Safety-Critical Systems using Machine Learning Optimization Techniques
... modern-day safety-critical systems is continually facing new challenges with the increase in both the level of functionality they provide and their degree of interaction with their ...
17
T Safety Critical Systems Case Study 2: B Method - Basic Concepts
... The VARIABLES keyword is used for introducing variables that define the local state of the system.. In this section only the names are given, types are defined later.[r] ...
23
Does software have to be ultra reliable in safety critical systems?
... Probabilistic Safety Assessment (PSA) of the overall system could assume the software had a dangerous failure rate of ...few systems have been constructed using formal proof methods, and even these ...
13
Why Formal Methods Are Considered for Safety Critical Systems?
... A lot of work has been done in this area of formal analysis of UML diagrams with formal approaches [4]-[8]. In article 8, UML based framework is presented to develop web applications. [5] represents the verification ...
8
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software
... to systems, which consist of many ...such systems is problematic, because it is computationally hard and, far more seriously, one needs to specify a multivariate prior distribution with many ...
24
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
... The approach proposed in this paper can be applied to systems with different complexity, e.g. systems with structures ranging from a handful of components to those with a large number of components. The ...
25
Validation of Safety-Critical Systems with AADL
... Managed Latency Jitter through Deterministic Sampling Navigation Sensor Processing Integrated Navigation Guidance Processing 20Hz 10Hz 20Hz From Partitions To Partitions Guidance [r] ...
43
Model-Based Development of Safety-Critical Systems
... Templates Check Rules Modelling (by developer) Combination & Extension of Submodels (automated) User Code Model Validation (automated) Code Generation (semi-automated) Safety Mo[r] ...
24
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments
... a safety-critical system is not carried out iteratively and incrementally (at least not deliberately at the fine-grained level implied by Agile ...current safety standards and because of the ...
9