2011 Auto-CPS Workshop: Position Papers
- A Unified Approach for Active Safety in Automotive Cyber-Physical Systems
Annalisa Scacchioli - 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 - An Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design
Ken Butts, Bruce H. Krogh, David Garlan, André Platzer, Prashant Ramachandra - An Automated Highway System as the Platform for Defining Fault-Tolerant Automotive Architectures and Design Methods
Steven Shladover - Automated Model Revision for Automotive Cyber-Physical Systems
Sandeep S. Kulkarni - AutoPlug: An Open Experimental Platform for Automotive ECU Testing, Updates and Verification
Rahul Mangharam - 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 - Bridging Aero and Auto CPS: Secure Software and Data Distribution
Krishna Sampigethaya, Walter Beck, Kristy Lane, Scott Lintelman, and Radha Poovendran - Can We Solve Transportation Problem with Vehicle Networks?
David H.C. Du - Challenges in Future Automobile Control Systems with Multicore Processors
Dakai Zhu and Chunjiang Qian - Challenges in Representing CPS Safety
Philip Koopman - Closing the Loop between Traffic/Pollution Sensing and Vehicle Route Control
Mario Gerla, Giovanni Pau, Suzanne Paulson, Liviu Iftode, and Badri Nath - Co-Regulation of Cyber Physical Systems
Justin Bradley and Ella Atkins - Complexity Management in Control Design for Automotive Systems
Igor Mezíc - Dependable Automotive Systems based on Model Certified Components
Tony Larsson, Walid Taha, and Karl-Erik Årzen - Design Automation Challenges in Automotive CPS
Sayan Mitra - 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 - Fault-Tolerance of Embedded Systems with Automotive Applications
Ratnesh Kumar and Shengbing Jian - Fault-Tolerant Discrete Control Logic in Automotive Applications
Richard Hill and Stéphane Lafortune - Holistic Data-Driven Diagnosis for Dependable Automotive Systems
Patrick Lanigan and Priya Narasimhan - 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 - Low-Cost Embedded Fault Detection for Safety-Critical Systems
Gary Balas, Mats Heimdahl, Pete Seiler, Jaideep Srivastava, Mike Whalen, and Antonia Zhai - Modeling and Verifying Intelligent Automotive Cyber-Physical Systems
Sumit Kumar and Jha Gita Sukthankar - Occupant Protection and Rescue using Automotive Cyber-Physical Systems
Costin D. Untaroiu and Jeff Crandall - Reliability and Throughput in Future Automotive Communication Networks
John Liu, Timothy Talty, and Andrew Macdonald - Run Time Monitoring: A Design Perspective
A. Prasad Sistla and Milos Zefran - Safety & Architecture: Engineering Systems and Systems of Systems
Graham Hellestrand, Casey Alford, and Neville Clark - Secure Embedded Platform for Networked Automotive Systems
M. Gomathisankaran and K.R. Namduri - Smart Mobility: Next Generation Transportation System
Tamer Nadeem - Taming Uncertainties in Wireless Messaging for Automotive Cyber-Physical-Systems
Hongwei Zhang - The Future of Autonomy and Safety in Mixed Traffic Urban Environments
Umit Ozguner - Time-Predictable Fault Tolerant Computing for Dependable Automotive Cyber-Physical Systems
Wei Zhang - Towards Automotive Software Health Management (SHM)*
Lee Pike - Towards Computational Resources-Aware Control Solutions for Automotive CPS
Jonathan Sprinkle and Ricardo G. Sanfelice - Trains, Planes, and Automobiles
Panagiotis Tsiotras, Eric Feron, and Marilyn Wolf - 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 - Using Multicore Architectures in Cyber-Physical Systems
Sibin Mohan, Marco Caccamo, Lui Sha, Rodolfo Pellizzoni, Greg Arundale, Russell Kegley, and Dionisio de Niz - Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop
Francesco Borrelli, Karl, J. Hedrick, and Ruzena Bajcsy - Vertical Integration between Control and Communication Architectures
Anuradha Annaswamy, Insup Lee, and Oleg Sokolsky