Model-based generation of static schedules for safety critical multi-core systems in the avionics domain

Hilbrich, Robert; Goltz, Hans-Joachim

doi:10.1145/1984693.1984695

Cited by 13 publications

(9 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The shared access of processing units to external resources may lead to conflicts that have to be resolved at run-time [6]. This directly influence the predictability of static scheduling tables, because conflict resolution algorithms are usually implemented in hardware and offer only minimal controllability, adaptability, and adjustability for software.…”

Section: Moving Spirits Of Memcons Projectmentioning

confidence: 99%

See 1 more Smart Citation

Filling the gap between automotive systems, safety, and software engineering

Macher

Stolz

Armengaud

et al. 2015

Elektrotech. Inftech.

View full text Add to dashboard Cite

Development of embedded automotive systems has become tremendously complex in recent years. The trend of replacing traditional mechanical systems by modern embedded systems, and the launch of automotive multi-core systems enable deployment of more advanced control strategies. However, these applications require different safety concepts with different levels of criticality; and providing consistency of the safety concept during the entire product lifecycle is a tedious task. Additionally, new automotive safety standards, such as ISO 26262, and the de-facto industry standard AUTOSAR require efficient and consistent product development and tool support. The aim of the presented work is to establish a model-driven system and safety-engineering framework to support the seamless description of safety-critical systems, from requirements at the system level to final component implementation. Integration von System-, Safety-und Software-Entwicklung im automobilen Umfeld. Die Komplexität von Embedded Systems im Automobil hat in den letzten Jahren enorm zugenommen. Der Trend, etablierte, mechanische Systeme durch moderne eingebettete Controller zu ersetzen und die Einführung von speziell für

show abstract

Section: Moving Spirits Of Memcons Projectmentioning

confidence: 99%

“…This allows the inclusion of additional multi-core configuration tools or task distribution tools into the toolchain (e.g. the mentioned tool PRECISION PRO [6]). …”

Section: The Memcons Mbd Approachmentioning

confidence: 99%

Filling the gap between automotive systems, safety, and software engineering

Macher

Stolz

Armengaud

et al. 2015

Elektrotech. Inftech.

View full text Add to dashboard Cite

show abstract

“…It is the job of the operating system to properly perform the designed temporal deployment at runtime. While a lot of current research deals with temporal deployment and schedulability analysis [1][2][3], we focused on a spatial deployment in a safety-critical domain. Fundamentally, a spatial deployment has to match available hardware resources with resource requirements of software components and satisfy external constraints, such as safety.…”

Section: Research Objectivesmentioning

confidence: 99%

Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures

Hilbrich¹,

Dieudonné²

2013

JSEA

Self Cite

View full text Add to dashboard Cite

Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offering an increased system performance in a small power envelope. In avionics, several system functions could now be integrated on a single hardware unit, if all safety requirements are still satisfied. This approach allows for further optimizations of the system architecture and substantial reductions of the space, weight and power (SWaP) footprint, and thus increases the transportation capacity. However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. This article used a realistic flight control system as an example to present a new model-based methodology to automate the software deployment process. This methodology is based on the correctness-by-construction principle and is implemented as part of a systems engineering toolset. Furthermore, metrics and optimization criteria are presented which further help in the automatic assessment and refinement of a generated deployment. A discussion regarding a tighter integration of this approach in the entire avionics systems engineering workflow concludes this article.

show abstract

“…A model-based approach for the construction of static operating system schedules was used as an initial study of feasibility [26]. It is based on the underlying assumption that predictable and entirely deterministic real-time behavior for a system-which relies only on periodical tasks with known periods-can be achieved on multi-or many-core processors with static schedules if the following information (or at least an estimation) is available at design time (or configuration time):…”

Section: Case Studies and Current Researchmentioning

confidence: 99%

How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle

Hilbrich¹

2012

Advances in Software Engineering

Self Cite

View full text Add to dashboard Cite

Software-intensive embedded systems, especially cyber-physical systems, benefit from the additional performance and the small power envelope offered by many-core processors. Nevertheless, the adoption of a massively parallel processor architecture in the embedded domain is still challenging. The integration of multiple and potentially parallel functions on a chip—instead of just a single function—makes best use of the resources offered. However, this multifunction approach leads to new technical and nontechnical challenges during the integration. This is especially the case for a distributed system architecture, which is subject to specific safety considerations. In this paper, it is argued that these challenges cannot be effectively addressed with traditional engineering approaches. Instead, the application of the “correctness by construction” principle is proposed to improve the integration process.

show abstract

Model-based generation of static schedules for safety critical multi-core systems in the avionics domain

Cited by 13 publications

References 7 publications

Filling the gap between automotive systems, safety, and software engineering

Filling the gap between automotive systems, safety, and software engineering

Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures

How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle

Contact Info

Product

Resources

About