A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa

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

Abstract
We introduce a platform-based design methodology that uses contracts to specify and abstract the components of a cyber-physical system (CPS), and provide formal support to the entire CPS design flow. The design is carried out as a sequence of refinement steps from a high-level specification to an implementation built out of a library of components at the lower level. We review formalisms and tools that can be used to specify, analyze, or synthesize the design at different levels of abstraction. For each level, we highlight how the contract operations can be concretely computed as well as the research challenges that should be faced to fully implement them. We illustrate our approach on the design of embedded controllers for aircraft electric power distribution systems.

Electronic downloads


Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide
    Bresolin, Luca Geretti, Tiziano Villa. <a
    href="http://www.icyphy.org/pubs/65.html" >A
    Platform-Based Design Methodology With Contracts and Related
    Tools for the Design of Cyber-Physical Systems</a>,
    <i>Proceedings of the IEEE</i>,  2015.
  • Plain text
    Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide
    Bresolin, Luca Geretti, Tiziano Villa. "A
    Platform-Based Design Methodology With Contracts and Related
    Tools for the Design of Cyber-Physical Systems".
    <i>Proceedings of the IEEE</i>,  2015.
  • BibTeX
    @article{NuzzoSangiovanniVincentelliBresolinGerettiVilla15_PlatformBasedDesignMethodologyWithContractsRelatedTools,
        author = {Pierluigi Nuzzo and Alberto
                  Sangiovanni-Vincentelli and Davide Bresolin and
                  Luca Geretti and Tiziano Villa},
        title = {A Platform-Based Design Methodology With Contracts
                  and Related Tools for the Design of Cyber-Physical
                  Systems},
        journal = {Proceedings of the IEEE},
        year = {2015},
        abstract = {We introduce a platform-based design methodology
                  that uses contracts to specify and abstract the
                  components of a cyber-physical system (CPS), and
                  provide formal support to the entire CPS design
                  flow. The design is carried out as a sequence of
                  refinement steps from a high-level specification
                  to an implementation built out of a library of
                  components at the lower level. We review
                  formalisms and tools that can be used to specify,
                  analyze, or synthesize the design at different
                  levels of abstraction. For each level, we
                  highlight how the contract operations can be
                  concretely computed as well as the research
                  challenges that should be faced to fully implement
                  them. We illustrate our approach on the design of
                  embedded controllers for aircraft electric power
                  distribution systems.},
        URL = {http://icyphy.org/pubs/65.html}
    }
    

Posted by Pierluigi Nuzzo on 28 Oct 2015.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.