© 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

  • S. Ramesh
  • Prahladavaradan Sampath
Conference proceedings

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Edmund M. Clarke, Flavio Lerda, Muralidhar Talupur
    Pages 1-17
  3. Gurulingesh Raravi, Vipul Shingde, Krithi Ramamritham, Jatin Bharadia
    Pages 51-65
  4. Prakash Chandrasekaran, Madhavan Mukund
    Pages 83-97
  5. Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
    Pages 115-116
  6. Sudeep Juvekar, Ankur Taly, Varun Kanade, Supratik Chakraborty
    Pages 117-136
  7. Werner Damm, Alexander Metzner
    Pages 157-174
  8. Thomas E. Fuhrman
    Pages 175-175
  9. Mahadevan Subramaniam, Deepak Kapur, Stephan Falke
    Pages 177-191
  10. Ansuman Banerjee, Pallab Dasgupta, Partha P. Chakrabarti
    Pages 193-211
  11. Natarajan Shankar
    Pages 213-225
  12. Rudrapatna K. Shyamasundar, Frederic Doucet, Rajesh K. Gupta, Ingolf H. Krüger
    Pages 227-243
  13. Ziv Glazberg, Mark Moulin, Avigail Orni, Sitvanit Ruah, Emmanuel Zarpas
    Pages 245-260

About these proceedings


This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:

  • Formal specification and verification of distributed, heterogeneous, embedded systems
  • Formal semantics of modeling languages
  • Model-based specification and testing
  • Formal approach to component based development
  • Software product line engineering
  • Automatic code generation for distributed, embedded systems.


Analysis Hardware Performance algorithms complexity formal method formal specification integrated circuit linear optimization modeling static-induction transistor verification

Editors and affiliations

  • S. Ramesh
    • 1
  • Prahladavaradan Sampath
    • 1
  1. 1.GM R&DBangaloreIndia

About the editors

Dr. Ramesh is the Chiarman of the "Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems", 5 - 6 Jan. 2007 in NIAS Auditorium, IISc Campus, Bangalore, India. He is also a seniro member of the GM R&D, Bangalore, India.

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences