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', Marcello;
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.
2005
9780780395671
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11392/1192517
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 5
social impact