Difference between revisions of "Dagstuhl Seminar 2009"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>WikiSysop
Line 19: Line 19:
 
* Proof automation
 
* Proof automation
 
* Proof reuse
 
* Proof reuse
* handling complex data structures
+
* Handling complex data structures
* code generation
+
* Code generation
* test case generation
+
* Test case generation
* handling assumptions about the environment
+
* Handling assumptions about the environment

Revision as of 11:32, 3 November 2009

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