Re-examines the fundamentals of composition in heterogeneous systems.
Our mission is to provide reports, presentations and a science-based predictable tool suite to the Cyber Physical Systems (CPS) community related to our work in developing a new Science of Integration for CPS. This new science re-examines the fundamentals of composition in heterogeneous systems, develops foundations and tools for system integration and validates the results in experiments using automotive and avionics System-of-Systems experimental platforms.
This call for position papers invites you to submit a position paper for an NSF, NIST, and USCAR sponsored group on Developing Dependable and Secure Embedded Systems from Components. The goal of this group is to address emerging challenges relative to reliability, availability, safety, and security attributes of software-intensive electronic automotive control systems. An example of such a system would be a self-driving vehicle that must adapt in order to navigate safely and efficiently through traffic in the presence of intersections, pedestrians and other traffic.
The objective of this research is to study the formal design and verification of advanced vehicle dynamics control systems. The approach is to consider the vehicle-driver-road system as a cyber-physical system (CPS) by focusing on three critical components: (i) the tire-road interaction; (ii) the driver-vehicle interaction; and (iii) the controller design and validation.
William P. Milam, Ford Motor Company and Dr. Shige Wang, General Motors Corporation presentation at the 1st National CPS PI Meeting, Arlington, VA, 08/11/2010
