AutoMoDe - 汽车软件的基于模型开发
软件工程
2011-11-09 v1
摘要
本文介绍了 AutoMoDe（汽车基于模型开发）项目的初步结果。该项目的总体目标是开发一种用于汽车控制软件基于模型开发的集成方法论，该方法论基于具有显式形式化基础的特定问题设计符号。基于现有的 AutoFOCUS 框架，正在开发一个工具原型，以展示和验证我们方法的关键要素。
引用
@article{arxiv.0710.4829,
title = {AutoMoDe - Model-Based Development of Automotive Software},
author = {Dirk Ziegenbein and Peter Braun and Ulrich Freund and Andreas Bauer and Jan Romberg and Bernhard Schatz},
journal= {arXiv preprint arXiv:0710.4829},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)