Affordable Access

MDM: A Mode Diagram Modeling Framework

Authors
Publisher
Open Publishing Association
Publication Date
Disciplines
  • Computer Science
  • Design
  • Engineering

Abstract

C. Artho and P.C. ¨Olveczky (Eds.): FTSCS 2012 EPTCS 105, 2012, pp. 135–149, doi:10.4204/EPTCS.105.10 c© Zheng WANG et al. MDM: A Mode Diagram Modeling Framework for Periodic Control Systems Zheng Wang, Geguang Pu∗, Jianwen Li, Jifeng He Shanghai Key Laboratory of Trustworthy Computing East China Normal University {wangzheng,ggpu,[email protected] Shenchao Qin University of Teesside [email protected] Kim G. Larsen Aalborg University of Denmark [email protected] Jan Madsen Technical University of Denmark [email protected] Bin Gu Beijing Institute of Control Engineering [email protected] Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modeling languages for such systems in the relevant industry. To address this problem, we propose a formal visual modeling framework called MDM as a concise and precise way to specify and analyze such systems. To capture the temporal properties of periodic control systems, we provide, along with MDM, a property specification language based on interval logic for the description of concrete temporal requirements the engineers are concerned with. The statistical model checking technique can then be used to verify the MDM models against the desired properties. To demonstrate the viability of our approach, we have applied our modeling framework to some real- life case studies from industry and helped detect two design defects for some spacecraft control system. 1 Introduction The control systems that are widely used in safety-critical embedded domains, such as spacecraft control and automotive control, usually reveal periodic behaviors. Such periodic control systems share

There are no comments yet on this publication. Be the first to share your thoughts.