A LOTOS based performance evaluation tool

https://doi.org/10.1016/0169-7552(93)90049-AGet rights and content

Abstract

This paper describes a LOTOS (ISO International Standard 8807) based technique (LOTOS-TP), and a performance evaluation tool (TOPO-SIM) based on it. LOTOS-TP is able to cope with the modeling of timing and probabilistic system characteristics. It is applied to the modeling and performance evaluation of discrete event systems. The performance evaluation is obtained with TOPO-SIM simulation tool which has been developed using an existing full LOTOS compiler. The structure of the discrete event simulation tool and the simulation machine are described.

References (51)

  • R. Milner

    Calculi for synchrony and asynchrony

    Theoret. Comput. Sci.

    (1983)
  • H. Rudin

    An informal overview of formal protocol specification

    IEEE Comm.

    (1985)
  • A. Azcorra

    Formal modeling of synchronous systems

    Ph.D. Thesis, ETSI Telecomunicación, UPM, Madrid, Ciudad Universitaria s/n

    (September 1990)
  • J.C.M. Baeten et al.

    Real time process algebra

  • T. Bolognesi et al.

    From timed Petri nets to timed LOTOS

  • P. Bratley et al.

    A Guide to Simulation

    (1987)
  • CCITT Specification and Description Language SDL

  • L. Chen et al.

    A timed calculus of communicating systems

  • J. Davies et al.

    An introduction to timed CSP

  • C.J. Fidge

    A LOTOS interpreter for simulating real-time behaviour

  • M.R. Garzia

    Discrete event simulation methodologies and formalisms

    Simulation Digest

    (Summer 1990)
  • A. Giaccalone et al.

    Algebraic reasoning for probabilistic concurrent systems

  • R. Glabbeek et al.

    Reactive, generative, and stratified models of probabilistic processes

  • J.F. Groote

    Specification and verification of real time systems in ACP

  • M. Hennessy et al.

    A temporal process algebra

  • ISO IS 8807

    LOTOS—A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

    ISO/TC97/SC21

    (1989)
  • ISO IS 9074

    Estelle—A Formal Description Technique Based on an Extended State Transition Model

    ISO/TC97/SC21

    (1988)
  • C. Jou et al.

    Equivalences, congruences and complete axiomatizations for probabilistic processes

  • F.J. Kaudel

    A literature survey on distributed discrete event simulation

    Simuletter

    (1987)
  • H.M. Lima et al.

    LCRIS: a LOTOS PC-based integrated environment

  • J.A. Mañas et al.

    From LOTOS to C

  • C. Miguel

    Técnicas de descriptión formal aplicadas a la evaluación de prestaciones de sistemas de comunicación

    Ph.D. Thesis, ETSI Telecommunicación, UPM, Madrid, Ciudad Universitaria s/n

    (March 1991)
  • C. Miguel

    Timed LOTOS definition, LOTOS-T

    Technical Report Reference OSI95/DIT/B5/5/TR/R/V2, DIT, OSI95 ESPRIT II Project

    (13 November 1991)
  • C. Miguel

    State of the art on timed & probabilistic models

    Technical Report Reference OSI95/DIT/B5/3/TR/R/V3, DIT, OSI95 ESPRIT II Project

    (13 November 1991)
  • C. Miguel

    LOTOS extended with probabilistic behaviours

    Technical Report Reference OSI95/DIT/B5/7/TR/R/V2, DIT, OSI95 ESPRIT II Project

    (13 November 1991)
  • Cited by (4)

    View full text