Framework for safety assessment of autonomous driving functions up to SAE level 5 by self-learning iteratively improving control loops between development, safety and field life cycle phases.

[BibT_eX]

[DOI]

Ivo Häring

Florian Lüttner

Andreas Frorath

Mirjam Fehling-Kaschek

Proceedings of the 17th IEEE International Conference on Intelligent Computer Communication and Processing, 2021

2020

Lemons: Leveraging Model-Based Techniques to Enable Non-Intrusive Semantic Enrichment in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

JIT-Based Context-Sensitive Timing Simulation for Efficient Platform Exploration.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Ontology-based Requirements Transformation.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Systems Engineering, 2019

Demonstration of a Toolchain for Feature Extraction, Analysis and Visualization on an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

SIMULTime: Context-sensitive timing simulation on intermediate code representation for rapid platform explorations.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018

Mission profile-based assessment of semiconductor technologies for automotive applications.

[BibT_eX]

[DOI]

Microelectron. Reliab., 2018

Model-guided Security Analysis of Interconnected Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Ontology-Supported Design Parameter Management for Change Impact Analysis.

[BibT_eX]

[DOI]

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Attack Surface Modeling and Assessment for Penetration Testing of IoT System Designs.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

2017

Precise Software Timing Simulation Considering Execution Contexts.

[BibT_eX]

[DOI]

Oliver Bringmann

Sebastian Ottlik

Alexander Viehl

Proceedings of the Handbook of Hardware/Software Codesign., 2017

Energy-Efficiency Optimization of Torque Vectoring Control for Battery Electric Vehicles.

[BibT_eX]

[DOI]

IEEE Intell. Transp. Syst. Mag., 2017

Reasoning-Supported Robustness Validation of Automotive E/E Components.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2017

SEMF - The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Verification of Component Fault Trees Using Error Effect Simulations.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Digital Space Systems Engineering through Semantic Data Models.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Context-sensitive timing automata for fast source level simulation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Ontology-Based Design of Space Systems.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

SCDML: A Language for Conceptual Data Modeling in Model-based Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

A Methodology for Deriving Conceptual Data Models from Systems Engineering Artefacts.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

Impact analysis of AUTOSAR energy saving mechanisms for automotive networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

Safety consideration in state-based power optimization with partial networking - A case study.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

An application case study of state-based power optimization with partial networking.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Fault injection ecosystem for assisted safety validation of automotive systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Adaptive Control of the Heating System for Optimized Energy Consumption in Electric Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Combining graph-based guidance with error effect simulation for efficient safety analysis.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Trace-based context-sensitive timing simulation considering execution path variations.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Fast Software Performance Evaluation for Embedded Hardware in Componentbased Embedded Systems.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

On Languages for Conceptual Data Modeling in Multi-disciplinary Space Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

Improved energy efficiency and vehicle dynamics for battery electric vehicles through torque vectoring control.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

State-based power optimization using mixed-criticality filter for automotive networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Exploiting Pretended Networking for Energy Saving in Automotive Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Safe and Efficient Runtime Resource Management in Heterogeneous Systems for Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

White-Box Error Effect Simulation for Assisted Safety Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

Virtual prototyping evaluation framework for automotive embedded systems engineering.

[BibT_eX]

[DOI]

Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

HVAC system modeling for range prediction of electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

Energy-efficient torque distribution for axle-individually propelled electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

STELLaR - A case-study on SysTEmaticaLLy embedding a Traffic Light Recognition.

[BibT_eX]

[DOI]

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Battery aging estimation for eco-driving strategy and electric vehicles sustainability.

[BibT_eX]

[DOI]

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Sicherstellen semantischer Integrität im Big Data Umfeld - Problemstellung und Lösungsansatz.

[BibT_eX]

[DOI]

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Mission profile aware robustness assessment of automotive power devices.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Execution cost estimation for software deployment in component-based embedded systems.

[BibT_eX]

[DOI]

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Context-sensitive timing simulation of binary embedded software.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Compilers, 2014

Constraint-based platform variants specification for early system verification.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Advanced driver assistance system for optimized recuperation under consideration of parameter uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013

Advanced features for industry-level logging and tracing of C-based designs.

[BibT_eX]

[DOI]

Proceedings of the 2013 Forum on specification and Design Languages, 2013

Shared memory aware MPSoC software deployment.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Reliability assessment of safety-relevant automotive systems in a model-based design flow.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Quantitative Synchronisationsanalyse kommunizierender Prozesse zum Echtzeitnachweis verteilter eingebetteter Systeme.

[BibT_eX]

[DOI]

Alexander Viehl

PhD thesis, 2012

Model-driven virtual prototyping for real-time simulation of distributed embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Combining instruction set simulation and WCET analysis for embedded software performance estimation.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Optimized software mapping for advanced driver assistance systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Distance-Constrained Force-Directed Process Mapping for MPSoC Architectures.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Stereo depth map computation on a Tilera TILEPro64 embedded multicore processor.

[BibT_eX]

[DOI]

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Parallel video-based traffic sign recognition on the Intel SCC many-core platform.

[BibT_eX]

[DOI]

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2010

Reconstructing Line References from Optimized Binary Code for Source-Level Annotation.

[BibT_eX]

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Towards assertion-based verification of heterogeneous system designs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

2009

White box performance analysis considering static non-preemptive software scheduling.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Bottom-up performance analysis considering time slice based software scheduling at system level.

[BibT_eX]

[DOI]

Alexander Viehl

Michael Pressler

Oliver Bringmann

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2008

Analysis of Non-functional Properties of MPSoC Designs.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Integrated Requirement Evaluation of Non-Functional System-on-Chip Properties.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

High-performance timing simulation of embedded software.

[BibT_eX]

[DOI]

Proceedings of the 45th Design Automation Conference, 2008

2007

A Hybrid Approach for System-Level Design Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Probabilistic performance risk analysis at system-level.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Control-Flow Aware Communication and Conflict Analysis of Parallel Processes.

[BibT_eX]

[DOI]

Axel Siebenborn