Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development

Sergey Zverlov
  • Function : Correspondent author
  • PersonId : 978868

Connectez-vous pour contacter l'auteur
Maged Khalil
  • Function : Author
  • PersonId : 978871
Mayank Chaudhary
  • Function : Author
  • PersonId : 978872

Abstract

Increasingly complex functionality in automotive applications demand more and more computing power. As room for computing units in modern vehicles dwindles, centralized ar-chitectures-with larger, more powerful processing units-are the trend. With this trend, applications no longer run on dedicated hardware, but share the same computing resources with others on the centralized platform. Ascertaining efficient deployment and scheduling for co-located applications is complicated by the extra constrains which arise if some of them have a safety-critical functionality. Building on our pre-existing design space exploration solution, we integrated safety constraints, such as ASIL and HW failure rates, as well as practical aspects, such as component costs, and extended the approach to allow for multi-criteria optimization. The work was implemented into our seamless model-based research CASE tool AutoFOCUS3 and evaluated using a non-trivial industrial-inspired case study. The solution is capable of synthesizing deployments together with corresponding schedules, which satisfy different safety and resource constraints. The deployments can subsequently be integrated into the safety case argumentation of AutoFOCUS3, leveraging the tool's seamless capabilities to support safety evidence and certification. Moreover, we are not interested in merely valid solutions, but in good ones. We hence developed a multi-objective optimization algorithm, which synthesizes solutions pareto-optimized for safety, resource usage, timing and any other constraints the user defines. Our approach demonstrates the feasibility and effectiveness of using formal methods to generate correct solutions for safety-critical applications, increasing the confidence and validity of safety cases.
Fichier principal
Vignette du fichier
paper_47.pdf (690.16 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01289728 , version 1 (17-03-2016)

Identifiers

  • HAL Id : hal-01289728 , version 1

Cite

Sergey Zverlov, Maged Khalil, Mayank Chaudhary. Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01289728⟩

Collections

ERTS2016
287 View
268 Download

Share

Gmail Mastodon Facebook X LinkedIn More