Dagstuhl Seminar 2009

From Event-B
Revision as of 11:16, 3 November 2009 by imported>WikiSysop (New page: == Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems == [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=09381 Dagstuhl Seminar Page] Mem...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 agstuhl 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