首页> 外文期刊>Journal of software >An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software
【24h】

An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software

机译:正式建模和验证分布式实时嵌入式软件的方法

获取原文

摘要

As computer systems become increasingly internetworked,Distributed Real-time Embedded (DRE) systemshas became increasingly common and important, achallenging problem faced by researchers and developers ofDRE software is devising and implementing an method thatcan effectively analyze requirements in varying operationalconditions. In this paper, a Hierarchical Distributed RealtimeEmbedded net (HDRE-net) is proposed as softwareanalysis tool. The basic task, function module andcommunication process are modeled by using HDRE-net,thus forming the whole application through the synthesisoperation of Petri net. Time Reachability Graph is adoptedto analyze the correctness of HDRE-net, the basic propertiesof DRE software are also considered. Finally, a specificexample is given to simulate the analysis process, and theresults show that the method can be a good solution toanalyze DRE software.
机译:随着计算机系统日益互联互通,分布式实时嵌入式(DRE)系统变得越来越普遍和重要,DRE软件研究人员和开发人员面临的严峻问题正在设计和实现一种能够在各种操作条件下有效分析需求的方法。本文提出了一种分层分布式实时嵌入式网络(HDRE-net)作为软件分析工具。利用HDRE-net对基本任务,功能模块和通信过程进行建模,从而通过Petri网的综合操作形成整个应用程序。采用时间可达性图分析HDRE-net的正确性,并考虑了DRE软件的基本特性。最后,给出一个具体的例子来模拟分析过程,结果表明该方法可以作为分析DRE软件的良好解决方案。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号