The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components to ensure that the global level requirements are satisfied. We address this issue using an approach based on the notion of contract and simulation-based verification. In particular, we extend traditional contract verification methods to target distributed systems, which require an asynchronous communication paradigm. We use a pattern-based language for requirement definition, from which we generate a set of contract monitors implemented in the Simulink framework to observe the underlying system execution and flag violating behaviors. In the paper, we discuss in particular the aspects related to handling the asynchronous interaction between components and their relation to the contract monitors. An automatic towing system case study demonstrates the approach.

Monitor-Based Run-Time Contract Verification of Distributed Systems

Passerone, Roberto;
2014-01-01

Abstract

The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components to ensure that the global level requirements are satisfied. We address this issue using an approach based on the notion of contract and simulation-based verification. In particular, we extend traditional contract verification methods to target distributed systems, which require an asynchronous communication paradigm. We use a pattern-based language for requirement definition, from which we generate a set of contract monitors implemented in the Simulink framework to observe the underlying system execution and flag violating behaviors. In the paper, we discuss in particular the aspects related to handling the asynchronous interaction between components and their relation to the contract monitors. An automatic towing system case study demonstrates the approach.
2014
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems
New York
IEEE
O., Ferrante; Passerone, Roberto; A., Ferrari; L., Mengeruca; C., Sofronis; M., D'Angelo
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS 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/11572/101207
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 1
  • OpenAlex ND
social impact