Markus Oertel
Markus Oertel
Researcher, OFFIS e.V.
Bestätigte E-Mail-Adresse bei offis.de
Titel
Zitiert von
Zitiert von
Jahr
CESAR: Cost-efficient methods and processes for safety-relevant embedded systems
A Rajan, T Wahl
Springer, 2013
612013
Integrated tool-chain for improving traceability during the development of automotive systems
E Armengaud, M Biehl, Q Bourrouilh, M Breunig, S Farfeleder, C Hein, ...
Proceedings of the 2012 embedded real time software and systems conference, 1-10, 2012
222012
Contract-based design of embedded systems integrating nominal behavior and safety
B Kaiser, R Weber, M Oertel, E Böde, BM Nejad, J Zander
Complex Systems Informatics and Modeling Quarterly, 66-91, 2015
212015
Architecture modeling
A Baumgart, E Böde, M Büker, W Damm, G Ehmen, T Gezgin, S Henkler, ...
OFFIS eV, Oldenburg, Technical Report, 2011
212011
Contract-based Safety: Specification and Application Guidelines
M Oertel, A Mahdi, E Böde, A Rettberg
1st International Workshop on Emerging Ideas and Trends in Engineering of …, 2014
92014
Multi-aspect virtual integration approach for real-time and safety properties
T Gezgin, R Weber, M Oertel
International Workshop on Design and Implementation of Formal Tools and …, 2014
82014
Reusing a Functional Safety Concept in Variable System Architectures.
M Oertel, M Schulze, T Peikenkamp
ACESMB@ MoDELS, 16-25, 2014
82014
Creating a Reference Technology Platform: Performing Model-based Safety Analysis in an Heterogeneous Development Environment
O Kacimi, C Ellen, M Oertel, D Sojka
MODELSWARD 2014, 2014
82014
SPES2020 Architecture Modeling
W Damm, H Hungar, S Henkler, I Stierand, B Josko, P Reinkemeier, ...
SPES2020 Deliverable D 3, 2011
82011
Requirements engineering
M Ortel, M Malot, A Baumgart, JS Becker, R Bogusch, S Farfeleder, ...
CESAR-Cost-efficient Methods and Processes for Safety-relevant Embedded …, 2013
72013
Design of a real-time optimized emulation method
T Kerstan, M Oertel
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
72010
RE Language Definitions to formalize multi-criteria requirements V2
A Mitschke, N Loughran, B Josko, M Oertel, P Rehkop, S Häusler, ...
The CESAR Consortium, Tech. Rep, 2010
72010
Proving compliance of implementation models to safety specifications
M Oertel, O Kacimi, E Böde
International Conference on Computer Safety, Reliability, and Security, 97-107, 2014
62014
Reducing re-verification effort by requirement-based change management
M Oertel, A Rettberg
International Embedded Systems Symposium, 104-115, 2013
62013
First results of automatic fault-injection in an AUTOSAR tool-chain
G Baumgarten, M Oertel, A Rettberg, G Marcelo
2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014
52014
Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis
M Oertel, B Josko
Embedded World 2012 Exhibition and Conference, 3-7, 2012
42012
Simulative evaluation of contract-based change management
M Oertel, S Gerwinn, A Rettberg
2014 12th IEEE International Conference on Industrial Informatics (INDIN), 16-21, 2014
32014
A reference technology platform with common interfaces for distributed heterogeneous data
A Baumgart, C Ellen, M Oertel, P Rehkop, S Farfeleder, S Schulz
Proceedings of the of the Embedded World 2012 Exhibition and Conference, 2012
32012
A multi-domain platform of safety process methods and tools for critical embedded systems.
JP Blanquart, E Armengaud, P Baufreton, Q Bourrouilh, J Machrouh, ...
Embedded Real Time Software and Systems (ERTS2012), 2012
32012
Automatic transition between structural system views in a safety relevant embedded systems development process
C Ellen, C Etzien, M Oertel
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012
22012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20