Abstract
A model of a system (plant) is required to address aspects from different domains, e.g., supervisory control, communication, each of which need to be formulated using appropriate modeling tools. Modeling all these aspects using a single tool is a tedious task and mostly it is not achievable. As a result, the complete system has different modules modeled in different tools, later integrated and simulated together in order to achieve the desired functionality of the system as well as accuracy of the results. This makes the modeling easier and more efficient. The objective of this paper is to describe the integration between two modeling languages - Simulink and CIF3 for their use in modeling. Simulink is used to model the 802.11p communication system for transmission of data between vehicles, including transceivers and channels. CIF3 is used for modeling a discrete-event modulation control for a transceiver and continuous-time scenarios involving traffic safety. The integration of CIF3 models with Simulink model satisfies the safety requirements as well as provides useful insights into a combined cyber-physical system.
| Original language | English |
|---|---|
| Title of host publication | ITSLE 2016 : Proceedings of the 1st Industry Track for Software Language Engineering, 31 October 2016, Amsterdam, The Netherlands |
| Place of Publication | New York |
| Publisher | Association for Computing Machinery, Inc |
| Pages | 33-37 |
| ISBN (Print) | 978-1-4503-4646-7 |
| DOIs | |
| Publication status | Published - 2016 |