DocumentCode
721022
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
fYear
2015
fDate
13-17 April 2015
Firstpage
158
Lastpage
165
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on
Conference_Location
Auckland
ISSN
1555-0885
Type
conf
DOI
10.1109/ISORC.2015.41
Filename
7153802
Link To Document