一种嵌入式系统开发的整体方法
软件工程
2015-08-18 v1
摘要
我们提出pState，一种通过将验证集成到设计过程中来开发“复杂”嵌入式系统的工具。目标是减少验证时间。为此，定性与定量属性在表示为pCharts（层次状态机的扩展版本）的系统模型中指定。这些属性以直观方式指定，使得领域专家工程师无需熟悉时序逻辑即可编写。从系统模型生成保留已验证属性的可执行代码。设计在模型上文档化，并且该文档作为注释传入生成的代码。我们通过系列示例说明如何使用pState指定模型与属性。
引用
@article{arxiv.1508.03897,
title = {A Holistic Approach in Embedded System Development},
author = {Bojan Nokovic and Emil Sekerinski},
journal= {arXiv preprint arXiv:1508.03897},
year = {2015}
}
备注
In Proceedings F-IDE 2015, arXiv:1508.03388