Keynotes
- GENESYS - A generic architecture for embedded control systems
Presented by Hermann Kopetz, Vienna University of Technology - Practical formal validation method for interlocking or automated system
Presented by Marc Antoni, SNCF - Infrastructure Direction - Anomaly detection in event-based manufacturing systems using model generation
Presented by Dawn Tilbury, University of Michigan