Distributed Jointly Operating Networks (Academy of Finland)

The main objective of DIJON is to extend the applicability of the top-down system approach to develop a methodology that supports component-based correct-by-construction design of networked systems. We plan to develop the fundamental aspects for such an extension including e.g. atomicity and fairness issues of concurrently executing components, as well as their fault-tolerance, self- healing and re-configurability aspects. Especially for the hardware platforms several non-functional requirements for components like timing and estimation of energy consumption and area complexity from formal system models are important. Furthermore, we intend to create high-level language constructs and design patterns from these fundamental aspects. The group at Åbo Akademi University specialises in the design methodology for systems and software while the group at University of Turku develops methods to design hardware, mainly digital single-chip systems and implementation platforms.