Using simulation for the validation of high level specifications of control systems

In this paper, we present a methodology for modeling real-time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatica...

全面介紹

Saved in:
書目詳細資料
Main Authors: Jumpamule W., Paillet J.-L., Giambiasi N.
格式: Article
語言:English
出版: 2014
在線閱讀:http://www.scopus.com/inward/record.url?eid=2-s2.0-0346361546&partnerID=40&md5=b18e4f7822f40c0683ca0fe19fe639c8
http://cmuir.cmu.ac.th/handle/6653943832/5724
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Chiang Mai University
語言: English
實物特徵
總結:In this paper, we present a methodology for modeling real-time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model.