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...

Full description

Saved in:
Bibliographic Details
Main Authors: Jumpamule W., Paillet J.-L., Giambiasi N.
Format: Article
Language:English
Published: 2014
Online Access:http://www.scopus.com/inward/record.url?eid=2-s2.0-0346361546&partnerID=40&md5=b18e4f7822f40c0683ca0fe19fe639c8
http://cmuir.cmu.ac.th/handle/6653943832/5724
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Chiang Mai University
Language: English
id th-cmuir.6653943832-5724
record_format dspace
spelling th-cmuir.6653943832-57242014-08-30T03:23:22Z Using simulation for the validation of high level specifications of control systems Jumpamule W. Paillet J.-L. Giambiasi N. 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. 2014-08-30T03:23:22Z 2014-08-30T03:23:22Z 2003 Article 09210296 10.1023/B:JINT.0000004930.97126.c4 JIRSE http://www.scopus.com/inward/record.url?eid=2-s2.0-0346361546&partnerID=40&md5=b18e4f7822f40c0683ca0fe19fe639c8 http://cmuir.cmu.ac.th/handle/6653943832/5724 English
institution Chiang Mai University
building Chiang Mai University Library
country Thailand
collection CMU Intellectual Repository
language English
description 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.
format Article
author Jumpamule W.
Paillet J.-L.
Giambiasi N.
spellingShingle Jumpamule W.
Paillet J.-L.
Giambiasi N.
Using simulation for the validation of high level specifications of control systems
author_facet Jumpamule W.
Paillet J.-L.
Giambiasi N.
author_sort Jumpamule W.
title Using simulation for the validation of high level specifications of control systems
title_short Using simulation for the validation of high level specifications of control systems
title_full Using simulation for the validation of high level specifications of control systems
title_fullStr Using simulation for the validation of high level specifications of control systems
title_full_unstemmed Using simulation for the validation of high level specifications of control systems
title_sort using simulation for the validation of high level specifications of control systems
publishDate 2014
url http://www.scopus.com/inward/record.url?eid=2-s2.0-0346361546&partnerID=40&md5=b18e4f7822f40c0683ca0fe19fe639c8
http://cmuir.cmu.ac.th/handle/6653943832/5724
_version_ 1681420479562252288