首页> 中文期刊> 《计算机工程与科学》 >基于构件的嵌入式实时软件建模与分析

基于构件的嵌入式实时软件建模与分析

         

摘要

嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果.因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的.本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号