Program
| Time Slot | Event |
| 08:30 -- 09:00 | Coffee |
| 09:00 -- 09:10 | Welcome by the Workshop Co-chairs |
| 09:10 -- 10:10 | Keynote: Industry Perspectives on Complex System Integration Issues Dr. David A. Redman, Director of the Aerospace Vehicle Systems Institute (AVSI) Abstract: The Aerospace industry has encountered as aircraft integration is increasingly dominated by the cost of software as its complexity and size have grown exponentially. In an initiative called System Architecture Virtual Integration (SAVI) the major players in this industry are investigating technical solutions for use in next generation aircraft development. This talk discusses some of the key technical issues they are facing.
|
| 10:10 -- 10:30 | Invited Talk: Towards a Symbolic Execution Framework for Cyber-Physical Systems Dr. K.C. Shashidhar, Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany Biography: K.C. Shashidhar is a researcher at Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern and Saarbruecken, Germany. His current research is focused on the application of formal methods for model-driven engineering of cyber-physical systems, in order to improve their safety and security. Prior to joining MPI-SWS, he held research positions at Fraunhofer IESE, General Motors Research and IMEC. He was a recipient of the Bensoussan Fellowship from ERCIM during the year 2009-10. He received his PhD from Katholieke Universiteit Leuven, Belgium and a Master's from IIT-Delhi, both in Computer Science. |
| 10:30 -- 11:00 | Break |
| 11:00 -- 12:30 | Session 1 |
| 11:00 -- 11:20 | FUSED: A Tool Integration Framework for Collaborative System Engineering Authors: Mark Boddy, Martin Michalowski, August Schwerdfeger, Hazel Shackleton and Steve Vestel (martin.michalowski@adventiumenterprises.com) [Abstract] [Paper] |
| 11:20 -- 11:40 | A Design Framework for Model-based Development of Complex Systems Authors: Hristina Moneva, Roelof Hamberg and Teade Punter (hristina.moneva@esi.nl) [Abstract] [Paper] |
| 11:40 -- 12:00 | Analytic Virtual Integration of Cyber-Physical Systems & AADL: Challenges, Threats and Opportunities Authors: Jerome Hugues (jerome.hugues@isae.fr) [Abstract] [Paper] |
| 12:00 -- 12:20 | From Abstract Component Descriptions to Timed I/O-Interfaces in AUTOSAR Authors: Stefan Neumann and Sebastian Wätzoldt (stefan.neumann@hpi.uni-potsdam.de) [Abstract] [Paper] |
| 12:30 -- 14:00 | lunch |
| 14:00 -- 15:30 | Session 2 |
| 14:00 -- 14:20 | Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems Authors: Linda Briesemeister, Grit Denker, Daniel Elenius, Ian Mason, Srivatsan Varadarajan, Brendan Hall, Devesh Bhatt, Gabor Madl and Wilfried Steiner (linda.briesemeister@sri.com) [Abstract] [Paper] |
| 14:20 -- 14:40 | Integrating Sleep Scheduling and Compressed Sensing in Sensor Networks Authors: Debojit Dhar and Sathish Gopalakrishnan (sathish@ece.ubc.ca) [Abstract] [Paper] |
| 14:40 -- 15:00 | Review and Challenges of Assumptions in Software Development Authors: Md Abdullah Al Mamun and Jörgen Hansson (jorgen.hansson@chalmers.se) [Abstract] [Paper] |
| 15:00 -- 15:20 | A Criticality Decomposition Architecture to Integrate Encrypted Sensor Data in the Smart Grid Authors: Dionisio de Niz and Lutz Wrage (dionisio@sei.cmu.edu) [Abstract] [Paper] |
| 15:30 -- 16:00 | Workshop Ends. Coffee break. |
| 16:00 -- 16:30 | RTSS@Work Presentations |
| 16:30 -- 18:00 | RTSS@Work Demonstrations and Welcome reception |