We introduce a platform-based design methodology that uses contracts to specifyand abstract the components of a cyber-physical system (CPS), and provide formalsupport to the entire CPS design flow.The design is carried out as a sequence of refinement steps from a high-levelspecification to an implementation built out of a library of components at thelower level.We review formalisms and tools that can be used to specify, analyze orsynthesize the design at different levels of abstractions.For each level, we highlight how the contract operations can be concretelycomputed as well as the research challenges that should be faced to fullyimplement them.

A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems

BRESOLIN, Davide;GERETTI, Luca;VILLA, Tiziano
2015-01-01

Abstract

We introduce a platform-based design methodology that uses contracts to specifyand abstract the components of a cyber-physical system (CPS), and provide formalsupport to the entire CPS design flow.The design is carried out as a sequence of refinement steps from a high-levelspecification to an implementation built out of a library of components at thelower level.We review formalisms and tools that can be used to specify, analyze orsynthesize the design at different levels of abstractions.For each level, we highlight how the contract operations can be concretelycomputed as well as the research challenges that should be faced to fullyimplement them.
2015
cyber-physical systems, contract-based design, system design automation
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/11562/931981
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 109
  • ???jsp.display-item.citation.isi??? 91
social impact