Этот том является результатом семинара «Методологии проектирования и проверки следующего поколения для распределенных встроенных систем управления», организованного General Motors R&D, Индийская научная лаборатория. Семинар проходил 5-6 января 2007 г. в аудитории NIAS, кампус IISc, Бангалор, Индия. Этот семинар является первым в своем роде, организованным крупным производителем автомобилей, чтобы собрать вместе ведущие умы в области проектирования встроенных систем, чтобы представить последние работы и обсудить будущие стратегии для решения растущей сложности встроенных систем управления. Семинар состоял из приглашенных докладов ведущих экспертов и исследователей из академических и промышленных организаций. Семинар охватил все области разработки встроенных систем и в частности: Формальную спецификацию и верификацию распределенных, гетерогенных, встроенных систем Формальную семантику языков моделирования Модельно-ориентированную спецификацию и тестирование Формальный подход к компонентной разработке Разработка линеек программных продуктов Автоматический генерация кода для распределенных встроенных систем.
