Dr. Ingo Stierand Senior Researcher

Dr. Ingo Stierand
Kontaktdaten
Tätigkeiten

Position im OFFIS

Senior Researcher

Forschungsbereiche

Verkehr / Safety & Security Oriented Design Methods & Processes

Competence Center

Dependable Systems, Embedded Systems Design Automation

Forschungsinteresse

Modellierung und Verifikation von Echtzeitsystemen
Architekturen sicherheitskritischer Systeme
News

+49 441 9722-527

ingo.stierand(at)offis.de

O111/112

OFFIS
Escherweg 2
26121 Oldenburg

Publikationen
von Dr. Ingo Stierand

2017

Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; October / 2017

2016

Computational Analysis of Complex Real-Time Systems - FMTV 2016 Verification Challenge

Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp; International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS); 1 / 2016

BIB

2015

Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2015

BIB

2014

Evaluation of a State-based Real-Time Scheduling Analysis Technique

Henkler, Stefan and Gezgin, Tayfun and Stierand, Ingo and Rettberg, Achim; International Conference on Industrial Informatics (INDIN2014); July / 2014

BIB
Impact Analysis for Timing Requirements on Real-Time Systems

Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim; The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014); August / 2014

BIB
Integrating the Security Aspect into Design Space Exploration of Embedded Systems

Stierand, Ingo and Malipatlolla, Sunil and Fröschle, Sibylle and Stühring, Alexander and Henkler, Stefan; The 2nd IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014); November / 2014

BIB
Virtual Integration of Real-Time Systems based on Resource Segregation Abstraction

Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2014

BIB

2013

A Design Space Exploration Tool Demonstration for Automotive Systems

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike; 01 / 2013

BIB
Compositional Timing Analysis of Real-Time Systems based on Resource Segregation Abstraction

Reinkemeier, Philipp and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 06 / 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 06 / 2013

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

Malipatlolla, S. and Stierand, I.; International Embedded Systems Symposium (IESS); June / 2013

BIB
Exploiting Functional Models to Assess the Security Aspect in Embedded System Design

Stierand, Ingo and Malipatlolla, Sunil; Security in Computing and Communications; 2013

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; 05 / 2013

Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems

Stierand, Ingo and Reinkemeier, Philipp and Gezgin, Tayfun and Bhaduri, Purandar; Symposium on Industrial Embedded Systems (SIES); 06 / 2013

BIB
State-based scheduling analysis for distributed real-time systems

Gezgin, Tayfun and Stierand, Ingo and Henkler, Stefan and Rettberg, Achim; Design Automation for Embedded Systems; 07 / 2013

2012

Abstraction Techniques for Compositional State-based Scheduling Analysis

Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.; 10 / 2012

BIB
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Bücker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand, Ingo; System Specification and Design Languages - Selected Contributions from FDL 2010; 01 / 2012

Technical Viewpoint

Weber, Raphael and Reinkemeier, Philipp and Henkler, Stefan and Stierand, Ingo; Model-Based Engineering of Embedded Systems; 01 / 2012

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; 05 / 2011

BIB
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo; Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11); 09 / 2011

BIB
Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; Proc. International Symposium on Industrial Embedded Systems (SIES'11); 07 / 2011

BIB
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; 03 / 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

BIB
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 ; 03 / 2011

BIB

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

BIB
A Proposal for Real-time Interfaces in SPEEDS

Purandard Bhaduri and Ingo Stierand; 03 / 2010

BIB
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); 08 / 2010

BIB
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Büker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand Ingo; 09 / 2010

BIB

2009

Efficient Model-Checking for Real-Time Task Networks

Dierks, H., Metzner, A., Stierand, I.; 05 / 2009

BIB
Testing Real-Time Task Networks with Functional Extensions Using Model-Checking

Büker, Matthias and Metzner Alexander, Stierand, Ingo; 09 / 2009

BIB

2006

An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures.

Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.; Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium; 01 / 2006

BIB

2005

Scheduling Distributed Real-Time Systems by Satisfiability Checking

Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.; Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications.; 01 / 2005

BIB