skip to main content
10.1145/1500774.1500806acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

MEDOC: a methodology for designing and evaluating large-scale real-time systems

Published: 07 June 1982 Publication History

Abstract

We introduce a global design methodology for large-scale real-time systems; it is based on such concepts as data-flow analysis, sequential processes, communication links, abstract architecture. These concepts give us a guide for designing real-time systems; two tools are also introduced, having a specific action in the design process: OGIVE, a Petri net analyzer, makes the verification and the validation of the abstract structure; OSCAR, analytical queuing network, oriented, evaluates quantitatively some implementation choices of the real system. These tools are integrated very early in the design process to make us sure we shall not have dramatic regressions to do for, eventually, redesigning the system.

References

[1]
Le Mer, E. "Outil de Simulation pour la Conception d'une Architecture Répartie." Actes de la Convention Informatique, Vol. A (1981), pp. 227--230.
[2]
Baskett F., K. M. Chandi, R. R. Muntz, and F. G. Palacios. "Open, Closed and Mixed Networks of Queues with Different Classes of Customers." Journal of the ACM, 22 (1975), pp. 248--260.
[3]
Reiser, M. "Mean-value Analysis and Convolution Method for Queuing Dependent Servers in Closed Queuing Networks." Performance Evaluation, 1, (1981), pp. 7--18.
[4]
Reiser, M., and S. S. Lavenberg. "Mean-value Analysis of Closed Multichain Queuing Networks" Journal of the ACM, 27 (1980), pp. 313--322.
[5]
Schweitzer, P. "Approximate Analysis of Multiclass Closed Networks of Queues." International Conference on Stochastic Control and Optimization, Amsterdam, 1979.
[6]
Zahorjan, J. "The Approximate Solution of Large Queuing Network Models." Technical Report CSRG-122, University of Toronto, August 1980.
[7]
Chezalviel-Pradin, B. "Un Outil Graphique Interactif pour la Vérification des Systèmes à Évolution Parallèle Décrits par Réseaux de Pétri." Thèse Docteur-Ingénieur No. 671, University of Toulouse, 1979.
[8]
Pradin, B., B. Berthomieu, P. Azema, M. Diaz, and S. Bachmann. "OGIVE: Un Outil Graphique Interactif de Vérification de Réseaux de Pétri." Revue MIKADO, 35 (1980), pp. 1--10.
[9]
Peterson, J. L. "Petri Nets." Computing Surveys, 9 (1977), pp. 223--252.
[10]
Woodgate, H. S. "Management of Large Scale Computer Program Production." AFIPS, Proceedings of the National Computer Conference (Vol. 46), 1977, pp. 277--283.
[11]
Putnam, L. H. "Software Costing and Life Cycle Control." Proceedings of the Workshop on Quantitative Software Models, 1979, pp. 20--31.
[12]
Lehman, M. M. "Programs, Life Cycles, and Laws of Software Evolution." Proceedings of the IEEE, Col. 68, No. 9 (1980), pp. 1060--1076.
[13]
Lalanne, R. "PAMELA: Meta-language de Spécification et Processeur d'Analyse." Technical Report ECA AUTOMATION, 1980.
[14]
Ramamoorthy, C. V., and G. S. Ho. "Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets." IEEE Transactions on Software Engineering, Volume SE6 (1980), pp. 440--449.
[15]
Ramchandani, C. "Analysis of Asynchronous Concurrent Systems by Petri Nets." Project MAC, Technical Report 120, Massachusetts Institute of Technology, 1974.
[16]
Zuberek, W. M. "Analysis of the Effectiveness of Central Processing Units." Groupe de réflexion sur le temps réel THOMSON-CSF, Thomson-CSF, Orsay, France, May 1980.
[17]
Laurent, M. "Les Algorithmes d'OSCAR: NCA et MVA Multichaînes" Technical Report, ECA Automation, 1981.
[18]
Memmi, G. "Méthodologie d'Analyse et de Programmation des Systèmes; Outils d'Evaluation. Rapport D.A.I.I. No. 79.35.059, February 1981.
[19]
Boussinot, F. "Résaux de Processus Avec Mélange Equitable: Une Approche du Temps Réel." Thèse d-état Université Paris VII, 1981.

Cited By

View all
  • (2007)Introduction to software performance engineeringProceedings of the 7th international conference on Formal methods for performance evaluation10.5555/1768017.1768027(395-428)Online publication date: 28-May-2007
  • (2007)Introduction to Software Performance Engineering: Origins and Outstanding ProblemsFormal Methods for Performance Evaluation10.1007/978-3-540-72522-0_10(395-428)Online publication date: 2007
  • (2005)Programming a closely coupled multiprocessor system with high level petri netsAdvances in Petri Nets 198810.1007/3-540-50580-6_28(154-174)Online publication date: 31-May-2005
  • Show More Cited By
  1. MEDOC: a methodology for designing and evaluating large-scale real-time systems

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    AFIPS '82: Proceedings of the June 7-10, 1982, national computer conference
    June 1982
    857 pages
    ISBN:088283035X
    DOI:10.1145/1500774
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    • AFIPS: American Federation of Information Processing Societies

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 07 June 1982

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)43
    • Downloads (Last 6 weeks)5
    Reflects downloads up to 19 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2007)Introduction to software performance engineeringProceedings of the 7th international conference on Formal methods for performance evaluation10.5555/1768017.1768027(395-428)Online publication date: 28-May-2007
    • (2007)Introduction to Software Performance Engineering: Origins and Outstanding ProblemsFormal Methods for Performance Evaluation10.1007/978-3-540-72522-0_10(395-428)Online publication date: 2007
    • (2005)Programming a closely coupled multiprocessor system with high level petri netsAdvances in Petri Nets 198810.1007/3-540-50580-6_28(154-174)Online publication date: 31-May-2005
    • (2001)Origins of Software Performance Engineering: Highlights and Outstanding ProblemsPerformance Engineering10.1007/3-540-45156-0_7(96-118)Online publication date: 16-May-2001
    • (1993)Software performance engineeringPerformance Evaluation of Computer and Communication Systems10.1007/BFb0013866(509-536)Online publication date: 1993
    • (1982)The use of performance models in systematic designProceedings of the June 7-10, 1982, national computer conference10.1145/1500774.1500804(251-256)Online publication date: 7-Jun-1982

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media