Model-Driven Engineering

rascal-0.40.17

Synopsis

Tools for Model-Driven Engineering.

Description

Elisabeth is a software architect at a large airplane manufacturer and her concern is reliability and dependability of airplane control software. She and her team have designed a UML model of the control software and have extended it with annotations that describe the reliability of individual components. She will use this annotated model in two ways:

• to extract relevant information from it to synthesize input for a statistical tool that will compute overall system reliability from the reliability of individual components;
• to generate executable code that takes the reliability issues into account.