Supporting Automotive Cooling and HVAC Systems Design Using a SysML-Modelica Transformation Approach.
Junjie YanBiao HuXin WangMinghui YueXiaobing LiuMarco ForlingieriRichard SunPublished in: CSDM Asia / CSDM (2021)
Keyphrases
- formal methods
- support systems
- case study
- human computer interface
- knowledge based systems
- building blocks
- design process
- safety critical
- modeling language
- design criteria
- computer aided
- complex systems
- learning systems
- management system
- fault diagnosis
- design issues
- computer systems
- distributed systems
- interactive systems
- highly modular
- embedded systems
- control system