A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems

Safety levels allocation are a part of the functional design concept and have an impact on the architecture, elements choices, development effort and cost.. Often, multiple

Another contribution from this paper is the illustration of how the Prelude - SchedMCore framework is applied to three main problems for safety-critical embedded systems. They are

Within the Component Deployment Language it is defined which of these new model elements act as deployment targets and how these deployments have to be specified. The actual

A key issue of this analysis is the so–called FHA (Functional Hazard Analysis), which was performed in the test case first at the aircraft level, then applied to the

The proposed approach is based on the Architecture Analysis and Design Language (AADL), which is suitable to describe the system’s architecture.. It contains a sequence of

Our approach is not based exclusively on CRC codes, it uses rather different code families (e.g., Fletcher checksum and Adler checksum)... Our ultimate goal is to meet the

So instead of using one unique control function, we rely on a set of complementary ones, which means they have complementary (therefore cumulative) detection capabilities

Best-effort tasks have only a periodicity and a static Core allocation. We need to be able to switch to a backup mode by disabling all noncritical tasks and let only critical