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

booktitle

System Specification and Design Languages - Selected Contributions from FDL 2010

Alle Autoren

Bücker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand, Ingo

Year

2012

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

booktitle

Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)

Title of Conference

International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)

Alle Autoren

Büker, Matthias; Damm, Werner; Ehmen, Günter; Stierand, Ingo

Year

2011

Title

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

booktitle

Proc. International Symposium on Industrial Embedded Systems (SIES'11)

Title of Conference

International Symposium on Industrial Embedded Systems (SIES'11)

Alle Autoren

Büker, Matthias; Damm, Werner; Ehmen, Günter; Metzner, Alexander; Stierand, Ingo; Thaden, Eike

Year

2011

Title

Architecture Modeling

Title of Conference

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Year

2011

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

Title of Conference

Forum on Specification & Design Languages (FDL)

Alle Autoren

Büker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand Ingo

Year

2010

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

Title of Conference

ETFA 2009 - Emerging Technologies and Factory Automation 2009

Alle Autoren

Büker, Matthias; Metzner Alexander, Stierand, Ingo

Year

2009