Volume 5 Number 9 (Sep. 2010)
Home > Archive > 2010 > Volume 5 Number 9 (Sep. 2010) >
JSW 2010 Vol.5(9): 990-997 ISSN: 1796-217X
doi: 10.4304/jsw.5.9.990-997

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

Liqiong Chen1, Guisheng Fan2, 3, Yunxiang Liu1
1Department of Computer Science and Information Engineering, Shanghai Institute of Technology, Shanghai, China
2Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China
3Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai, China

Abstract—As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE) systems has became increasingly common and important, a challenging problem faced by researchers and developers of DRE software is devising and implementing an method that can effectively analyze requirements in varying operational conditions. In this paper, a Hierarchical Distributed Realtime Embedded net (HDRE-net) is proposed as software analysis tool. The basic task, function module and communication process are modeled by using HDRE-net, thus forming the whole application through the synthesis operation of Petri net. Time Reachability Graph is adopted to analyze the correctness of HDRE-net, the basic properties of DRE software are also considered. Finally, a specific example is given to simulate the analysis process, and the results show that the method can be a good solution to analyze DRE software.

Index Terms—Distributed real-time and embedded system; Petri net; Time Reachability Graph; modeling; verifying.

[PDF]

Cite: Liqiong Chen, Guisheng Fan, Yunxiang Liu, "An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software," Journal of Software vol. 5, no. 9, pp. 990-997, 2010.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Dec 24, 2021 News!

     Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec)   [Click]

  • Nov 18, 2021 News!

    [CFP] 2022 the annual meeting of JSW Editorial Board, ICCSM 2022, will be held in Rome, Italy, July 21-23, 2022   [Click]

  • Nov 25, 2022 News!

    Vol 17, No 6 has been published with online version     [Click]