The paper describes a modeling approach that aims to provide a unified framework for the specification and verification of logic controllers for multi-domain physical systems. The proposed modeling methodology is based on the cardinal principle of object orientation, which allows to describe both control software and physical components using the same basic concepts, like classes and interface ports, and the same modeling notation, based on the UML language. Thanks to this unified approach, it is possible to describe structural and behavioral aspects of any multi-domain system coupled with a logic control device. Moreover, the behavior of the closed-loop system can be analyzed with formal verification techniques for hybrid systems, in order to prove correctness properties otherwise difficult to verify considering only discrete-event models.
Unified Modeling and Verification of Logic Controllers for Physical Systems / Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian. - ELETTRONICO. - 2005:(2005), pp. 8349-8354. (Intervento presentato al convegno 44th IEEE Conference on Decision and Control 2005 and 2005 European Control Conference tenutosi a Seville, esp nel 12-15 Dicembre 2005) [10.1109/CDC.2005.1583514].
Unified Modeling and Verification of Logic Controllers for Physical Systems
FANTUZZI, Cesare;SECCHI, Cristian
2005
Abstract
The paper describes a modeling approach that aims to provide a unified framework for the specification and verification of logic controllers for multi-domain physical systems. The proposed modeling methodology is based on the cardinal principle of object orientation, which allows to describe both control software and physical components using the same basic concepts, like classes and interface ports, and the same modeling notation, based on the UML language. Thanks to this unified approach, it is possible to describe structural and behavioral aspects of any multi-domain system coupled with a logic control device. Moreover, the behavior of the closed-loop system can be analyzed with formal verification techniques for hybrid systems, in order to prove correctness properties otherwise difficult to verify considering only discrete-event models.Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris