Compositional Performance Analysis in Python with pyCPA

The timing behavior of current and future embedded and distributed systems becomes increasingly complex. At the same time, many application fields such as safety-critical systems require a verification of worst-case timing behavior. Deriving sound guarantees is a complex task, which can be solved by Compositional Performance Analysis. This approach formally computes worst-case timing scenarios on each component of the system and derives end-to-end system timing from these local analyses. In this paper, we present pyCPA, an open-source implementation of the Compositional Performance Analysis approach. Targeted towards academia, pyCPA offers features such as support for the most common real-time schedulers, path analysis for communicating tasks, import and export functionality, and different visualizations. Thus, pyCPA is a valuable contribution to the research domain.

[1]  R. Alur,et al.  Automata For Modeling Real-Time Systems , 1990, ICALP.

[2]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

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

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

[5]  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).

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

[7]  Kai Richter,et al.  Compositional scheduling analysis using standard event models , 2004 .

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

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

[10]  Rolf Ernst,et al.  Providing accurate event models for the analysis of heterogeneous multiprocessor systems , 2008, CODES+ISSS '08.

[11]  Rolf Ernst,et al.  Formal Timing Analysis of Full Duplex Switched Based Ethernet Network Architectures , 2010 .

[12]  Simon Schliecker.  Performance analysis of multiprocessor real-time systems with shared resources , 2011 .

[13]  Rolf Ernst,et al.  SMFF: System Models for Free , 2011 .

[14]  Rolf Ernst,et al.  Modeling of Ethernet AVB Networks for Worst-Case Timing Analysis , 2012 .

[15]  Rolf Ernst,et al.  Probabilistic response time bound for CAN messages with arbitrary deadlines , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).