1-2-3-4-5-6-7-8-9-10-11-FM 1-FM 2-FM 3-FM 4-FM 5

Motivation

• Process Technologies

  Define meta-models for safety-critical systems process based on existing standards in order to consider:

  • Modeling of heterogeneous components
  • Interoperability of components from multiple paradigms
  • Analysis techniques for non-sequential systems
  • Methodology for non-sequential systems

 

• Formal Methods

  Define taxonomical forms in order to identify formal methods and tools:

  • for each phase of the meta-models
  • for each system property
  • to compare formal methods
  • to disseminate the use of formal methods and tools

GDPA Homepage Last Updated 07.Nov.1999 Updated by Webmaster Last Revised 07.Nov.1999 Revised by Webmaster