SPES 2020 Software Plattform Embedded Systems 2020 (sorry - only available in German)

Goal

Ziel ist eine stärkere vereinheitlichte und domänenübergreifende, durchgängige und

leistungsfähige Methodik für die Entwicklung eingebetteter Systeme, die gleichermaßen in

verschiedenen Anwendungsdomänen signifikante Beiträge zur Beherrschung eingebetteter

Systeme leistet.

Persons

Scientific Director

Publications
Der SPES 2020-Architektur-Modellierungsansatz

Henkler, Stefan; 007 / 2012

Introduction to the SPES Modeling Framework

Prof. Dr. Manfred Broy, Prof. Dr. Werner Damm, Dr. Stefan Henkler, Prof. Dr. Klaus Pohl, Andreas Vogelsang, Dr. Thorsten Weyer ; Model-Based Engineering of Embedded Systems; 12 / 2012

Technical Viewpoint

Weber, Raphael and Reinkemeier, Philipp and Henkler, Stefan and Stierand, Ingo; Model-Based Engineering of Embedded Systems; 11 / 2012

A Column Generation Approach to Scheduling of Periodic Tasks

Althaus, Ernst and Naujoks, Rouven and Thaden, Eike; Experimental Algorithms - 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings; 005 / 2011

A Refinement Checking Technique for Contract-Based Architecture Designs

Gezgin, Tayfun and Weber, Raphael and Girod, Maurice; 10 / 2011

Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too (TR)

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; 003 / 2011

Compositionality with Strong Assumptions

Hungar, Hardi; 11 / 2011

Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints

Clark, Brian and Stierand, Ingo and Thaden, Eike; Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011); 11 / 2011

A System for Seamless Abstraction Layers for Model-based Development of Embedded Software

Thyssen, Judith and Ratiu, Daniel and Schwitzer, Wolfgang and Harhurin, Alexander and Feilkas, Martin and Thaden, Eike; Proceedings of Envision 2020 Workshop; 002 / 2010

Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion

Thaden, Eike and Lipskoch, Henrik and Metzner, Alexander and Stierand, Ingo; Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA); 008 / 2010

Partners
RWE Energy AG
Vector Informatik GmbH
www.vector.com/vi_index_de.html
Universität Paderborn, Paderborn Center for Parallel Computing (PC2)
pc2.uni-paderborn.de/
Universität Duisburg-Essen - Forschungsgruppe Verlässlichkeit von Rechensystemen
dc.informatik.uni-essen.de/
TeCNet GmbH
TU München
www.tum.de
TU Kaiserslautern
www.uni-kl.de
SWM Services GmbH
Airbus Germany
www.airbus.com
Robert Bosch GmbH
www.bosch.de
Liebherr Aerospace Lindenberg GmbH
ITPower Solutions GmbH
www.itpower.de
Hella GmbH & Co. KGaA
www.hella.com/
Fraunhofer-Institut für Experimentelles Software Engineering IESE
www.iese.fraunhofer.de
Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST
www.first.fraunhofer.de
Embedded4You e.V.
www.embedded4you.com
EADS Deutschland GmbH (bis 31.05.2014 - danach Airbus Defence and Space GmbH)
www.eads.com
Berlin Heart GmbH
www.berlinheart.de

Duration

Start: 31.10.2008
End: 30.01.2012

Related projects

COMBEST

Component-based Embedded Systems Design Techniques

SPEEDS

Speculative and Exploratory Design in Systems Engineering