Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Timed Petri net approach to performance modelling with the MOON method

Timed Petri net approach to performance modelling with the MOON method

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© The Institution of Electrical Engineers
Published

MOON is a design method suitable for real-time systems that supports concurrency and asynchronous communication. A MOON design specifies the structure of the software system, the hardware resources and the allocation of software components to hardware resources. Performance evaluation is very important throughout the development of a real-time system. Program resource mapping nets (PRM-Nets) are a timed Petri net formalism used for performance evaluation studies. PRM-Nets are integrated performance models recognising the influence of the software structure, physical resources and mapping between software elements and physical resources on performance. Simulation of PRM-Nets allows estimates of response time, throughout and resource utilisation for a variety of hardware configurations to be investigated. The paper proposes the use of PRM-Nets for performance evaluation studies during a MOON design. The transformation of MOON activities and IDAs to PRM-Net performance models is outlined, and the modelling of hardware resources is considered.

Inspec keywords: performance evaluation; concurrency control; object-oriented programming; Petri nets; resource allocation

Other keywords: performance modelling; hardware resources; timed Petri net approach; response time; program resource mapping nets; performance evaluation; concurrency; resources allocation; modular object oriented notation; real-time systems; asynchronous communication; MOON method; mapping

Subjects: Combinatorial mathematics; Performance evaluation and testing; Object-oriented programming

References

    1. 1)
      • H.R. Simpson . The MASCOT method. Softw. Eng. J. , 3 , 103 - 120
    2. 2)
      • R. Nelson , D. Towsley , A.N. Tantawi . Performance analysis of parallel processing systems. IEEE Trans. , 4 , 532 - 539
    3. 3)
      • M.E.C. Hull , P.G. O'Donoghue , B. Hagan . Development methods for real-time systems. Comput. J. , 2 , 164 - 172
    4. 4)
      • G. Bate . MASCOT3: an informal introductory tutorial. Softw. Eng. J. , 3 , 95 - 102
    5. 5)
      • G. Ciardo , J.K. Muppala , K.S. Trivedi . Analyzing concurrent and fault-tolerant software using stochastic reward nets. J. Parallel Distrib. Comput. , 3 , 255 - 269
    6. 6)
      • di Giovanni, R.: `HOOD nets environment', Proc. Fifth Int. Conf. on Software Engineering and its Applications, December 1992, .
    7. 7)
      • L. Ingevaldsson . (1986) , JSP: a practical method of program design.
    8. 8)
      • W. Reisig . (1985) , Petri nets: an introduction.
    9. 9)
      • M.E.C. Hull , P.G. O'Donoghue , P. Curran . Addressing requirements when using the MOON design method. Inform. Softw. Technol. J. , 9 , 513 - 518
    10. 10)
      • M. Granda , J.M. Drake , J. Gregorio . Performance evaluation of parallel systems by using unbounded generalised stochastic Petri nets. IEEE Trans. , 1 , 55 - 71
    11. 11)
      • N.G. Leveson , J.L. Stolzy . Safety analysis using Petri nets. IEEE Trans. , 3 , 386 - 397
    12. 12)
      • P.J. Robinson . (1992) , HOOD.
    13. 13)
      • M.A. Jackson . (1975) , Principles of program design.
    14. 14)
      • P.M. Merlin , D.J. Farber . Recoverability of communication protocols—implications of a theoretical study. IEEE Trans. , 1036 - 1043
    15. 15)
      • P. Buchholz . A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. J. Parallel Distrib. Comput. , 3 , 207 - 224
    16. 16)
      • A. Ferscha . A Petri net approach for performance oriented parallel program design. J. Parallel Distrib. Comput. , 3 , 188 - 206
    17. 17)
      • J.L. Peterson . (1981) , Petri net theory and the modelling of systems.
    18. 18)
      • J.E. Coolahan , N. Roussopoulos . Timing requirements for time driven systems using augmented Petri nets. IEEE Trans. , 5 , 603 - 616
    19. 19)
      • Mullery, G.P.: `CORE—a method for controlled requirement specification', Proc. 4th Int. Conf. on Software Engineering, 1979, , p. 126–135.
    20. 20)
      • M.A. Ajmone-Marsan , G. Balbo , G. Conte . A class of generalised stochastic Petri nets for the performance evaluation of multi-processor systems. ACM Trans. , 2 , 93 - 122
    21. 21)
      • C. Ghezzi , D. Mandrioli , S. Morasca , M. Pezze . A unified high level Petri net formalism for time critical systems. IEEE Trans. , 2 , 160 - 172
    22. 22)
      • S. Caselli , G. Conte , U. Malavolta . Topology and process interaction in concurrent architectures: a GSPN modeling approach. J. Parallel Distrib. Comput. , 3 , 270 - 281
    23. 23)
      • Ferscha, A.: `Modelling models of parallel computations onto parallel architectures with the PRM-Net model', Proc. IFIP Working Group, Conf. on Decentralised Systems, 1990, North Holland, p. 349–362.
    24. 24)
      • J. Billington , G.R. Wheeler , M.C. Wilbur-Harn . PROTEAN: a high level Petri net tool for the specification and verification of communication protocols. IEEE Trans. , 3 , 301 - 316
    25. 25)
      • E. Gelembe , E. Montagne , R. Suros , M. Cosnard , P. Quinton , Y. Robert , M. Tchuente . (1986) A performance model of block structures parallel programs, Parallel algorithms and architectures.
    26. 26)
      • M. Ajmone-Marsan , G. Balbo , G. Chiola , G. Conte , S. Donatelli , G. Franceschinis . An introduction to generalised stochastic Petri nets. Microelectron. Reliability , 4 , 699 - 725
    27. 27)
      • M.E.C. Hull , P.G. O'Donoghue , B. Hagan . MOON—modular object oriented notation. Softw. Eng. J. , 1 , 25 - 33
    28. 28)
      • C.V. Ramamoorthy , G.S. Ho . Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Trans. , 5 , 440 - 449
    29. 29)
      • M.K. Molloy . Discrete time stochastic Petri nets. IEEE Trans. , 4 , 417 - 423
    30. 30)
      • G. Balbo , S. Donatelli , O. Franceschinis . Understanding parallel program behaviour through Petri net models. J. Parallel Distrib. Comput. , 3 , 171 - 187
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1994.0013
Loading

Related content

content/journals/10.1049/sej.1994.0013
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address