2011 Auto-CPS Workshop: Position Papers
  1. A Unified Approach for Active Safety in Automotive Cyber-Physical Systems
    ​Annalisa Scacchioli
  2. Addressing Design and Human Factors Challenges in Cyber-Transportation Systems with an Integrated Traffic-Driving-Networking Simulator
    Chunming Quia, Adel W. Sadek, Kevin Hulme, and Sean Wu
  3. An Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design
    Ken Butts, Bruce H. Krogh, David Garlan, André Platzer, Prashant Ramachandra
  4. An Automated Highway System as the Platform for Defining Fault-Tolerant Automotive Architectures and Design Methods
    Steven Shladover
  5. Automated Model Revision for Automotive Cyber-Physical Systems
    Sandeep S. Kulkarni
  6. AutoPlug: An Open Experimental Platform for Automotive ECU Testing, Updates and Verification
    Rahul Mangharam
  7. Bio-Inspired Techniques to Support High-Assurance Dynamically Adaptive Systems that Explicitly Handle Environmental Uncertainty
    Betty H.C. Cheng, Philip McKinley, A.J. Ramirez, A.C. Jensen, C. Byers, and D. Knoester
  8. Bridging Aero and Auto CPS: Secure Software and Data Distribution
    Krishna Sampigethaya, Walter Beck, Kristy Lane, Scott Lintelman, and Radha Poovendran
  9. Can We Solve Transportation Problem with Vehicle Networks?
    David H.C. Du
  10. Challenges in Future Automobile Control Systems with Multicore Processors
    Dakai Zhu and Chunjiang Qian
  11. Challenges in Representing CPS Safety
    Philip Koopman
  12. Closing the Loop between Traffic/Pollution Sensing and Vehicle Route Control
    Mario Gerla, Giovanni Pau, Suzanne Paulson, Liviu Iftode, and Badri Nath
  13. Co-Regulation of Cyber Physical Systems
    Justin Bradley and Ella Atkins
  14. Complexity Management in Control Design for Automotive Systems
    Igor Mezíc
  15. Dependable Automotive Systems based on Model Certified Components
    Tony Larsson, Walid Taha, and Karl-Erik Årzen
  16. Design Automation Challenges in Automotive CPS
    Sayan Mitra
  17. Fault Diagnosis and Prognosis in a Network of Embedded Systems in Automotive Vehicles
    K. Pattipati, C. Sankavaram, B. Wang, P. Zhang, Y. Zhang, M. Howell, and M. Salman
  18. Fault-Tolerance of Embedded Systems with Automotive Applications
    Ratnesh Kumar and Shengbing Jian
  19. Fault-Tolerant Discrete Control Logic in Automotive Applications
    Richard Hill and Stéphane Lafortune
  20. Holistic Data-Driven Diagnosis for Dependable Automotive Systems
    Patrick Lanigan and Priya Narasimhan
  21. HW Componentizing Kernel: A New Approach to address the Mega Complexity of Future Automotive CPS
    Jong-Chan Kim, Kyoung-Soo We, and Chang-Gun Lee
  22. Low-Cost Embedded Fault Detection for Safety-Critical Systems
    Gary Balas, Mats Heimdahl, Pete Seiler, Jaideep Srivastava, Mike Whalen,  and Antonia Zhai
  23. Modeling and Verifying Intelligent Automotive Cyber-Physical Systems
    Sumit Kumar and Jha Gita Sukthankar
  24. Occupant Protection and Rescue using Automotive Cyber-Physical Systems
    Costin D. Untaroiu and Jeff Crandall
  25. Reliability and Throughput in Future Automotive Communication Networks
    John Liu, Timothy Talty, and Andrew Macdonald
  26. Run Time Monitoring: A Design Perspective
    A. Prasad Sistla and Milos Zefran
  27. Safety & Architecture: Engineering Systems and Systems of Systems
    Graham Hellestrand, Casey Alford, and Neville Clark
  28. Secure Embedded Platform for Networked Automotive Systems
    M. Gomathisankaran and K.R. Namduri
  29. Smart Mobility: Next Generation Transportation System
    Tamer Nadeem
  30. Taming Uncertainties in Wireless Messaging for Automotive Cyber-Physical-Systems
    Hongwei Zhang
  31. The Future of Autonomy and Safety in Mixed Traffic Urban Environments
    Umit Ozguner
  32. Time-Predictable Fault Tolerant Computing for Dependable Automotive Cyber-Physical Systems
    Wei Zhang
  33. Towards Automotive Software Health Management (SHM)*
    Lee Pike
  34. Towards Computational Resources-Aware Control Solutions for Automotive CPS
    Jonathan Sprinkle and Ricardo G. Sanfelice
  35. Trains, Planes, and Automobiles
    Panagiotis Tsiotras, Eric Feron, and Marilyn Wolf
  36. Transportation Perspectives on Automotive Cyber Physical System:Integrating Hardware-in-the-Loop, Software-in-the-Loop and Human-in-the-Loop Simulations
    Byungkyu “Brian” Park and Sang H. Son
  37. Using Multicore Architectures in Cyber-Physical Systems
    Sibin Mohan, Marco Caccamo, Lui Sha, Rodolfo Pellizzoni, Greg Arundale, Russell Kegley, and Dionisio de Niz
  38. Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop
    Francesco Borrelli, Karl, J. Hedrick, and Ruzena Bajcsy
  39. Vertical Integration between Control and Communication Architectures
    Anuradha Annaswamy, Insup Lee, and Oleg Sokolsky