A Platform-Based Design Methodology With Contractsand Related Tools for the Design of Cyber-Physical Systems

Author(s): Pierluigi Nuzzo, AlbertoSangiovanni-Vincentelli, Davide Bresolin,Luca Geretti, Tiziano Villa

Citation
Pierluigi Nuzzo, AlbertoSangiovanni-Vincentelli, Davide Bresolin,Luca Geretti, Tiziano Villa. "A Platform-Based Design Methodology With Contractsand Related Tools for the Design of Cyber-Physical Systems". Proceedings of the IEEE, 2015.

Abstract
We introduce a platform-based design methodologythat uses contracts to specify and abstract thecomponents of a cyber-physical system (CPS), andprovide formal support to the entire CPS designflow. The design is carried out as a sequence ofrefinement steps from a high-level specificationto an implementation built out of a library ofcomponents at the lower level. We reviewformalisms and tools that can be used to specify,analyze, or synthesize the design at differentlevels of abstraction. For each level, wehighlight how the contract operations can beconcretely computed as well as the researchchallenges that should be faced to fully implementthem. We illustrate our approach on the design ofembedded controllers for aircraft electric powerdistribution systems.

---

Citation Formats

• HTML
  

                  
  Pierluigi Nuzzo, AlbertoSangiovanni-Vincentelli, Davide Bresolin,Luca Geretti, Tiziano Villa.
  "<a href="https://www.icyphy.org/publications/2015_NuzzoEtAl/">A Platform-Based Design Methodology With Contractsand Related Tools for the Design of Cyber-Physical Systems</a>".
  <i>Proceedings of the IEEE</i>, 2015.
                  
                  

• Plain Text
  

                  
  Pierluigi Nuzzo, AlbertoSangiovanni-Vincentelli, Davide Bresolin,Luca Geretti, Tiziano Villa.
  "A Platform-Based Design Methodology With Contractsand Related Tools for the Design of Cyber-Physical Systems".
  Proceedings of the IEEE, 2015.
                  
                  

• BibTeX
  

                      
  @article{NuzzoSangiovanniVincentelliBresolinGerettiVilla15_PlatformBasedDesignMethodologyWithContractsRelatedTools,
  	author = {Pierluigi Nuzzo, AlbertoSangiovanni-Vincentelli, Davide Bresolin,Luca Geretti, Tiziano Villa},
  	title = {A Platform-Based Design Methodology With Contractsand Related Tools for the Design of Cyber-Physical Systems},
  	journal = {Proceedings of the IEEE},
  	year = {2015},
  	abstract = {We introduce a platform-based design methodologythat uses contracts to specify and abstract thecomponents of a cyber-physical system (CPS), andprovide formal support to the entire CPS designflow. The design is carried out as a sequence ofrefinement steps from a high-level specificationto an implementation built out of a library ofcomponents at the lower level. We reviewformalisms and tools that can be used to specify,analyze, or synthesize the design at differentlevels of abstraction. For each level, wehighlight how the contract operations can beconcretely computed as well as the researchchallenges that should be faced to fully implementthem. We illustrate our approach on the design ofembedded controllers for aircraft electric powerdistribution systems.},
  	URL = {https://www.icyphy.org/publications/2015_NuzzoEtAl/}
  }