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)

  • Abbreviated Title: J. Softw.

  • Frequency:  Quarterly

  • APC: 500USD

  • DOI: 10.17706/JSW

  • Editor-in-Chief: Prof. Antanas Verikas

  • Executive Editor: Ms. Cecilia Xie

  • Abstracting/ Indexing: DBLP, EBSCO,
           CNKIGoogle Scholar, ProQuest,
           INSPEC(IET), ULRICH's Periodicals
           Directory, WorldCat, etc

  • E-mail: jsweditorialoffice@gmail.com

  • Oct 22, 2024 News!

    Vol 19, No 3 has been published with online version   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

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

  • Apr 01, 2024 News!

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

  • Jun 12, 2024 News!

    Vol 19, No 2 has been published with online version   [Click]