军工实时嵌入式软件开发平台

中国航天工程咨询中心自主开发的军丁实时嵌入式软件开发平台，是一款支持结构化开发技术的软件工程类平台，其覆盖了需求获取、需求分析、概要设计、详细设计等四个开发阶段，提供了模型编辑、模型检查、质量度量、模型转换、文档生成等功能。