Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

This volume brings out the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” c- ducted by General Motors R&D, India Science Lab, Bangalore. This workshop is the first of its kind to be organised by an automotive Original Equipment Manufacturer (OEM) to bring together the experts in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasin...