safety critical software development
A Quality Assurance Model for Airborne Safety Critical Software
... and development of safety-critical software have been developed by authori- ties and the industry, very little research has been done addressing safety-critical software ...
15
Analyzation of Safety Verification at different stages of Safety Critical System Development
... that critical software components satisfy specific entry and exit ...to safety-critical software are normally in addition to standard testing practices such as statement coverage, ...
8
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
Some conservative stopping rules for the operational testing of safety-critical software
... same development team were used, we might think that their failure to make the first system pass the test was evidence that they were not greatly competent, and this might depress our expectations of their likely ...
23
A Conformance Review Strategy for Regulating Safety-Critical Software.
... The application of formal methods during certification has been considered to a much lesser degree than for software development, and is not widely put into practice at present. Several theories and tools ...
144
Case-Based Reasoning for the Evaluation of Safety Critical Software. Application to The Safety of Railway Transport.
... the development, validation and approval methods of the ...that safety studies are ...ranked safety processes which are accepted by IFSTTAR and conducted by the manufacturer in order to identify ...
7
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
How to Design and Test Safety Critical Software System
... The development of test cases may provide further assessment of the internal consistency and completeness of the ...requirements. Software test cases should be based primarily on the software ...
7
Improving the Test Quality of Safety Critical Software by using Combined KPSO Mutation Method
... Abstract: Software Testing is the process of executing a program or system with the aim of finding ...total development time is spent on testing the software and correcting ...of software ...
6
Software Quality Assurance in Safety Critical Systems
... of software development because of the computer based operation of safety critical ...the safety critical system is the failure or malfunction because it can be more ...For ...
11
Analyzing Determinants for Software Development Projects in Nigeria
... explain software development behaviour, that is, what causes potential business organizations to accept or reject a software development ...
12
RESIDUAL USEFUL LIFE ESTIMATION BASED ON STABLE DISTRIBUTION FEATURE EXTRACTION AND SVM CLASSIFIER
... method [8], specific culture [9] or specific organization [10, 11]. Although, there are some guidelines or basic framework offered by a few studies for handling migration process [12, 13], but still it is need to study ...
7
On Some Critical Issues in Component Selection in Component based Software Development
... wider usability. It is generally assumed that reuse of existing software will enhance the reliability of a new software application. This concept is almost universally accepted because of the obvious fact ...
7
Formalising Engineering Judgement on Software Dependability via Belief Networks
... a safety case, a full, detailed discussion would be necessary for all the assumptions used, showing that they do represent the available knowledge of the experts and are either well-justified or acceptable as they ...
35
Critical Aspects of Project Management Causing Major Impacts on Software Development
... It has been observed that it is not only the kind of improvement being brought up in project management effectiveness but there are many types of other forces being combined with this aspect to cause use of these ...
9
A Survey Study of Key Factors for Improving Requirements Engineering in Agile and Non-agile Software Development
... Usually there is a friction between developers and customers i.e. customers may feel that developers are not cooperative when they refuse to sign up for the development schedule that the customers want, or when ...
5
Hydrological sciences and water security: An overview
... coordinated development and management of water, land and related resources, in order to maximize the resultant economic and social welfare in an equitable manner without compromising the sustainability of vital ...
9
Synthesizing a specification-based monitor for safety requirements
... of safety critical systems, one to demonstrate interactions of the system to its environment in terms of events, and the other to demonstrate its internal behavior in terms of ...high-level safety ...
22
Embedded Software Development with eCos - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
... For example, during typical application development, the target hardware boots up using a ROM monitor, such as RedBoot. The application being debugged is built using a RAM startup type. Then, the host running a ...
399
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