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

MSWIM '18: 21st ACM Int'l Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems Montreal QC Canada October, 2018(2018)

引用 4|浏览8
暂无评分
摘要
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.
更多
查看译文
关键词
Wireless communication, Cyber-physical Systems, Real-time, Embedded Systems, ESL, Actor-oriented modeling, Simulation, System Level Modeling, Executable specification, Performance modeling
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络