Software Safety
A Study on the Software Safety Assessment of Healthcare Systems
... surrounded software. For the reason that software engineering is a fundamental human process, it is not likely or even impossible to create software without ...malfunctioning software in ...
7
Software Safety in Aviation Industry
... with software and/or programmable hardware, it is not feasible to test all combinations of inputs and outputs to assign a probability of ...address software; however, it also applied in civil aviation, ...
6
Statistical Considerations on Software-Safety Estimation in Licensing
... The earlier considerations of this article suggest to treating one mission as one super demand, consisting of several types of “normal” demands mixed with several types of continua and gather information on the different ...
10
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
PLACEMENT AND SIZING OF DISTRIBUTED GENERATORS IN DISTRIBUTED NETWORK BASED ON LRIC AND LOAD GROWTH CONTROL
... Engine software is part of engine control system, and the top level claim of software safety is acquired from the ...system safety requirements can be obtained. Based on which, the ...
6
Safety attitudes in New Zealand forestry : a thesis presented to Massey University in partial fulfilment of the requirements for the degree of Master of Arts in Psychology
... Purdham divided attitudes towards safety into four different object areas: safety hardware work environment and protective equipment, safety software safety policies and concepts, people[r] ...
17
Develop Calibration Factors For Crash Prediction Models For Rural Two-lane Roadways In Albania
... IHSDM software for safety prediction and we need to calibrate for the specific state or geographic locations in ...of safety improvements that will reduce the number of fatalities experienced on ...
6
Evaluation of features to support safety and quality in general practice clinical software
... from either of two key Australian medicines references – the Australian Medicines Handbook and Therapeutic Guidelines. These resources provide independent, evi- dence based drug information but at present they are not ...
8
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 by several ...
23
Does software have to be ultra reliable in safety critical systems?
... that software has an acceptably low dangerous failure rate for a safety-critical ...the software under realistic conditions, it is often claimed that this limit is likely to be around 10 −4 to 10 −5 ...
13
Limits to dependability assurance - A controversy revisited
... Sizewell PPS safety arguments • Mainly centred on the software • Needed 10-4 pfd • Safety case used evidence about quality of production, different kinds of assessment of built product t[r] ...
42
Cloud Data Sharing With Public Integrity and User Revocation
... provide safety evaluation of our scheme, and itsuggests that our scheme provide records confidentiality for group users,and it's also secure towards the collusion attackfrom the cloud storage server and revoked ...
5
Taming the cloud: Safety, certification and compliance for software services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011
... Software certification has largely focused on certifying security mechanisms (e.g. ISO/IEC 15408) or product quality metrics (e.g. ISO/IEC 9126*). Our work in certification and assertions for services is part of ...
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 a ...
17
Juries: acting out digital dilemmas to promote digital reflections
... Internet Safety programs, or examines what materials or educational approaches are cost- effective, and how programmes are being implemented in the ...Internet Safety programmes reduce risky online ...
7
An incremental verification framework for component-based software systems
... component-based software systems after changes such as additions, removals or modifications of ...bilistic safety properties of a cloud-deployed software system in a fraction of the time required by ...
11
Design and Development of Safety Features in Stationary & Mobile Robots in the Industrial Sector
... The very idea of mechanical technology frameworks activities has presented another kind of representative into the modern work environment, the restorative upkeep laborer. This individual is typically present during all ...
7
Developing a Safety Case for Electronic Prescribing
... The SC described in this paper will be extended and integrated with a new dynamic risk model and uncertainty assessment algorithms, based on Bayesian Networks, for proactively computing the confidence in, and updating ...
6
Hydrologic and Structural Safety Evaluation of Aged Concrete Gravity Dam Using Finite Element Method
... The static general method was used for structural analysis. The non-overflow dam monolith was analyzed by considering the rigid foundation model i.e. fixed base dam. The uplift effect was neglected. The non-linear ...
17
Automatic Modeling of Fault Tree for NuIEEE Transactions on Power Electronics,Clear Power Safety I&C Configuration
... In this paper, Visio Automation software technology is used to analyze the topology of the nuclear power safety I&C system hardware device and software function to complete the fault tre[r] ...
5