safety-critical software design
How to Design and Test Safety Critical Software System
... The Ada language defines many run time checks that are required to raise exceptions if they fail. As any Ada programmer knows, these checks and resulting exceptions are enormously valuable in finding errors in the early ...
7
Variability Management in Safety-Critical Software Product Line Engineering
... of design and dependable-related variation points and their variants from the analysis of product/context features, and scenarios used to guide dependability analysis; ii) mapping design variants to their ...
17
Design of Power Supplies Used in Safety Critical Computer Platform
... of safety-critical computer platform for the railway signal control ...of safety-critical computer platform in EN50126, the power supply system is improved and better architectures is ...
7
A Conformance Review Strategy for Regulating Safety-Critical Software.
... reviewing software in safety- critical ...of safety-critical software through for- mal verification and automated test case sequences derived from these usage ...trace ...
144
Case-Based Reasoning for the Evaluation of Safety Critical Software. Application to The Safety of Railway Transport.
... the safety analyses for railway transport systems in ...of safety analysis and the very nature of knowledge about safety mean that a conventional computing solution is unsuitable and the utilization ...
7
Synthesizing a specification-based monitor for safety requirements
... the safety-critical systems which control and manage their environment based on environment ...target software should not ...State Design Pattern [14], which is a method for designing an ...of ...
22
A Quality Assurance Model for Airborne Safety Critical Software
... for safety-critical software share the following two main tasks: 1) Estab- lishing regulatory requirements for systems and software; ...for safety; 2) Assessing the system and ...and ...
15
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
Improving the Test Quality of Safety Critical Software by using Combined KPSO Mutation Method
... In the existing work, C and Ada coding are taken for checking the mutation process using MILU tool set. The applications of every mutation operator created one or more instances of code item and it is necessary to ...
6
Software Quality Assurance in Safety Critical Systems
... the safety critical ...of software. In the life cycle of software system, the software quality assurance is associated with the methods, tools, and design and ...model, ...
11
Some conservative stopping rules for the operational testing of safety-critical software
... the software-based primary protection system of a nuclear ...the design requirement of 10 -3 , independently of the licensing ...this software-based protection system, and did not form part of the ...
23
IJCSMC, Vol. 3, Issue. 3, March 2014, pg.778 – 786 RESEARCH ARTICLE A NOVEL APPROACH TO ENHANCE THE MAINTAINABILITY OF OBJECT ORIENTED SOFTWARE ENGINEERING DURING COMPONENT BASED SOFTWARE ENGINEERING
... oriented software engineering is a software design technique that is used in software design in object oriented ...oriented design is used for developing the new modules in the ...
9
The usability of ventilators: a comparative evaluation of use safety and user experience
... Use safety was measured as inversely proportional to the percentage of tasks (total of 16) in which participants had a use error or close call (UE/CC); hence, a lower per- centage represents a safer ...compromises ...
9
Online Full Text
... system design criteria and keep it in mind while redesigning the handling system with a view to increase production, reduce cost, optimally utilize space as well as handle as large a load on each movement as ...
6
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software
... Finally, I note that the motivation of the work presented here was based on demonstrating the difficulties in using a complete Bayesian inference with a system build with multiple software components. In this ...
24
Formalising Engineering Judgement on Software Dependability via Belief Networks
... about software dependability, in particular when "engineering judgement" comes into ...rigorous safety case for software, and argue the merits of belief networks as an aid for building, ...
35
Wireless Mine Surveillance with Data Logging
... The safety for the mining environment is becoming very important for sustainable and safe progress in this technology ...mine safety system is basically a wireless sensor network in mines which aims at ...
6
Develop a computer-based system to assess and exercise the arm movement of stroke patients
... The conceptual designs were all analysed in the previous chapter and a final concept was chosen. To reduce the amount of friction that is caused by the movements of the device on the operating surface; a Teflon paint ...
85
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 paper presents ...
25
Software Safety in Aviation Industry
... aircraft design to determine sensitivity to any common cause ...required safety level. The CCA verifies that the independence needed for safety and regulatory compliance exists, or that the lack of ...
6