Methodology

From DestecsWiki

DESTECS methods guidlines are divided into the following topics. Currently this wiki represents methodological results from Phase 1 of the project along with a some work-in-progress articles from Phase 2.

• Guidance on the overall design flow for co-modelling.
• Help for building co-models from existing DE models or existing CT models or from scratch.
• Guidelines for iterative design evolution including design space exploration and creation of scenarios.
• Introductory guidelines on modelling faults and fault tolerance, including a survey of approaches to fault and error analysis.
• Guidelines on dealing with model evolution under changing requirements.