An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets

Lihua Shi, Patrick Nixon

Research output: A Conference proceeding or a Chapter in BookConference contribution

7 Citations (Scopus)

Abstract

Structured analysis methods for real-time systems (SA/RT) are widely accepted by the industrial world as a mature approach to real-time systems design. These methods use highly expressive graphical specification languages to specify system requirements. Giving semantics to SA/RT specifications via selected formal models has the advantage of not only retaining their user-friendly and problem-oriented characteristics, but also making good use of the existing results of formal models for easier simulation and more powerful analysis. An automatic translation from SA/RT specification models to high-level timed Petri nets has recently been reported in [5]. But this translation suffers from some drawbacks, especially that it is not compositional, and the resulting subnets, in some cases, can be of at least exponential complexity. In this paper, we propose an improved translation, which is compositional and the resulting nets are of much lower complexity, e.g. the number of transitions is linear with respect to the scale of the original model. The efficient translation will benefit the simulation and analysis of specifications, and the compositionality of the translation process will support their incremental or modular development and compositional analysis.
Original languageEnglish
Title of host publicationFME'96: Industrial Benefit and Advances in Formal Methods
Subtitle of host publicationProceedings of the Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996
EditorsMarie-Claude Gaudel, James Woodcock
Place of PublicationBerlin
PublisherSpringer
Pages518-537
Number of pages20
ISBN (Electronic)9783540497493
ISBN (Print)9783540609735
DOIs
Publication statusPublished - 1996
Externally publishedYes
EventFME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe - Oxford, Oxford, United Kingdom
Duration: 18 Mar 199622 Mar 1996

Conference

ConferenceFME'96: Industrial Benefit and Advances in Formal Methods
Abbreviated titleFME'96
CountryUnited Kingdom
CityOxford
Period18/03/9622/03/96

Fingerprint Dive into the research topics of 'An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets'. Together they form a unique fingerprint.

Cite this