ForSyDe (Formal System Design) is a design methodology targeting the design of heterogeneous embed- ded and cyber-physical systems, envisioning a correct-by-construction design flow. The idea of ForSyDe is to combine a formal base in form of analyzable models of computation (MoCs) with predictable platforms that can give service guarantees. ForSyDe supports several MoCs in form of modeling libraries and also provides tools for design space exploration (DSE) and hardware synthesis.
This project addresses the design of mixed-criticality systems, where several applications with individ- ual criticality levels and design constraints shall be implemented on a shared distributed multiprocessor platform. In this context, design space exploration is a critical activity to determine a suitable efficient implementation, where all applications can meet their individual design constraints. The project shall ana- lyze how ForSyDe’s current design space exploration tool can be extended to support additional MoCs and more realistic and distributed multiprocessor architectures for mixed-critical systems with emphasis on the avionics domain.
The project is a pre-study, which shall give preliminary answers to several research questions. Based on the result of this seed project, the goal is to formulate a larger project that implements a new version of a DSE tool that has the capabability to target realistic avionics systems. Currently, the DSE tool supports only the synchronous data flow MoC and a multiprocessor that communicates via a time division multiplex bus.
Scope: Design Space Exploration of Mixed-Criticality Applications
Main KTH Staff Involved: Ingo Sander, Christian Schulte
Other Partners: SAAB