论文部分内容阅读
1实时软件开发的规范途径Sildex是一个规范化详细设计和控制/数据功能分析的开发环境,用于复杂和关键性的实时系统设计.使用Sildex,用户可以建模、仿真、正式确认、自动生成优化代码,以生成可执行的详细规格说明,并且在硬件成型之前就生成系统原型.它允许从Simulink和Stateflow中导入数据.