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

Buchtitel

System Specification and Design Languages - Selected Contributions from FDL 2010

Alle Autoren

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

Jahr

2012

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

Buchtitel

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

Titel der Konferenz

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

Alle Autoren

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

Jahr

2011

Titel

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

Buchtitel

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

Titel der Konferenz

International Symposium on Industrial Embedded Systems (SIES'11)

Alle Autoren

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

Jahr

2011

Titel

Architecture Modeling

Titel der Konferenz

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

Jahr

2011

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

Titel der Konferenz

Forum on Specification & Design Languages (FDL)

Alle Autoren

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

Jahr

2010

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

Titel der Konferenz

ETFA 2009 - Emerging Technologies and Factory Automation 2009

Alle Autoren

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

Jahr

2009