Cited By
View all- Rosales RPaulitsch M(2021)Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33862445:2(1-27)Online publication date: 20-Jan-2021
Actor-Oriented Design Patterns for Performance Modeling of Wireless Communications in Cyber-physical Systems
Pages 29 - 38
Abstract
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.
References
[1]
Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, and Alberto Sangiovanni-Vincentelli. 2003. Metropolis: An integrated electronic system design environment. Computer, Vol. 36, 4 (2003), 45--52.
[2]
Gérard Berry and Laurent Cosserat. 1984. The ESTEREL synchronous programming language and its mathematical semantics. In International Conference on Concurrency. Springer, 389--448.
[3]
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, and Daniel Vincent. 2001. Timed extensions for SDL. In International SDL Forum. Springer, 223--240.
[4]
J Calvez. 2008. The MCSE methodology overview. Report, Cofluent Design (2008).
[5]
Intel Corporation. 2018. Intel CoFluent Technology. https://www.intel.com/content/www/us/en/cofluent/overview.html Retrieved May 8, 2018 from
[6]
TimeSys Corporation. 2006. RTSJ: The Real Time Specification for Java 1.0.2. https://jcp.org/aboutJava/communityprocess/mrel/jsr001/index2.html Retrieved March 21, 2018 from
[7]
Johan Eker, Jorn W Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Sonia Sachs, Yuhong Xiong, and Stephen Neuendorffer. 2003. Taming heterogeneity - the Ptolemy approach. Proc. IEEE, Vol. 91, 1 (2003), 127--144.
[8]
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1993. Design Patterns: Abstraction and Reuse of Object-Oriented Design. In ECOOP' 93 - Object-Oriented Programming. Springer Berlin Heidelberg, 406--431.
[9]
OBJECT MANAGEMENT GROUP et almbox. 2002. UML Profile for Schedulability, Performance, and Time Specification. http.://www. omg. org/cgibin/doc (2002).
[10]
Nicholas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. 1991. The synchronous data flow programming language LUSTRE. Proc. IEEE, Vol. 79, 9 (1991), 1305--1320.
[11]
Christian Haubelt, Thomas Schlichter, Joachim Keinert, and Mike Meredith. 2008. SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models. In Design Automation Conference, 2008. DAC 2008. 45th ACM/IEEE. IEEE, 580--585.
[12]
Bart Kienhuis, Ed Deprettere, Kees Vissers, and Pieter van der Wolf. 1998. The construction of a retargetable simulator for an architecture template. In Proceedings of the 6th international workshop on Hardware/software codesign. IEEE Computer Society, 125--129.
[13]
Edward A Lee and Alberto Sangiovanni-Vincentelli. 1996. The tagged signal model-a preliminary version of a denotational framework for comparing models of computation. Department of Eelectrical Engineering and Computer Science, University of California (1996), 7.
[14]
Henry Lieberman. 1987. Concurrent object-oriented programming in Act 1. Object-oriented concurrent programming (1987), 9--36.
[15]
UML OMG. 2011. UML Profile for MARTE: Modelling and Analysis of Real-Time Embedded Systems, Version 1.1.
[16]
Claudius Ptolemaeus (Ed.). 2014. System Design, Modeling, and Simulation using Ptolemy II .Ptolemy.org. http://ptolemy.org/books/Systems
[17]
Rafael Rosales. 2017. Holistic Actor-Oriented Modeling of Embedded Systems for ESL Power Consumption Evaluation . Doctoral Dissertation. Friedrich-Alexander-Universit"at Erlangen-Nürnberg (FAU).
[18]
Bran Selic. 1998. Using UML for modeling complex real-time systems. In Languages, compilers, and tools for embedded systems. Springer, 250--260.
[19]
Bran Selic and Sébastien Gérard. 2013. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems .Elsevier.
[20]
CCITT Specification. 1993. description language (SDL). ITU-T Recommendation 100 (1993), 11.
[21]
Simone Spitz, Frank Slomka, and Matthias Dörfel. 1997. SDL*-an annotated specification language for engineering multimedia communication systems. In Proceedings of the Sixth Open Workshop On High Speed Networks .
[22]
Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, and Jürgen Teich. 2011. ESL power and performance estimation for heterogeneous MPSoCS using SystemC. In Forum on Specification and Design Languages (FDL). IEEE, 1--8.
[23]
Yang Xu, Bo Wang, Ralph Hasholzner, Rafael Rosales, and Jürgen Teich. 2013. On Robust Task-accurate Performance Estimation. In Proceedings of the 50th Annual Design Automation Conference (DAC '13). ACM, Article 171, bibinfonumpages171:1--171:6 pages.
Index Terms
- Actor-Oriented Design Patterns for Performance Modeling of Wireless Communications in Cyber-physical Systems
Recommendations
Towards an Optimized BlockChain for IoT
IoTDI '17: Proceedings of the Second International Conference on Internet-of-Things Design and ImplementationThere has been increasing interest in adopting BlockChain (BC), that underpins the crypto-currency Bitcoin, in Internet of Things (IoT) for security and privacy. However, BCs are computationally expensive and involve high bandwidth overhead and delays, ...
Securing Sensor to Cloud Ecosystem using Internet of Things (IoT) Security Framework
ICC '16: Proceedings of the International Conference on Internet of things and Cloud ComputingThe Internet of things (IoT) refers to every object, which is connected over a network with the ability to transfer data. Users perceive this interaction and connection as useful in their daily life. However any improperly designed and configured ...
Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical Systems
Special Issue on Time for CPS and Regular PapersTime plays a major role in the specification of Cyber-physical Systems (CPS) behavior with concurrency, timeliness, asynchrony, and resource limits as their main characteristics. In addition to timeliness, the specification of CPS needs to assess and ...
Comments
Information & Contributors
Information
Published In
October 2018
153 pages
Copyright © 2018 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 October 2018
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
MSWIM '18
Sponsor:
MSWIM '18: 21st ACM Int'l Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems
October 28 - November 2, 2018
QC, Montreal, Canada
Acceptance Rates
Overall Acceptance Rate 46 of 131 submissions, 35%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 103Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)0
Reflects downloads up to 14 Sep 2024
Other Metrics
Citations
Cited By
View all- Rosales RPaulitsch M(2021)Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33862445:2(1-27)Online publication date: 20-Jan-2021
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in