Flexible Logic-based Co-simulation of Modelica Models
The design of complex embedded software systems requires the careful analysis of the system and of the environment it interacts with. The different natures of these two elements are difficult to address by means of a single all-encompassing technique/notation. The paper proposes MCA, the MADES Cosimulation Approach, which allows designers to combine different, complementary formalisms in a seamless manner: the system is rendered through logic formulae, while the environment is demanded to Modelica. These two models are input to MCA to produce an execution trace that is “compatible with them, that is, that does not violate either model. The paper introduces the theoretical basis of MCA and exemplifies it on a case study.
Luciano Baresi Gianni Ferretti Alberto Leva Matteo Rossi
Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy
国际会议
IEEE 10th International Conference on Industrial Informatics(第十届IEEE工业信息学国际学术会议 INDIN2012)
北京
英文
635-640
2012-07-25（万方平台首次上网日期，不代表论文的发表时间）