While the study offered some indication that the General Motors nameplate was achieving top-level dependability, shoppers may wonder if they are three years too late.
This paper presents a methodology for the system-level dependability analysis of multiprocessor embedded systems.
Starting with the functional specifications of the system, we derive a functional-level model that is used to construct a high-level dependability model for each architecture, using well-defined, formal construction rules.
In order to master the increasing complexity of modern railway control systems, novel model-based approaches are needed to allow engineers to evaluate such systems against strict system-level dependability requirements.
It mainly originates from the false impression that the level of dependability achievable by modern information systems is equal to the dependability we experience from consumer products on a daily basis.
How do we achieve the desired level of dependability and security?
It discusses the determination of maintenance actions and optimization processes considering a cost criterion, and a specified level of dependability.
Design of self-adaptive software-intensive cyber physical systems (siCPS) operating in dynamic environments is a significant challenge when a sufficient level of dependability is required.
The types and number of faults covered by a system play a primary role in determining the level of dependability which that system can potentially provide.
This leads to a high level of dependability and safety, eases verification, reduces cost for safety licensing, and conforms particularly well with the safety standard IEC 61508.
However, the motivation behind this solution was to manage service upgrades, i.e. switching from an old version to a new version online when the level of dependability of the new service is acceptable.
