Abhishek Sharma
Michel Reniers
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.
- D.A. van Beek, W.J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J.M. van de Mortel-Fronczak, and M.A. Reniers. CIF 3: Model-based engineering of supervisory controllers. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2014.Google Scholar
Cross Ref
- The MathWorks, Inc. Using Simulink, version 6..Google Scholar
- D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda, and R.R.H. Schiffelers Co-simulation of Chi and Simulink models. In Proc. 6th EUROSIM, 2007.Google Scholar
- Y. Vissers. Conversion of Simulink Stateflow to CIF. Internship Report, TU/e, 2014.Google Scholar
- SAE International On-Board System Requirements for V2V Safety Communications. Standard: J2945/1_201603, 2016.Google Scholar
- Hatnik, Uwe, and Sven Altmann. Using ModelSim, Matlab/Simulink and NS for simulation of distributed systems. 2004.Google Scholar
- Hasan, M. S., Yu, H., Carrington, A., Yang, T. C. Co-simulation of wireless networked control systems over mobile ad hoc network using SIMULINK and OPNET. IET communications 3.8 (2009): 1297-1310.Google Scholar
- D. E. Nadales Agut, M. A. Reniers, R. R. H Schiffelers, K. Y. Jorgensen, and D. A. van Beek. A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL. In IFAC World Congress 2011, pages 12496-12502.Google Scholar
- Groote, Jan Friso, and Mohammad Reza Mousavi. Modeling and analysis of communicating systems. MIT press, 2014. Google ScholarDigital Library
- Schünemann, Björn. V2X simulation runtime infrastructure VSimRTI: An assessment tool to design smart traffic management systems. Computer Networks 55.14 (2011): 3189-3198. Google ScholarDigital Library
Index Terms
- Integrated simulation of CIF3 and simulink models
Recommendations
Domain driven simulation modeling for software design
SCSC '07: Proceedings of the 2007 Summer Computer Simulation ConferenceSystem-theoretic modeling and simulation frameworks such as Object-Oriented Discrete-event System Specification (OO-DEVS) are commonly used for simulating complex systems, but they do not account for domain knowledge. In contrast, Model-Driven Design ...
Semantic validation of physical models using role models
The complexity of models for the simulation of physical systems is steadily increasing. This makes the effective validation of models for different design aspects crucial. One of the many important aspects is the structural correctness and the behavior ...
Simulation of LET models in simulink and ptolemy
Monterey'08: Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for DevelopmentThis paper describes two different approaches of simulating embedded control software whose real-time requirements are explicitly specified by means of the Logical Execution Time (LET) abstraction introduced in the Giotto project. As simulation ...
Comments