|
|
|
|
|
Meeting Hosts |
Regina Moraes
and Eliane Martins |
Program-at-a-Glance and Contents
Autonomous and Cooperative
Intelligent Vehicles:
New
safety and security challenges, or yet another critical infrastructure?
|
Workshop |
António Casimiro
and Mohammed Kaâniche |
List of Attendees
Workshop on Autonomous and Cooperative Intelligent Vehicles: New safety
and security challenges or yet another critical infrastructure?
June
25-28, 2014 (Thursday to Sunday)
|
Paulo Verissimo, António Casimiro, Mohammed Kaâniche |
|
|
Session 1: Dependability challenges for
autonomous cars (Chair: Henrique Madeira) |
|
|
9:00 Stefan Poledna
(TTTech), Aspects and Challenges on the Way to
upcoming Automated Cars Jonas Nilsson (Volvo Cars),
Challenges in Dependability and Verification for Self-Driving Cars |
|
|
Session 2: Safety
assurance (Chair: John Rushby) |
|
|
11:15
John Karlsson (Chalmers University of Technology), Safe
and Unsafe Disagreement in Vehicular Ad-hoc Networks Jonny Vinter
(SP), Assessment and certification of SEooC
components |
|
|
Session 3: Dependability
Challenges for Airborne Vehicles (Chair: Andrea Bondavalli) |
|
|
16:00
Roberto Gallo (Kryptos), On the Security and Safety
of Airborne Vehicles on the Battlefield Michael Hinchey (Lero), Fly me to the moon… |
|
|
Session 4: Concepts
and Techniques for Autonomous and Vehicular Systems (Chair: Jean Arlat) |
|
|
9:00 Hirokuza
Ihara, Hitachi, What is Autonomous Decentralization Concept and its
escalation? Gilles Muller, INRIA, Executing
simultaneously time-critical and best-effort tasks on multiprocessors |
|
|
Jean ARLAT, LAAS-CNRS, About On-going
Research in CPS and IoT at LAAS-CNRS and Some Links
to Dependable and Secure Computing |
|
|
Andrea CECCARELLI, Università
degli Studi di Firenze,
Irene - Improving the Robustness of Urban Electricity Networks |
|
|
Eliane MARTINS, Unicamp, Online Monitoring & Testing of Web Services |
|
|
Elias P. DUARTE,
Jr., Federal University of Parana, Internet Dependability and other projects |
|
|
Henrique MADEIRA,
University of Coimbra, What’s going on inside your brain when you (don’t)
find a bug? |
|
|
John RUSHBY, SRI
International, On The Interpretation and Evaluation of Assurances Case
Arguments |
|
|
Bill SANDERS, ITI
Illinois, Making Sound Design Decision Using Quantitative Security Metrics |
|
|
Marco VIEIRA,
University of Coimbra, On the Relevance of ISVV for Aerospace Software OR
Real Issues in Aerospace Critical Systems Development |
|
|
IFIP
Working Group 10.4 business meeting |
|
List of Attendees
|
Names and Contact Information |
|