Contrex Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties
Ziele
Bis heute werden missions- und sicherheitskritische Services in sogenannten „Systems of Systems“ (SoS) auf dedizierten und speziell für ihren Anwendungszweck entwickelten Hardware/Software-Plattformen ausgeführt. In der nahen Zukunft werden solche zuvor isolierten Systeme zunehmend offener werden, weil sie von nicht-kritischen Systemen aus zugreifbar werden oder mit ihnen eng kooperieren oder koexistieren müssen. Ein Beispiel ist die Integration von Smartphone-Apps in die Head Unit eines modernen Kraftfahrzeugs. Hinzu kommt noch die Möglichkeit kritische Services auf generischen und kostengünstigen Hardwareplattformen auszuführen, wo sie sich dann mit anderen nicht-kritischen Services HW- und SW-Ressourcen teilen. In der jüngsten Zeit hat es bereits signifikante Verbesserungen für den Entwurf solcher gemischt-kritischen Systeme gegeben. Dazu zählt der Entwurf von hoch-konfigurierbarer vorhersagbarer und leistungsfähiger Multi-Core Architekturen und System-on-Chips (SoCs), sowie Segregationstechniken durch Virtualisierung von Hardwareressourcen. Diese Techniken bieten eine Grundlage zur kompositionellen Zertifizierung gemischt-kritischer Systeme.
CONTREX wird diese wichtigen Grundlagen mit einer kompositionellen Analyse der extra-funktionalen Eigenschaften Realzeit, Leistung/Energie, Temperatur und Zuverlässigkeit ergänzen. Bei der Integration mehrere Anwendungen auf einem SoC begrenzen diese Eigenschaften die Integrationsfähigkeit maßgeblich, insbesondere wenn 1) die Anzahl der Anwendungen und Prozessorkerne pro Plattform weiter nach oben skaliert wird, 2) batteriebetriebene Geräte mit einem limitierten Energievorrat benutzt werden und 3) kleinere Chipfertigungstechnologien, welche Empfindlicher bzgl. Alterung und Abnutzung sind, eingesetzt werden sollen. Unter diesen besonderen Bedingungen ermöglicht CONTREX eine energie- und kosteneffiziente Integration gemischt kritischer Anwendungen mit unterschiedlichen extra-funktionalen Anforderungen durch kompositionelle Analyse- und Simulationstechniken. Um die Führungsrolle und die Wettbewerbsfähigkeit der europäischen Industrie zu stärken werden die in CONTREX entwickelten Methoden und Werkzeug in bestehende modell-basierte Entwurfsumgebungen, die für verschiedene Anwendungsbereiche und Zielplattformen angepasst werden können, integriert werden.
CONTREX wird sich auf Anforderungen aus der Automobil-, Luftfahrt- und Telekommunikationsindustrie konzentrieren und die Wirksamkeit der Methoden und Werkzeuge mithilfe drei unterschiedlicher industrieller Demonstratoren überprüfen. Aus den Demonstratoren heraus werden wertvolle Erkenntnisse zur Verbesserung der industriellen Entwurfspraxis, bestehender Industriestandards und Zertifizierungsverfahren erwartet.
Unser wirtschaftliches Ziel ist es, die Energieeffizienz um 20 % zu verbessern und die Kosten pro System um 30%, aufgrund einer effizienteren Nutzung der Ausführungsplattform, zu reduzieren.
Link
Weitere Informationen unter contrex.offis.de
Projektleitung Extern
Ralph GörgenWissenschaftliche Leitung
Kim Grüttner; Model-Implementation Fidelity in Cyber Physical System Design; 02 / 2017
Sören Schreiner and Ralph Görgen and Kim Grüttner and Wolfgang Nebel; 2016 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS); 07 / 2016
Philipp A. Hartmann and Kim Grüttner and Wolfgang Nebel; The 11th International Symposium on Applied Reconfigurable Computing (ARC'15); 04 / 2015
Sören Schreiner and Kim Grüttner and Sven Rosinger and Wolfgang Nebel; 18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015) ; 03 / 2015
Trujillo, Salvador and Obermaisser, Roman and Grüttner, Kim and Cazorla, Francisco J. and Perez, Jon; Proceedings of the Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES) Workshop; 03 / 2014
Henning Schlender and Sören Schreiner and Malte Metzdorf and Kim Grüttner and Wolfgang Nebel; Proceedings of the 2015 Workshop on Embedded and Cyber-Physical Systems Education (WESE); 10 / 2015
Enrico Costenaro, Domenik Helms, Nematollah Bidokhti, Adrian Evans, Maximilian Glorieux and Dan Alexandrescu; DAC - Design Automation Conference; 06 / 2015
Ralph Görgen and Kim Grüttner and Fernando Herrera and Pablo Penil and Julio Medina and Eugenio Villar andGianluca Palermo and William Fornaciari and Carlo Brandolese and Davide Gadioli and Sara Bocchio and Luca Ceva and Paolo Azzoni and Massimo Poncino and Sara Vinco and Enrico Macii and Salvatore Cusenza and John Favaro and Raul Valencia and Ingo Sander and Kathrin Rosvall and Davide Quaglia; Euromicro Conference on Digital System Design (DSD); 08 / 2016
Sören Schreiner and Kim Grüttner and Sven Rosinger; Proceedings of the 5th IEEE Workshop on Self-Organizing Real-Time Systems; 06 / 2014
Domenik Helms and Kim Grüttner and Reef Eilers and Malte Metzdorf and Kai Hylla and Frank Poppen and Wolfgang Nebel; Electronic System Level Synthesis Conference (ESLsyn), Proceedings of the 2014; 06 / 2014
Domenik Helms and Kim Grüttner and Reef Eilers and Malte Metzdorf and Kai Hylla and Frank Poppen and Wolfgang Nebel; Proceedings of The 2014 Electronic System Level Synthesis Conference (ESLsyn'14), May 31- Jun 01 2014, San Francisco, CA, USA; 05 / 2014
Kim Grüttner and Philipp A. Hartmann and Tiemo Fandrey and Kai Hylla and Daniel Lorenz and Stefan Stattelmann and Björn Sander and Oliver Bringmann and Wolfgang Nebel and Wolfgang Rosenstiel; Proceedings of International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Samos, Greece, July 14-17, 2014; 07 / 2014
Gregor Nitsche and Kim Grüttner and Wolfgang Nebel; Forum on specification & Design Languages (FDL 2014); 10 / 2014
Hartmann, Philipp A.; RAPIDO'14: 6th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools; 01 / 2014
Malte Metzdorf, Domenik Helms, Reef Eilers, Wolfgang Nebel; DATE - Design, Automation, and Test in Europe; 03 / 2015
Ralph Görgen and Philipp A. Hartmann and Wolfgang Nebel; Proceedings of DVCon Europe 2015; 11 / 2015
Oezlem Karaca, Alper Sen, Liana Musat, Binghao Bao, Oliver Keszocze, Gabriel Hjort Blindell, Christian Sauer, Gregor Nitsche, Leandro Gil, et al.; 01 / 2016
Sebastian Warsitz and Maher Fakih; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2016); 03 / 2016
Francisco J. Cazorla and Roman Obermaisser and Kim Grüttner; 11 / 2016
Kim Grüttner and Ralph Görgen and Sören Schreiner and Fernando Herrera and Pablo Penil and Julio Medina and Eugenio Villar and Gianluca Palermo and William Fornaciari and Carlo Brandolese and Davide Gadioli and Emanuele Vitali and Davide Zoni and Sara Bocchio and Luca Ceva and Paolo Azzoni and Massimo Poncino and Sara Vinco and Enrico Macii and Salvatore Cusenza and John Favaro and Raúl Valencia and Ingo Sander and Kathrin Rosvall and Nima Khalilzad and Davide Quaglia; Microprocessors and Microsystems - Embedded Hardware Design; 2017
Kim Grüttner and Philipp A. Hartmann and Tiemo Fandrey and Kai Hylla and Daniel Lorenz and Stefan Hauck-Stattelmann and Björn Sander and Oliver Bringmann and Wolfgang Nebel and Wolfgang Rosenstiel; International Journal of Parallel Programming; 2020
www.st.com
www.gmv.com
www.cobra-group.com
www.eurotech.com
www.intecs.it
www.ixtronics.com
www.edalab.it
www.doceapower.com
www.elet.polimi.it/index.jsp
www.polito.it
www.unican.es/index.html
www.kth.se
www.ecsi.org
www.st-polito.com
Laufzeit
Ende: 30.09.2016
Website des Projekts
Fördermittelgeber
GA: 611146
