Integrated development process for automated or driver-assist vehicles

We describe the methodology, tools and technologies for designing and implementing communication and control systems for networked automated or driver assist vehicles. In addressing design, we discuss enabling methodologies and our suite of enabling computational tools for formal modeling, simulation, and implementation. We illustrate our description with design, development and implementation work we have performed for Automated Highway Systems, Autonomous Underwater Vehicles, Mobile Offshore Base, Unmanned Air Vehicles, and Cooperative Adaptive Cruise Control. We conclude with the assertion - borne from our experience - that ground vehicle systems with any degree of automated operation could benefit from the type of integrated development process that we describe.