develop methods and guidelines for
generating descriptions for the entire
system platform stack, including the
topmost level (application space), the
bottom level (architecture space) and
the interfaces that provide the
necessary abstraction between the
platforms. Task PBD1: Development of the
definition of abstraction layers for
automotive and flight control.
Modeling of platform constraints and
export of platform parameters up the
Determination of the appropriate
constraints and export mechanism for the
chosen application space.
Refinement mechanism to guarantee
properties verified at higher level of
the platform stack are maintained.
Mapping of embedded control design
problems into the overall concept.
Optimization methods for the selection
of control parameters and of platform
Demonstration of approach on test cases.