典型用户

机载嵌入式软件MBD&V方法审定技术研究设备

其它通用分析品牌：REL 型号：MBD&V工具集/软件集成测试设备

仪器名称：

英文名称：

SCADE/Vxworks/RapiTime

所属分类：

其他仪器 > 其他 > 其他

学科领域：

航空、航天科学技术

主要技术指标：

用于通过测试分析，判断适航审定实验中各适航证据的正确性与完整性，确保实验结果有充足可信的数据支持。包括建模器、代码自动生成器、模型覆盖率分析器、形式验证器、编译器验证器、针对主机的测试环境模块、针对目标机的测试环境模块、时间堆栈优化器、快速原型器、生命周期数据生成器、MATLAB/SIMULINK桥接工具、系统建模器、对象库设计封装器、航空专用包、工作站。操作系统功能包括运行时组件、开发工具和应用程序组件三部分。其中，运行时组件能够实现实时操作系统的全部功能，包括多任务同步运行、时间片与内存保护、板级支持包、完整的应用程序分离、任务通讯等等；开发工具的功能包括：硬件生成、固件开发、应用软件开发和测试；应用程序组件的功能包括多种编译功能、源代码分析、程序调试、数据分析、内存分析、性能分析等。能够通过按照A级软件适航要求通过适航审定；能够满足机载设备对时间与空间隔离的要求；分区间通讯机制完全符合ARINC 653要求；提供的板级支持包能够与实验室的硬件环境完全兼容。

主要功能：

基于模型的开发与验证。主要功能模块包括：高级建模器；代码生成器（KCG）；形式化验证器；编译器验证包；SIMULINK桥接器；快速原型器；模型覆盖率分析器；时间堆栈优化器；系统设计高级建模器；系统配置器;航空行业包；自动化测试工具主机端；自动化测试工具目标机端。采用混合方法进行WCET分析支持基于ARINC 653的操作系统相关研究工作