Taming Dr. Frankenstein: contract-based design for cyber-physical systems

DOI10.3166/ejc.18.217-238zbMath1264.93152OpenAlexW1994901326WikidataQ57380259 ScholiaQ57380259MaRDI QIDQ1937313

Roberto Passerone, Werner Damm, Alberto L. Sangiovanni-Vincentelli

Publication date: 28 February 2013

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/ejc.18.217-238

zbMATH Keywords

controller designdesign methodologiesindustrial automationcontract-based designvertical contractscomplexity of cyber-physical systemscontrol of multi-scale complex systemsdevelopment scheduleselement integrationhorizontal contractsmechanical, electrical, and chemical processesmeet-in-the-middle approachplatform-based designsubsequent refinement process

Mathematics Subject Classification ID

Application models in control theory (93C95) Design techniques (robust design, computer-aided design, etc.) (93B51) Time-scale analysis and singular perturbations in control/observation systems (93C70)

Related Items (14)

A mechanically verified theory of contracts ⋮ Explicit routing schemes for implementation of cellular automata on processor arrays ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Compositional synthesis of state-dependent switching control ⋮ Transformations for Compositional Verification of Assumption-Commitment Properties ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Human-cyber-physical automata and their synthesis ⋮ From interface automata to hypercontracts ⋮ A contract-based semantics and refinement for Simulink ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Unifying theories of reactive design contracts ⋮ Automated verification of reactive and concurrent programs by calculation

Uses Software

• Ptolemy
• Metropolis

Cites Work

• Bridging the gap between fair simulation and trace inclusion
• A Modal Interface Theory for Component-based Design
• Branching time and abstraction in bisimulation semantics
• Unnamed Item
• Unnamed Item

This page was built for publication: Taming Dr. Frankenstein: contract-based design for cyber-physical systems