State-Based Real-Time Analysis for Function Networks and Marte

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.

[1]  Philipp Reinkemeier,et al.  A pattern-based requirement specification language: Mapping automotive specific timing requirements , 2011, Software Engineering.

[2]  Bran Selic,et al.  Modeling Cyber-Physical Systems , 2014 .

[3]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[4]  Wang Yi,et al.  Timed Automata with Asynchronous Processes: Schedulability and Decidability , 2002, TACAS.

[5]  Lothar Thiele,et al.  Influence of different system abstractions on the performance analysis of distributed real-time systems , 2007, EMSOFT '07.

[6]  J.C. Palencia Gutierrez,et al.  On the schedulability analysis for distributed hard real-time systems , 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.

[7]  Lothar Thiele,et al.  Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems , 2009, EMSOFT '09.

[8]  Achim Rettberg,et al.  State-based scheduling analysis for distributed real-time systems , 2014, Des. Autom. Embed. Syst..

[9]  Lionel C. Briand,et al.  Experiences of applying UML/MARTE on three industrial projects , 2012, MODELS'12.

[10]  Insup Lee,et al.  CARTS: a tool for compositional analysis of real-time systems , 2011, SIGBED.

[11]  Ingo Stierand,et al.  Testing real-time task networks with functional extensions using model-checking , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[12]  Marcel Verhoef,et al.  Timed automata based analysis of embedded system architectures , 2006, IPDPS.

[13]  Eike Thaden,et al.  Design Space Exploration for an industrial Lane-Keeping-Support Case Study , 2014 .

[14]  Ernesto Wandeler,et al.  Modular performance analysis and interface based design for embedded real time systems , 2006 .

[15]  Eike Thaden,et al.  From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach , 2013 .

[16]  Lothar Thiele,et al.  Embedded Software in Network Processors - Models and Algorithms , 2001, EMSOFT.

[17]  Kim Guldstrand Larsen,et al.  Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 , 2018, Model-Based Design for Embedded Systems.

[18]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems , 2013 .

[19]  Rolf Ernst,et al.  Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers , 2008, 2008 Euromicro Conference on Real-Time Systems.

[20]  Rolf Ernst,et al.  Performance analysis for complex embedded applications , 2005, Int. J. Embed. Syst..

[21]  Sébastien Gérard,et al.  First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[22]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.