safety critical systems design
Uncertainty Management in Multidisciplinary Design of Critical Safety Systems
... Table 5: Bounds of the variable J1 and J2 for the reduced and improved uncertainty model obtained by means of the two proposed approaches Optimization in the epistemic space and Propagat[r] ...
73
A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices
... of safety-related and safety-critical ...these safety-critical digital systems could result in death, serious injury to people, or severe damage to the environment [1], ...to ...
8
Software Quality Assurance in Safety Critical Systems
... Conventional approaches are used for achieving the system quality. Three types of plan can be established for any system that is functional requirements, quality requirements and resource requirement. Quality is the ...
11
An architectural design for LAN based web applications in a military mission and safety critical context
... Architectures are high-level descriptions of IT systems represented as interconnected smaller applications. An architectural description is made to give structure to the understanding of the IT applications, as a ...
64
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
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases
... to safety critical systems are inevitable and can impact the safety confidence about a system as their effects can refute articulated claims about safety or challenge the supporting ...
9
System health management of safety critical systems using artificial neural networks
... system of UAV because it is responsible for the efficient monitoring of the all its operations (Dimitry et al., 2008). The sensor subsystem is considering. Even various sensor subsystems are available, the sensor system ...
5
Mission-Critical Systems Design Framework
... Safety-critical systems are well documented and standardized ...system design cycles. However in Defence and Security, systems that are critical to the success of a Mission are ...
10
An Augmented Framework for Formal Analysis of Safety Critical Systems
... phase. The class diagram forms the root for system structure and sequence dia- gram forms the basis for system behaviour respectively. According to propose approach, the system development begins with an abstract system ...
13
Improving Software Comprehension In Regulating Safety-Critical Systems
... necessary design and implementation document to FDA for post-mortem ...to design a formal format to characterize context, action history and error symptom information underlying error re- ...
133
How to Design and Test Safety Critical Software System
... specify, design and verify software ...small systems, where formal specifications and proves are easier to deal with, the approach can be very ...scale systems is to try to separate the ...
7
Perspectives on Safety Critical Computing Systems
... Therac-25 was a radiation therapy machine developed by Atomic Energy of Canada for cancer treatment. Between the years 1985 and 1987 Therac-25 machines in four medical centers gave massive overdoses of radiation to six ...
5
Mapping AADL to Petri Net Tool Sets Using PNML Framework
... and Design Language (AADL) has been utilized to specify and verify non- functional properties of Real-Time Embedded Systems (RTES) used in critical application ...such critical application ...
15
Towards situational project management method engineering for SMEs: a case study at Nibag B V
... These developments are said to be originating from the 1950s. In fact, the first publications on project management in a prestigious management journal was back in 1959 (Pellicer & Victory, 2006). In the 50s and 60s ...
103
Design of Power Supplies Used in Safety Critical Computer Platform
... current-limiting design is not only preventing the output current too large, but also ensuring the continuity of the supply voltages of safety-critical computer platform, the voltage of the ...
7
APPRAISAL OF SAFETY PRACTICES AT THE FASHION DESIGN AND TECHNOLOGY DEPARTMENT OF TAKORADI TECHNICAL UNIVERSITY
... to safety and health programs. Schneid (2014) added that safety does not belong to the safety and health professional and that safety and health function, although with different levels of ...
10
Green Paper on the Security of Information Systems
... rights, 102 rights, responsibilities and liabilities issues, 13 risk analysis and management, 62 Rivest, Shamir, Adleman RSA, 74 safety critical systems, 6 safety of communication system[r] ...
167
Does software have to be ultra reliable in safety critical systems?
... Software failures need to be handled in a different way to hardware failures because a systematic software defect can be fixed—once we know what the problem is, it can be removed. In the best case, each software fault ...
13
Online Full Text
... general, critical documents such as Plant Layout Design, Production Flow Charts, Bills of Materials, Manufacturing Planning Documents, Work Standing Procedures, Safety Procedures and Quality Control ...
6
Intellectual Carrying Proposal For Vehicular AD HOC Networks
... road safety information between vehicles to carry to an end accidents and also get better road safety was the major inspiration behind the improvement of vehicular ad hoc networks ...
5