ASCoMS’14 Workshop
3rd Workshop on Architecting Safety in Collaborative Mobile Systems Monday, September 8th
Firenze, Italy
The Workshop will be held at “Palazzo Coppini – Komech room”, Via del Giglio, 10 – Firenze The registration will take place at Auditorium al Duomo Florence – Via de Cerretani 54/r – Firenze
|
||
---|---|---|
08:45 – 08:50 | Introduction to ASCoMS | Renato Librino, Martin Törngren |
08:50 – 09:20 | Intelligent Transport Systems: the Role of Information Modelling for Holistic Safety Management | Kenneth Östberg, Martin Törngren, Fredrik Asplund and Magnus Bengtsson. |
09:20 – 09:50 | Safety Verification of Multiple Autonomous Systems by Formal Approach | Kozo Okano and Toshifusa Sekizawa |
Leg stretch (10 mins) | ||
10:00 – 10:30 | Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-Formal Executable Models | Martin Skoglund, Thomas Arts, Alex Gerdes, Hans Svensson, Henrik Eriksson and Rolf Johansson |
10:30 – 11:00 | Evaluation of Safety Rules in a Safety Kernel-based Architecture | Eric Vial and António Casimiro |
11:00 – 11:30 | Coffee Break | |
11:30 – 12:00 | Driving with Confidence: Local Dynamic Maps that Provide LoS for the 0 Test-bed | Christian Berger, Oscar Morales, Thomas Petig and Elad Michael Schiller |
12:00 – 12:30 | Sensor- and environment dependent performance adaptation for maintaining safety requirements | Tino Brade, Georg Jäger, Sebastian Zug and Joerg Kaiser |
12:30 – 13:00 | Collaborative Development of Safety-Critical Automotive Systems: Automation, Views and Metrics | Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog and Jan Söderberg |
13:00 – 14:30 | Lunch | |
14:30 – 15:00 | Towards Energy Efficient, High-speed Communication in WSNs | Attila Nagy and Olaf Landsiedel |
15:00 – 15:30 | Comparing Adaptive TDMA Against a Clock Synchronization Approach | Luis Almeida, Frederico Santos and Luis Oliveira |
15:30 – 16:10 | Panel debate | |
16:10 | Workshop closing | |
Coffee served! |