CONFERENCE PROCEEDINGS
Advanced Search
Home > Proceedings > Volume 12290 > Article
Paper
3 October 2022 Modeling hybrid systems based on combination of SysML and Modelica
Qing Li, Zining Cao, Tao Huang
Author Affiliations +
Proceedings Volume 12290, International Conference on Computer Network Security and Software Engineering (CNSSE 2022); 122900N (2022) https://doi.org/10.1117/12.2640833
Event: International Conference on Computer Network Security and Software Engineering (CNSSE 2022), 2022, Zhuhai, China
Abstract
The hybrid system is composed of discrete component and continuous component. However, there is no modeling language that can describe the discrete and dynamic characteristics of it at the same time. Hence, we propose a combined modeling method for hybrid system. SysML and Modelica are used to model discrete and physical components of hybrid systems respectively. The structure diagram of SysML and port are used to realize the communication between SysML model and Modelica model, and the complete semi-formal model of the system can be obtained. Since it is impossible to directly make verification on a semi-formal model, we propose a transformation algorithm to transform it into the formal model, and the correctness of the algorithm can be demonstrated by bisimulation. In addition, we select the hybrid interface automata as the formal model for describing the dynamic behavior of a hybrid system and the interface properties between subsystems. In order to obtain the complete formal model of the system, we propose a combination algorithm of HIA based on SysML and Modelica. An automatic air refueling system is used to illustrate the correctness of the combined modeling way and the algorithms proposed in the paper.
© (2022) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Citation Download Citation
Qing Li, Zining Cao, and Tao Huang "Modeling hybrid systems based on combination of SysML and Modelica", Proc. SPIE 12290, International Conference on Computer Network Security and Software Engineering (CNSSE 2022), 122900N (3 October 2022); https://doi.org/10.1117/12.2640833
ACCESS THE FULL ARTICLE
ORGANIZATIONAL
Sign in with credentials provided by your organization.
INSTITUTIONAL
Select your institution to access the SPIE Digital Library.
SELECT YOUR INSTITUTION
PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.
PERSONAL SIGN IN
No SPIE Account? Create one
PURCHASE THIS CONTENT
SUBSCRIBE TO DIGITAL LIBRARY
50 downloads per 1-year subscription
Members: $195
Non-members: $335 ADD TO CART
25 downloads per 1 - year subscription
Members: $145
Non-members: $250 ADD TO CART
PURCHASE SINGLE ARTICLE
Includes PDF, HTML & Video, when available
Members: $17.00
Non-members: $21.00 ADD TO CART
PROCEEDINGS
 10 PAGES
DOWNLOAD PAPER SAVE TO MY LIBRARY
GET CITATION
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Systems modeling
Actuators
Reliability
Computing systems
Data modeling
Safety
Sensors
RELATED CONTENT
Subscribe to Digital Library
Receive Erratum Email Alert
Back to Top