A Framework for Evaluating Schedulability Analysis Tools

There exists a large variety of schedulability analysis tools based on dierent, often incomparable timing models. This variety makes it dicult to choose the best t for analyzing a given real-time system. To help the research community to better evaluate analysis tools and their underlying methods, we are developing a framework which consists of (1) a simple language called RTSpec for specifying real-time systems, (2) a tool chain which translates a system specication in RTSpec into an input for various analysis tools, and (3) a set of benchmarks. Our goal is to enable users and developers of schedulability analysis tools to compare such tools systematically, automatically and rigorously.

[1]  Frédéric Boniol,et al.  Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset , 2011, RTNS.

[2]  Wang Yi,et al.  Task automata: Schedulability, decidability and undecidability , 2007, Inf. Comput..

[3]  Rajeev Alur,et al.  Timed Automata , 1999, CAV.

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

[5]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[6]  Steve Vestal,et al.  An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2004, IFIP-WADL.

[7]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

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

[9]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[10]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[11]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[12]  Wang Yi,et al.  UPPAAL - Now, Next, and Future , 2000, MOVEP.

[13]  Kim G. Larsen,et al.  Schedulability Analysis Using Uppaal: Herschel-Planck Case Study , 2010, ISoLA.

[14]  Wang Yi,et al.  TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems , 2003, FORMATS.

[15]  Alan Burns,et al.  A survey of hard real-time scheduling for multiprocessor systems , 2011, CSUR.

[16]  Frank Slomka,et al.  An event stream driven approximation for the analysis of real-time systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[17]  Wang Yi,et al.  Graph-based models for real-time workload: a survey , 2015, Real-Time Systems.

[18]  Kim G. Larsen,et al.  Statistical and exact schedulability analysis of hierarchical scheduling systems , 2016, Sci. Comput. Program..

[19]  Jianxin Chen,et al.  Formal Verification of Lunar Rover Control Software Using UPPAAL , 2014, FM.

[20]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[21]  Lothar Thiele,et al.  Influence of different abstractions on the performance analysis of distributed hard real-time systems , 2009, Des. Autom. Embed. Syst..

[22]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004 .

[23]  Isabelle Puaut,et al.  ARTISST: an extensible and modular simulation tool for real-time systems , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.