Application Architecture Design & Validation

Connected systems such as vehicles and industrial controls are becoming more complex. And while software is rapidly taking over increasing numbers of functions, these systems must operate reliably at all times, even in critical environments.

Fraunhofer ESK plays a key role here by validating the functionality of the architectures and distributed services. We help industry partners realize Internet of Things solutions by designing and analyzing architectures for instance. To do this we also rely on methods-based design and the testing and validation of distributed services, such as in the field of connected mobility.

Our researchers adapt web- and domain-specific protocols to the technological requirements of connected systems, such as for cloud-based industrial solutions. We also carry out troubleshooting analyses and conformance testing on connected, embedded systems, thus increasing the reliability of your solutions.

Publications

Here you can find the publications of the group Application Architecture Design & Validation.

YearTitle/AuthorDocument Type
2018Resumption of runtime verification monitors: Method, approach and application
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Journal Article
2018Evaluation of Traffic Control Systems as ITS Infrastructure for Automated Driving
Franze, Juliane; Seydel, Dominique; Weiß, Gereon; Haspel, Ulrich
Conference Paper
2018Adaptive, vernetzte, eingebettete Systeme. Modellierung des Energiebedarfs
Heinrich, Patrick; Knorr, Rudi (Erstgutachter); Ungerer, Theo (Zweitgutachter)
Dissertation
2018Cloud-based industrial control services: The next generation PLC
Langmann, Reinhard; Stiller, Michael
Conference Paper
2018Verification of network end-to-end latencies for adaptive ethernet-based cyber-physical systems
Manderscheid, Martin; Weiß, Gereon; Knorr, Rudi
Journal Article
2018A Rapid Innovation Framework for Connected Mobility Applications: High Performance Center Connected Secure Systems. Fraunhofer AISEC, EMFT & ESK
Pöhn, Daniela; Wessel, Sascha; Fischer, Felix; Braunsdorf, Oliver; Wenninger, Franz; Seydel, Dominique; Weiß, Gereon; Roscher, Karsten; Freese-Wagner, Manuela (Hrsg.) ; Fraunhofer-Einrichtung für Angewandte und Integrierte Sicherheit -AISEC-, Garching; Fraunhofer-Einrichtung für Mikrosysteme und Festkörper-Technologien -EMFT-, München; Fraunhofer-Institut für Eingebettete Systeme und Kommunikationstechnik -ESK-, München
Study
2018Überführung der Industrie 4.0 Verwaltungsschale in die Praxis anhand zweier industrieller Anwendungen
Schelter, Christian
Conference Paper
2018Rapid Innovation Toolkit for the development of dependable cooperative applications
Seydel, Dominique; Weiß, Gereon
Conference Paper
2018Safety & security testing of cooperative automotive systems
Seydel, Dominique; Weiß, Gereon; Pöhn, Daniela; Wessel, Sascha; Wenninger, Franz
Conference Paper
2018A comparison of current web protocols for usage in cloud based automation systems
Shekhada, Dhavalkumar; Stiller, Michael; Salvi, Aniket
Conference Paper
2018Cloud-Dienste für die Industrie. Von aktuellen Angeboten bis hin zu künftigen Lösungen mit der Industrie 4.0-Verwaltungsschale: Vortrag gehalten auf dem Workshop Smart Automation. Cloud-basierte Steuerungsdienste und Anwendungen, 11.01.2018 am Fraunhofer ESK, München
Stiller, Michael
Presentation
2018Damit Roboter nicht aus der Reihe tanzen: Echtzeitanalyse und Monitoring für ROS: Vortrag gehalten auf der Automatica 2018, 18.06.2018, München
Stiller, Michael
Presentation
2018Towards integrating undependable self-adaptive systems in safety-critical environments
Weiß, Gereon; Schleiß, Philipp; Schneider, Daniel; Trapp, Mario
Conference Paper
2017Automated configuration of time-critical multi-configuration AUTOSAR systems
Chandmare, Kunal; Hardt, Wofram (Supervisor); Bergelt, René (Supervisor); Schleiß, Philipp (Supervisor)
Master Thesis
2017DANA - Description and Analysis of Networked Applications
Drabek, Christian; Weiß, Gereon
Conference Paper
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2017Evaluation of traffic control systems as ITS infrastructure for automated driving: Paper presented at INTSYS 2017, Intelligent Transport Systems. From research and development to the market uptake, November 29-30, 2017, Helsinki, Finland
Franze, Juliane; Seydel, Dominique; Weiß, Gereon; Haspel, Ulrich
Conference Paper
2017Der Befehl aus der Cloud: SPS-Steuerung aus der Cloud
Langmann, Reinhard; Stiller, Michael
Journal Article
2017Cloud-basiert steuern - aber wie?
Langmann, Reinhard; Stiller, Michael
Journal Article
2017Cloud-basiert steuern - aber wie?
Langmann, Reinhard; Stiller, Michael
Journal Article
2017Industrial Cloud – Status und Ausblick
Langmann, Reinhard; Stiller, Michael
Book Article
2017Steuerungsdienste aus der Cloud auf Basis IEC 61131: SPS der nächsten Generation?
Langmann, Reinhard; Stiller, Michael
Journal Article
2017Design and prototyping of self-learning methods for semi-automated model creation as a reference behavior in distributed embedded system
Salvi, Aniket; Potluri, Sasanka (Supervisor); Stiller, Michael (Supervisor)
Master Thesis
2017Integration of highly-automated driving functions with fail-operational properties: Presentation held at safe.tech 2017, 25.-26. April 2017, München
Schleiß, Philipp
Presentation
2017Generic management of availability in fail-operational automotive systems
Schleiß, Philipp; Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2017Industrie 4.0 - Motivation, Status und Perspektiven: Vortrag gehalten auf der Veranstaltung Deutsch-Chinesische Zusammenarbeit. Industrie 4.0 - Intelligente Fertigung. Internationales Investitions- und Kooperationsforum, 26.06.2017, München
Stiller, Michael
Presentation
2017Absicherung vernetzter IoT-Funktionen mit selbstlernenden Modellen: Paper präsentiert auf der Konferenz "Internet of Things - vom Sensor bis zur Cloud", 19. Oktober 2017, München
Weiß, Gereon; Drabek, Christian
Presentation
2017Safe adaptation for reliable and energy-efficient E/E architectures
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian; Ruiz, Alejandra; Radermacher, Ansgar
Book Article
2017Software implementieren und absichern: Mit Modellierung zum schnelleren Prototyping
Weiß, Gereon; Jiru, Josef
Journal Article
2017Verlässliche Adaptive Software-Architekturen im Auto: Von Fail-Silent zu Fail-Operational
Weiß, Gereon
Journal Article
2016Flexibel steuern mit der Datenwolke
Langmann, Reinhard; Stiller, Michael
Journal Article
2016Konzept und Implementierung einer I40-Komponente für Steuerungen aus der Cloud
Langmann, Reinhard; Shekhada, Dhavalkumar; Stiller, Michael
Conference Paper
2016Entwicklung ausfallsicherer Funktionen mit AUTOSAR
Schleiß, Philipp
Conference Paper
2016A comparison of current web protocols for usage in cloud based automation systems
Shekhada, Dhavalkumar; Stiller, Michael; Salvi, Aniket
Conference Paper
2016IEC61131 & Industrial Internet of Things - Bewährte Praxis mit zukunftsfähigen Technologien verbinden: Vortrag gehalten auf der 4. VDI Fachtagung Industrie 4.0, 28. Januar 2016, Düsseldorf
Stiller, Michael; Langmann, Reinhard
Presentation
2016Klassische Steuerungstechnik im Zeitalter der Cloud: Vortrag gehalten auf dem Fachforum Industrie 4.0, 31.05.2016, Nördlingen
Stiller, Michael; Langmann, Reinhard
Presentation
2016Absicherung von komplexen Software-Komponenten vernetzter Fahrzeuge
Weiß, Gereon; Drabek, Christian
Conference Paper
2016Adaptive Software-Architekturen für automatisierte Systeme: Fail-Operational: Wie hochautomatisierte Funktionen trotz Fehler funktionieren
Weiß, Gereon; Schleiß, Philipp
Conference Paper
2016Fail-operational in-vehicle E/E-architectures - dependable basis for automated driving: Presentation held at Euroforum International Conference Automotive Software Development, 05-06 September 2016, Munich, Germany
Weiß, Gereon; Klein, Cornel
Presentation
2016Neue Konzepte für zukünftige E/E-Architekturen
Weiß, Gereon; Rosenthal, Thorsten
Journal Article
2016Towards flexible and dependable E/E-architectures for future vehicles
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian
Conference Paper
This publication list has been generated from the publication database Fraunhofer-Publica.