摘要
提出了面向嵌入式控制系统的组件化模型集成开发方法;描述了用于系统建模、验证及实现的统一构架;介绍了该构架下多方面多视角建模、基于领域与基于形式化建模、层次化的组件建模等建模策略。该方法的核心在于构建一个用于嵌入式控制系统设计、验证及实现的集成化开发平台,实现满足需求且具有优异性能的嵌入式控制系统的快速设计。
出处
《制造业自动化》
北大核心
2009年第12期60-63,共4页
Manufacturing Automation
基金
国家自然科学基金项目(50575075
50875090)