Integrated simulation of CIF3 and simulink models

M.A. Reniers, A. Sharma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
5 Downloads (Pure)


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 languageEnglish
Title of host publicationITSLE 2016 : Proceedings of the 1st Industry Track for Software Language Engineering, 31 October 2016, Amsterdam, The Netherlands
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
ISBN (Print)978-1-4503-4646-7
Publication statusPublished - 2016

Cite this