SPES_XT Software Platform Embedded Systems 2020_XT

Ziele

Der drastische Anstieg des Umfangs, der Variantenvielfalt und der Komplexität von Systemen und Systemverbünden, die in ihrem Zusammenwirken oftmals einen hochinnovativen Mehrwert unter hohen Sicherheitsanforderungen erbringen, stellt das Engineering von Embedded Systems heutzutage vor gänzlich neue und nur schwer zu bewältigende Herausforderungen. Das beantragte Vorhaben zielt darauf ab, für ausgewählte Herausforderungen im Engineering von Embedded Systems industrietaugliche Lösungen zu entwickeln, die von Systemingenieuren verwendet werden können, um bestehende Probleme effizient, kontrollierbar und überprüfbar zu lösen. Das Vorhaben wird auf den Ergebnissen des SPES 2020-Projektes aufbauen.

Personen
Publikationen
A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design

Peter Battram and Bernhard Kaiser and Raphael Weber; 1st International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS); 03 / 2015

Proving Compliance of Implementation Models to Safety Specifications

Markus Oertel, Omar Kacimi, Eckard Boede; Computer Safety, Reliability, and Security; 09 / 2014

3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)

Bender, Ottmar and Böhm, Wolfgang and Henkler, Stefan and Sander, Dietmar and Vogelsang, Andreas and Weyer, Thorsten; Software Engineering; 001 / 2013

An Approach to Guide the System Engineer during the Design Space Exploration Process

Rosinger, Maike and Büker, Matthias and Weber, Raphael; Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.; 2015

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

Tayfun GezginRaphael WeberMatthias Büker; 18th IEEE Symposium on Real-Time Computing; 2015

Scheduling of Real-Time Networks with a Column Generation Approach

Althaus, Ernst and Hoffmann, Sebastian and Kupilas, Joschka and Thaden, Eike; IAENG Transactions on Engineering Technologies - Special Issue of the World Congress on Engineering and Computer Science (WCECS) 2012; 001 / 2014

From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Janssen, Detlef and Stierand, Ingo and Thaden, Eike; SAE International Journal of Passenger Cars- Electronic and Electrical Systems; 005 / 2013

Verifying Properties of an Electro-Mechanical Braking System

Thomas Strathmann and Jens Oehlerking; 2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015); 04 / 2015

Reducing Re-Validation Efforts for Real-time Systems

Tayfun GezginStefan HenklerAchim Rettberg; Model-Based Development of Embedded Systems (MBEES); 03 / 2015

A Compositional Safety Specification Using a Contract-Based Design Methodology

Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim; International Conference on Performance, Safety and Robustness in Complex Systems and Applications; 2015

A User-Supported Approach to Determine the Importance of Optimization Criteria for Design Space Exploration

Rosinger, Maike and Büker, Matthias and Weber, Raphael; Proceedings of IDEAL'14 Workshop; 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

Multi-Objective Design Space Exploration for Cyber-Physical Systems satisfying hard Real-Time and Reliability Constraints

Weber, Raphael and Henkler, Stefan and Rettberg, Achim; Proceedings of IDEAL'14 Workshop; 2014

Design Space Exploration for an industrial Lane-Keeping-Support Case Study

Weber, Raphael and Thaden, Eike and Henkler, Stefan and Höfflinger, Jens and Prochnow, Steffen; Proceedings of DATE Conference - University Booth; 2014

SPEM 2.0 as Process Baseline Meta-Model for the Development and Optimization of Complex Embedded Systems

Baumgarten, Guilherme and Rosinger, Maike and Todino, Anna and Marín, Rubén de Juan; Inproceedings of the 2015 IEEE International Symposium on Systems Engineering (ISSE); 09 / 2015

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Kaiser, Bernhard and Weber, Raphael and Oertel, Markus and Böde, Eckard and Nejad, Behrang Monajemi and Zander, Justyna; Complex Systems Informatics and Modeling Quarterly; 2015

Early Validation of Engineering Artifacts

Albers, Karsten AND Battram, Peter AND Bognar, Alfred AND Brandstetter, Veronika AND Froese, Andreas AND Tenbergen, Bastian AND Vogelsang, Andreas AND Wegener, Joachim; Advanced Model-Based Engineering of Embedded Systems; 2016

Verification of Systems in Physical Contexts

Oehlerking, Jens AND Strathmann, Thomas; Advanced Model-Based Engineering of Embedded Systems; 2016

SPES XT Systems Engineering Extensions

Böhm, Wolfgang AND Henkler, Stefan AND Houdek, Frank AND Vogelsang, Andreas AND Weyer, Thomas; Advanced Model-Based Engineering of Embedded Systems; 2016

System Function Networks

Albers, Karsten AND Beck, Stefan AND Büker, Matthias AND Daun, Marian AND MacGregor, John AND Salmon, Andrea AND Weber, Raphael AND Weyer, Thorsten; Advanced Model-Based Engineering of Embedded Systems; 2016

Optimal Deployment

Albers, Karsten and Büker, Matthias and Dieudonné, Laurent and Hilbrich, Robert and Igna, Georgeta and Kugele, Stefan and Kuhn, Thomas and Rosinger, Maike and Weber, Raphael; Advanced Model-Based Engineering of Embedded Systems; 2016

The SPES XT Tool Platform

Albers, Karsten AND Gürsoy, Ömer AND Henkler, Stefan AND Schulze, Michael AND Tenbergen, Bastian AND Terfloth, Axel AND Weber, Raphael; Advanced Model-Based Engineering of Embedded Systems; 2016

Modular Safety Assurance

Boyer, Arnaud AND Tenbergen, Bastian AND Velasco, Santiago AND Antonio, Pablo AND Battram, Peter AND Buono, Suryo AND Kaiser, Bernhard AND Zander, Justyna AND Bizik, Kai AND Prohaska, Alexander AND Käßmeyer, Michael; Advanced Model-Based Engineering of Embedded Systems; 2016

Partner
Airbus Germany
www.airbus.com
Audi Electronics Venture GmbH
www.audi-electronics-venture.de
Berner & Mattner Systemtechnik GmbH
www.bernermattner.de
Robert Bosch GmbH
www.bosch.de
CASSIDIAN SAS (bis 30.07.2014 - danach Airbus Defence and Space Ltd.)
www.cassidian.com
Daimler AG
www.daimler.com
EADS Innovation Works
www.eads.com
Liebherr Aerospace Lindenberg GmbH
pure-systems GmbH
www.pure-systems.com/
TU München
www.tum.de
fortiss GmbH
www.fortiss.org
Fraunhofer-Institut für Experimentelles Software Engineering IESE
www.iese.fraunhofer.de
Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST
www.first.fraunhofer.de
TU Kaiserslautern
www.uni-kl.de
Universität Duisburg-Essen - paluno – The Ruhr Institute for Software Technology
paluno.uni-due.de

Laufzeit

Start: 01.05.2012
Ende: 30.04.2015

Verwandte Projekte

SPES 2020

Software Plattform Embedded Systems 2020