Dagstuhl Seminar 2009

From Event-B
Jump to navigationJump to search

Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems

Dagstuhl Seminar Page

Members of the Deploy project participated in a Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems from 13 to 18 September 2009. For more details see the Dagstuhl seminar web page.

One of the outcomes of that seminar was the identification of a list of challenging issues faced by industrial users of formal methods. The list may be of wider interest so is reproduced here:

  • Team-based development
  • Heavy model re-factoring
  • Linking requirements engineering and FMs
  • Abstraction is difficult
  • Refinement strategies
  • Guidelines for method and tool selection
  • Keeping models and code in sync
  • Real-time modelling
  • Supporting reuse and variants
  • Proof automation
  • Proof reuse
  • Handling complex data structures
  • Code generation
  • Test case generation
  • Handling assumptions about the environment