SPES 2020 Software Plattform Embedded Systems 2020

Ziele

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.

Personen

Wissenschaftliche Leitung

Publikationen
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 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

A model-based design methodology with contracts to enhance the development process of safety-critical systems

Baumgart, Andreas and Reinkemeier, Philipp and Rettberg, Achim and Stierand, Ingo and Thaden, Eike and Weber, Raphael; Proceedings of the 8th IFIP International Conference on Software Technologies for embedded and ubiquitous Systems (SEUS); 10 / 2010

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and ; 003 / 2011

A pattern-based requirement specification language: Mapping automotive specific timing requirements

Reinkemeier, Philipp and Stierand, Ingo and Rehkop, Philip and Henkler, Stefan; Software Engineering 2011 Workshopband; 005 / 2011

Compositionality with Strong Assumptions

Hungar, Hardi; 11 / 2011

A Refinement Checking Technique for Contract-Based Architecture Designs

Gezgin, Tayfun and Weber, Raphael and Girod, Maurice; 10 / 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

Architecture Modeling

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber; 03 / 2011

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

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

Partner
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

Laufzeit

Start: 01.11.2008
Ende: 31.01.2012

Website des Projekts

Verwandte Projekte

COMBEST

Komponentenbasierte Entwurfsmethoden für eingebettete Systeme

SPEEDS

Speculative and Exploratory Design in Systems Engineering