DocumentCode :
3076597
Title :
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems
Author :
Simko, Gabor ; Lindecker, David ; Levendovszky, Tihamer ; Jackson, Ethan K. ; Neema, Sandeep ; Sztipanovits, Janos
Author_Institution :
Vanderbilt Univ., Nashville, TN, USA
fYear :
2013
fDate :
22-24 April 2013
Firstpage :
30
Lastpage :
39
Abstract :
Increased emphasis on developing model-based design methods for Cyber-Physical Systems (CPS) brings new challenges to the specification of domain specific modeling languages (DSML) and the integration of heterogeneous CPS components.Since CPS are composed of tightly integrated physical and computational components, the modeled domains include both physical and computational systems.Formal specification of physical and computational languages as well as their integration remains an interesting challenge.In this paper we introduce a formal logic based framework for formal specification and simulation, that is supported by the fixed-point logic language FORMULA.As a representative case study, we define both the structural and behavioral semantics for a bond graph language, and demonstrate the reusability and extensibility provided by the approach by extending the language to support hybrid dynamics.
Keywords :
embedded systems; formal specification; simulation languages; CPS; DSML specification; FORMULA fixed-point logic language; behavioral semantics; bond graph language; cyber-physical system; domain specific modeling languages; formal specification; model-based design method; structural semantics; Abstracts; Computational modeling; Mathematical model; Semantics; Solid modeling; Syntactics; Unified modeling language; bond graph language; domain-specific modeling languages; formal semantics; formal specification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the
Conference_Location :
Scottsdale, AZ
Print_ISBN :
978-0-7695-4991-0
Type :
conf
DOI :
10.1109/ECBS.2013.30
Filename :
6601570
Link To Document :
بازگشت