Citation
Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli. "Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems". Design Automation and Test in Europe, 24, March, 2014.

Abstract
We introduce a platform-based design methodology that addresses the complexity and heterogeneity of cyber-physical systems by using assume-guarantee contracts to formalize the design process and enable realization of control protocols in a hierarchical and compositional manner. Given the architecture of the physical plant to be controlled, the design is carried out as a sequence of refinement steps from an initial specification to a final implementation, including synthesis from requirements and mapping of higher-level functional and nonfunctional models into a set of candidate solutions built out of a library of components at the lower level. Initial top-level requirements are captured as contracts and expressed using linear temporal logic (LTL) and signal temporal logic (STL) formulas to enable requirement analysis and early detection of inconsistencies. Requirements are then refined into a controller architecture by combining reactive synthesis steps from LTL specifications with simulation-based design space exploration steps. We demonstrate our approach on the design of embedded controllers for aircraft electric power distribution.

Electronic downloads

• http://www.src.org/library/publication/p069120/
• http://dx.doi.org/10.7873/DATE.2014.072

• HTML

  Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/237.html"
  >Contract-Based Design of Control Protocols for
  Safety-Critical Cyber-Physical Systems</a>, Design
  Automation and Test in Europe, 24, March, 2014.

• Plain text

  Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto
  Sangiovanni-Vincentelli. "Contract-Based Design of
  Control Protocols for Safety-Critical Cyber-Physical
  Systems". Design Automation and Test in Europe, 24,
  March, 2014.

• BibTeX

  @inproceedings{NuzzoFinnIannopolloSangiovanniVincentelli14_ContractBasedDesignOfControlProtocolsForSafetyCritical,
      author = {Pierluigi Nuzzo and John B. Finn and Antonio
                Iannopollo and Alberto Sangiovanni-Vincentelli},
      title = {Contract-Based Design of Control Protocols for
                Safety-Critical Cyber-Physical Systems},
      booktitle = {Design Automation and Test in Europe},
      day = {24},
      month = {March},
      year = {2014},
      abstract = {We introduce a platform-based design methodology
                that addresses the complexity and heterogeneity of
                cyber-physical systems by using assume-guarantee
                contracts to formalize the design process and
                enable realization of control protocols in a
                hierarchical and compositional manner. Given the
                architecture of the physical plant to be
                controlled, the design is carried out as a
                sequence of refinement steps from an initial
                specification to a final implementation, including
                synthesis from requirements and mapping of
                higher-level functional and nonfunctional models
                into a set of candidate solutions built out of a
                library of components at the lower level. Initial
                top-level requirements are captured as contracts
                and expressed using linear temporal logic (LTL)
                and signal temporal logic (STL) formulas to enable
                requirement analysis and early detection of
                inconsistencies. Requirements are then refined
                into a controller architecture by combining
                reactive synthesis steps from LTL specifications
                with simulation-based design space exploration
                steps. We demonstrate our approach on the design
                of embedded controllers for aircraft electric
                power distribution. },
      URL = {http://terraswarm.org/pubs/237.html}
  }
  

Posted by Barb Hoversten on 2 Jan 2014.
Groups: tools