Evaluation of Open Source Operating Systems for Safety-Critical Applications

@inproceedings{Berntsson2017EvaluationOO,
  title={Evaluation of Open Source Operating Systems for Safety-Critical Applications},
  author={Petter Sainio Berntsson and Lars Strand{\'e}n and Fredrik Warg},
  booktitle={SERENE},
  year={2017}
}
There are many different open source real-time operating systems (RTOS) available, and the use of open source software (OSS) for safety-critical applications is considered highly interesting by industrial domains such as medical, aerospace and automotive, as it potentially enables lower costs and more flexibility. In order to use OSS in a safety-critical context, however, evidence that the software fulfills the requirements put forth in a functional safety standard for the relevant domain is… 
1 Citations
Software Engineering for Resilient Systems
TLDR
This talk will explain how fault injection can also be applied to detect vulnerabilities of OpenStack cloud platform and how to effectively and efficiently detect the damages caused by the faults injected.

References

SHOWING 1-10 OF 39 REFERENCES
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System
TLDR
The study investigates the relationship between software complexity and the effort to achieve a high test coverage, which is one of the most impacting activity for certification, and shows that combining metrics with classifiers can achieve a good prediction accuracy.
Preliminary assessment of Linux for safety related systems
TLDR
The overall conclusion of the study is that Linux would be, in broad terms, suitable for use in many safety related applications with SIL 1 and SIL 2 integrity requirements, and that certification to SIL 3 would be possible, however, it is not likely to be either suitable or certifiable for SIL 4 applications.
Software functional safety: Possibilities & limitations of IEC61508-7 Annex D
TLDR
The possibilities and limitations inherent in the approach contained in Annex D of IEC61508-7 for determining the safety integrity level (SIL) of software (SW) are explained and simulation results are provided to demonstrate the necessity of uniform sampling of safety critical SW inputs.
Foundations of Software Testing
TLDR
Students, practitioners, and researchers will find this book an excellent source of simple to advanced techniques to use and improve their knowledge of and expertise in software testing.
Quality assurance under the open source development model
Assisted Assignment of Automotive Safety Requirements
TLDR
A new tool automates ASIL allocation and decomposition supports the system and software engineering life cycle by enabling users to efficiently allocate safety requirements regarding systematic failures in the design of critical embedded computer systems.
Comparative assessment of open source software using easy accessible data
TLDR
A quantitative basis for evaluating an open source product based on multiple criteria of software quality is presented and in contrary to other software assessment models, which are time-consuming and expensive, the proposed model uses easy accessible quantitative data, specific for open source projects.
How Effective Are Code Coverage Criteria?
  • H. Hemmati
  • Computer Science
    2015 IEEE International Conference on Software Quality, Reliability and Security
  • 2015
TLDR
This paper studied several existing and standard control and data flow coverage criteria on a set of developer-written fault-revealing test cases from several releases of five open source projects and found that a) basic criteria such as statement coverage is very weak (detecting only 10% of the faults), and b) combining several control-flow coverage together is better than the strongest criterion alone.
The Survey of Real Time Operating System: RTOS
TLDR
The paper discusses the literature survey of RTOS (Real Time Operating Systems) and its contributions to the embedded world and a comparison of the commercial RTOSs' is presented.
Research trends in automotive functional safety
  • Azianti Ismail, W. Jung
  • Engineering
    2013 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE)
  • 2013
In recent years, most of the modern automobiles are equipped with embedded electronic systems which include lots of Electronic Controller Units (ECUs), electronic sensors, signals, bus systems and
...
...