点击图片查看原图
Rockwell Collins在其FGS项目中采用T-VEC进行需求形式化和分析，该技术采用后，在原有的基础上，发现了25个新的以前所没有发现的问题。
从这个实际的工程中，可以明显的看出T-VEC的需求形式化和，需求分析验证功能能够发现很多使用传统方式难以发现的隐藏在工程中的深层次的缺陷。
关于创景
上海创景计算机系统有限公司创建于2000年2月22日，是首批入住国家软件产业基地—上海浦东软件园的高新技术企业，总部和研发中心设在上海，同时在北京、成都、西安、香港等地设有办事处。公司致力于研究、设计、应用和代理国内外先进的实时系统与软件的开发和测试技术，协助客户快速开发高性能、高可靠的实时系统与软件。通过建立创景独有的优秀企业文化，以高技术、高品质的产品和规范完善的服务体系全面满足客户的需求。
公司产品包括软件测试工具、基于需求与设计的测试和验证工具、实时系统结构化分析与设计工具、嵌入式操作系统、基于UML的实时面向对象可视化建模工具、编译器验证、故障注入工具、虚拟系统开发平台、分布式实时系统网络中间件、DO-178和254认证等相关产品，同时还提供基于这些产品的技术支持和咨询服务。公司客户遍及航天、航空、兵器、船舶、海军、核工业、总参、信息产业、电子、通讯等各个行业。
