Методы проектирования и проверки следующего поколения для распределенных встроенных систем управления

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

Насколько публикация полезна?

Нажмите на звезду, чтобы оценить!

Сожалеем, что вы поставили низкую оценку!

Позвольте нам стать лучше!

Расскажите, как нам стать лучше?

Автор записи: admin

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *