Formal Model of Design

• Informal specification leads to:

  • various stages not logically connected
  • costly redesign

• We need:

  • Formal specification
  • Set of Properties
  • Set of Performance Indices
  • Set of Constraints

AG i o

await i; emit o

Time (i,o)

Time (i,o) < 10 s

E.g.

Previous slide

Next slide

Back to first slide

View graphic version