DANSE Designing for Adaptability and evolutioN in System of systems Engineering

Goal

Systems of Systems consist of collections of (possibly independent, pre-existing, geographically distributed and following their own goals) constituent systems whose behaviours are coordinated to provide services and additional value with respect to their original intended operations. This kind of entities offer severe technical, management, and political challenges as witnessed by energy blackouts such as the one experienced by Italy in 2003 and the emergency management disaster in response to the hurricane Katrina in 2005. DANSE aims at developing new approaches to the design and management of the operation of SoS based on: 

  • advanced methodologies based on a new evolutionary, adaptive and iterative SoS life-cycle model; 
  • semantically sound models based on the notion of contracts;
  • innovative architectures that provide the infrastructure to allow the dynamic affiliation of components so that the behaviour of the ensemble is not disturbed; 
  • novel supporting tools for analysis, simulation, and optimization; 
  • organized in an integrated environment.

DANSE will develop training material and classes that help advance the knowledge base of European industry and government to allow the creation of new services and to substantially improve existing ones to levels of efficiency that are unthinkable today.
DANSE includes industrial representatives with focus on Aerospace and Land systems and Automotive, leading tools and framework provider in the system space and top European research institutes in system engineering. The partners have a deep interest in the outcome of the research and are eager to deploy them as soon as they become available. Three Test Cases which are real industrial problems planned for commercial development, have been identified to validate DANSE approach. 

Persons

Scientific Director

Publications
Reducing Re-Validation Efforts for Real-time Systems

Tayfun Gezgin Stefan Henkler Achim Rettberg; Model-Based Development of Embedded Systems (MBEES); 03 / 2015

State-Based Real-Time Analysis for Function Networks and Marte

Tayfun Gezgin Raphael Weber Matthias Büker; 18th IEEE Symposium on Real-Time Computing; 2015

Evaluation of a State-based Real-Time Scheduling Analysis Technique

Henkler, Stefan and Gezgin, Tayfun and Stierand, Ingo and Rettberg, Achim; International Conference on Industrial Informatics (INDIN2014); 0July / 2014

Impact Analysis for Timing Requirements on Real-Time Systems

Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim; The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014); 0August / 2014

Impact Analysis for Timing Requirements on Real-Time Systems

Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim; The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014); 2014

Multi-aspect Virtual Integration approach for Real-Time and Safety Properties

Gezgin, Tayfun and Oertel, Markus and Weber, Raphael; International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14); 10 / 2014

A Visual Logic for the Description of Highway Traffic Scenarios

Kemper, Stephanie and Etzien, Christoph; Proceeding of the Fourth International Conference on Complex Systems Design & Management CDS&M 2013; 12 / 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 006 / 2013

Contracts for Evolving Systems

Etzien, Christoph and Gezgin, Tayfun and Fröschle, Sibylle and Henkler, Stefan and Rettberg, Achim; 006 / 2013

State-based scheduling analysis for distributed real-time systems

Gezgin, Tayfun and Stierand, Ingo and Henkler, Stefan and Rettberg, Achim; Design Automation for Embedded Systems; 007 / 2013

A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations

Läsche, Christoph and Böde, Eckard and Peikenkamp, Thomas; Computer Safety, Reliability, and Security; 09 / 2012

Towards a Rigorous Modeling Formalism for Systems of Systems

Gezgin, Tayfun and Etzien Christoph and Henkler, Stefan, Rettberg, Achim; 004 / 2012

Partners
ALES Advanced Laboratory on Embedded Systems S.r.L.
www.ales.eu.com
INRIA
www.inria.fr
Loughborough University
www.lboro.ac.uk
Israel Aerospace Industries
www.iai.co.il
Carmeq GmbH
www.carmeq.de
EADS Deutschland GmbH (bis 31.05.2014 - danach Airbus Defence and Space GmbH)
www.eads.com
EADS Launch Vehicles, France
www.eads.net/eads/en
SODIUS SAS
www.sodius.com
Thales Communications
www.thalescomminc.com

Duration

Start: 31.10.2011
End: 30.10.2014

Website of project