Bang & OlufsenPower Down Module (1997)

• 3 weeks in collaboration with B&O engineer

  • development of model/implementation in parallel
  • 1st week: intense discussion on protocol
  • 2nd week: modelling (and validation) in UPPAAL
  • 3rd week: validation of model & verification in UPPAAL.

• Errors prevented during modelling

• Bound on frequencey on interrupts in order that protocol works.

• How to model real time scheduling

AP

IOP

IR Link

Previous slide

Next slide

Back to first slide

View graphic version