Actor-Oriented Design Patterns for Performance Modeling of Wireless Communications in Cyber-physical Systems

The work at hand proposes a set of modeling recipes to address the aggressive development time window of current and future wireless communications in cyber-physical systems. These systems pose a significant challenge in meeting Time-to-Market due to the ever more challenging requirements such as ultra-low latency for mission-critical applications, extremely high throughput demanding tons of communication and computation resources working concurrently, and, at the same time, low power consumption and small chip area for its field deployment. This paper presents three actor-oriented design patterns for a systematic creation of implementation-aware performance models of complex real-time wireless communication systems that can be applied in existing system level frameworks. The main benefits of this modeling approach are: 1) Time semantic model correctness where the effects of a chosen hardware platform can be taken into account. 2) Behavioral modeling completeness by construction, and 3) reduced time-to-market through reduced modeling effort, improved maintainability and testability. Furthermore, by adhering to this modeling paradigm, it is possible to easily integrate the following features for the improvement of functional safety: a) system timing diagnostics, b) an appropriate handling of timing violations, and c) a simulation-based scheduleability analysis. To demonstrate the aforementioned benefits, a model of a real world pre-5G baseband processor for V2X communications is created in Intel CoFluent where our claims are confirmed when assessing real-time deadline compliance of possible HW implementations.

[1]  Ralph E. Johnson,et al.  Design Patterns: Abstraction and Reuse of Object-Oriented Design , 1993, ECOOP.

[2]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[3]  Henry Lieberman,et al.  Concurrent object-oriented programming in Act 1 , 1987 .

[4]  Ed F. Deprettere,et al.  The construction of a retargetable simulator for an architecture template , 1998, CODES.

[5]  Iulian Ober,et al.  Timed Extensions for SDL , 2001, SDL Forum.

[6]  Michael Glaß,et al.  Holistic Actor-Oriented Modeling of Embedded Systems for ESL Power Consumption Evaluation , 2015 .

[7]  Gérard Berry,et al.  The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.

[8]  Simone Spitz,et al.  SDL* - An Annotated Specification Language for Engineering Multimedia Communication Systems , 1997 .

[9]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[10]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[11]  Edward A. Lee,et al.  A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION , 1997 .

[12]  Jürgen Teich,et al.  On robust task-accurate performance estimation , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[13]  Sébastien Gérard,et al.  Chapter 8 – Modeling Cyber-Physical Systems: Combining MARTE with SysML , 2014 .

[14]  Christian Haubelt,et al.  ESL power and performance estimation for heterogeneous MPSOCS using SystemC , 2011, FDL 2011 Proceedings.

[15]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[16]  Luciano Lavagno,et al.  Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.

[17]  Christian Haubelt,et al.  SystemCoDesigner: Automatic design space exploration and rapid prototyping from behavioral models , 2008, 2008 45th ACM/IEEE Design Automation Conference.

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