Title :
State-Based Real-Time Analysis for Function Networks and Marte
Author :
Gezgin, Tayfun ; Weber, Raphael ; Buker, Matthias
Author_Institution :
OFFIS - Inst. for Inf. Technol., Oldenburg, Germany
Abstract :
State-based real-time scheduling analyses offer a high accuracy especially for chains of functions. In this work we extend our state-based approach to also support complex activation behavior of the functions. Additionally, we use standard modeling techniques and well defined formalisms to foster the applicability and usability of our scheduling analysis. In our approach we use M ARTE to model the underlying architecture of a system consisting of embedded control units and bus systems. For timing requirements we use the requirement specification language RSL. In order to model complex activation patterns and internal states, we use an extended task network formalism called function networks. Our approach is evaluated with an industrial driver assistance system case study.
Keywords :
embedded systems; formal specification; real-time systems; scheduling; specification languages; transfer functions; MARTE; RSL; bus systems; complex activation behavior; embedded control units; extended task network formalism; function networks; industrial driver assistance system; model complex activation patterns; requirement specification language; scheduling analysis; state-based real-time scheduling analysis; timing requirements; Analytical models; Computational modeling; Contracts; Ports (Computers); Timing; Unified modeling language; Analysis; Function Networks; Marte; Modeling; Real-Time Analysis; State-Based Analysis; Timed Automata;
Conference_Titel :
Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on
Conference_Location :
Auckland
DOI :
10.1109/ISORC.2015.41