科研之友
微信
新浪微博
Facebook
分享链接
摘要
提出了面向嵌入式控制系统的组件化模型集成开发方法;描述了用于系统建模、验证及实现的统一构架;介绍了该构架下多方面多视角建模、基于领域与基于形式化建模、层次化的组件建模等建模策略。该方法的核心在于构建一个用于嵌入式控制系统设计、验证及实现的集成化开发平台,实现满足需求且具有优异性能的嵌入式控制系统的快速设计。
- 出版日期2009
- 单位广州数控设备有限公司; 华南理工大学
提出了面向嵌入式控制系统的组件化模型集成开发方法;描述了用于系统建模、验证及实现的统一构架;介绍了该构架下多方面多视角建模、基于领域与基于形式化建模、层次化的组件建模等建模策略。该方法的核心在于构建一个用于嵌入式控制系统设计、验证及实现的集成化开发平台,实现满足需求且具有优异性能的嵌入式控制系统的快速设计。
