Please go to the ECMDA 2008 registration website and submit your paper.
The Symposium takes place
June 13, 2008
between 9 a.m and 6 p.m
Fraunhofer Institute FOKUS
Kaiserin-Augusta-Allee 31
10589 Berlin
Germany
Prof. Dr. Ina Schieferdecker
Fraunhofer FOKUS
Kaiserin-Augusta-Allee 31
10589 Berlin
Tel.: +49 (0)30 3463 7241
Fax: +49 (0)30 3463 8241
ina
[dot] schieferdecker [at] fokus [dot] fraunhofer [dot] de
Program
|
09:00 - 09:30 |
Welcome Note: Quality Engineering for Embedded Systems |
|
09:30 - 10:30 |
Keynote: Developing Embedded Real-Time Systems for Automotive and Avionics Applications: the Speeds Approach |
| 10:30 - 11:00 | Coffee |
| Technical Session | |
|
11:00 - 11:30 |
The Hi-Five Framework: A Formal Framework for Specification-Based Embedded Real-Time System Engineering |
|
11:30 - 12:00 |
Improving quality factors in model based embedded software |
|
12:00 - 12:30 |
An Observer-based Compositional Approach for Testing of Distributed Protocols in Hostile Environments |
|
12:30 - 13:30 |
Model Checking with the Java ABC Framework - From METAGame to GEAR |
| 13:00 - 14:00 | Lunch |
|
Doctoral Session |
|
|
14:00 - 14:15 |
Model-Based Testing of Real-Time Embedded Systems for Automotive Domain |
|
14:15 - 14:30 |
An Approach to Real-Time Distributed TTCN-3 |
|
14:30 - 14.45 |
Fine Grained, Explicit, Consistent Variant Management for MOF based Models |
|
14:45 - 15:00 |
A model-driven approach for test selection of small size reactive systems: a process and a tool |
| Project Session | |
|
15:00 - 15:20 |
DEPLOY: industrial deployment of system engineering methods providing high dependability and productivity |
|
15:20 - 15:40 |
D-MINT: Deployment of Model-Based Technologies to Industrial Testing Download: Presentation Slides |
|
15:40 - 16:00 |
TestNgMed: Testing of Next Generation Medical Systems |
|
16:00 - 16:20 |
VATES: Practical Issues in the Verification of a Real-Time Operating System |
| 16:20 - 16:45 | Coffee |
|
16:45 - 17:45 |
Automotive Lab Tour
Tibor Farkas, Carsten Neumann, Justyna Zander-Nowicka, Andreas Hinnerichs (Fraunhofer FOKUS, Germany) |
| 17:45 - 18:00 | Closing |
Keynote Speaker
Werner Damm, Oldenburg
Prof. Werner Damm holds the Chair for Safety Critical Embedded Systems at the Carl von Ossietzky University of Oldenburg. He is member of the Board of Directors of OFFIS, the Chairman of the SafeTRANS competence cluster, integrating leading companies and research institutes in the transportation domain, Chairman of the Steering Board of EICOSE (European Institute for Complex Safety Critical Systems Engineering), the “Artemis Innovation Cluster on Transportation”, and member of the ITEA2 Roadmap3 Steering Board.
His recent research covers foundational research on mathematical models of embedded systems, specification languages, hybrid systems, formal verification methods, and real-time and safety analysis. This is complemented by applied research with industrial partners in avionics, automotive, and train system application. The focus of this research is on enhancing model-based development processes with formal method-based approaches to verification, testing, and safety and real-time analysis, as well as on enabling component-based design for embedded systems.
Important dates
| Submissions due by: | April 15, 2008 |
| Notification of acceptance: | May 5, 2008 |
| Camera-Ready for Symposium Proceedings: | May 15, 2008 |
| Symposium: | June 13, 2008 |
| Camera-Ready for STTT: | August 31, 2008 |
| back top |
Please go to the ECMDA 2008 registration website and submit your paper.
The Symposium takes place
June 13, 2008
between 9 a.m and 6 p.m
Fraunhofer Institute FOKUS
Kaiserin-Augusta-Allee 31
10589 Berlin
Germany
Prof. Dr. Ina Schieferdecker
Fraunhofer FOKUS
Kaiserin-Augusta-Allee 31
10589 Berlin
Tel.: +49 (0)30 3463 7241
Fax: +49 (0)30 3463 8241
ina
[dot] schieferdecker [at] fokus [dot] fraunhofer [dot] de