Orlando Ferrante, Alessandro Mignogna, Christos Sofronis, Leonardo Mangeruca, and Alberto Ferrari
Embedded systems, contract-based design, concurrent development
The SPEEDS IST European project introduces the speculative design of embedded systems. This design paradigm, based on the use of contracts as formal requirements, allows distributed designers to develop different aspects of the overall system in a concurrent but controlled way. In this paper we show how to use the runtime verification approach based on monitors to validate the design steps in the SPEEDS contract-based design methodology and we present an integrated design environment that fully supports the SPEEDS contract based design flow.
Important Links:
Go Back
