Assigning time budgets to component functions in the design of time-critical automotive systems

To cite this version:Julien Forget, Frédéric Boniol, Claire Pagetti. Verifying end-to-end real-time constraints on multiperiodic models. ETFA2017 -22nd IEEE International Conference on Emerging Technologies And Factory Automation, Sep 2017, Limassol, Cyprus. Verifying end-to-end real-time constraints on multi-periodic models AbstractControl-command systems must usually satisfy a set of high-level end-to-end timing constraints to ensure their correctness. We propose a formal approach to verify these properties directly at the model level. First, we introduce a small language for specifying arbitrary end-to-end constraints. Then, we show how to verify any constraint of this language for a system represented with a multi-periodic synchronous model, a model that retains the main concepts of data-flow oriented programming languages (such as Matlab/Simulink, synchronous languages or AADL). One advantage of this approach is that it is simpler to verify end-to-end constraints at the model level, early in the development process, rather than at the implementation level.

show abstract

“…Task period synthesis is presented in [22,23], task WCET synthesis in [24] and job-level dependencies synthesis in [20].…”

Section: Related Workmentioning

confidence: 99%

Verifying end-to-end real-time constraints on multi-periodic models

Forget

Boniol

Pagetti

2017

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

show abstract

“…System level decisions include function to ECU allocation (All the selected papers considered this. ), ECU to sub-network allocation [13], selection and addition of ECUs [17], [18], signal to message packing [11], [12], [26] and message scheduling [11], [12], [26]. ECU level decisions include function to task allocation [11], [12], task scheduling [8]- [12], [24]- [26] and task partitioning for the sake of reliability [8], [23] or energy saving [6], [7], [24].…”

Section: A Generic Contextmentioning

confidence: 99%

Architecture exploration for distributed embedded systems: a gap analysis in automotive domain

Zhang

Mohan

Törngren

et al. 2017

2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)

View full text Add to dashboard Cite

A large body of work can be found in literature on Design Space Exploration (DSE) methods for distributed embedded system architecting (DESA). However, almost none of these methods is successfully adopted in automotive industry. To clarify the reasons, this paper 1) analyzes the current state of the art (SOTA) on DSE methods for DESA through a systematic literature study, focusing on the assumed architecting process and concerns; 2) investigates the state of practice (SOP) on DESA in the automotive industry through a literature study and interviews with experienced system architects from five different automotive manufacturers; and 3) analyzes the gap between SOTA and SOP, and thereby discusses potential improvements of DSE methods.

show abstract

“…The rationale for this choice is that we do not want the algorithm (a local search) to end prematurely and we try to ease schedulability (and provide for maximum allocation freedom) as much as possible in the first step. Details of the algorithm can be found in (Wozniak, E. et al (2014)). …”

Section: Algorithm 1 Algorithm For the One-dimensional Binary Searchmentioning

confidence: 99%