A design methodology for real-time systems to be implemented on multiprocessor machines

https://doi.org/10.1016/0164-1212(95)00121-2Get rights and content

Abstract

This paper describes a design methodology of real-time systems to be implemented on multiprocessor machines. This methodology is different from current methodologies and serves to help manage the complexity of massive-intensive systems. One of the distinguishing aspects of this methodology is in its ability to express timing constraints and verify if such constraints are met. A second distinguishing aspect of this methodology is that it can decompose the life cycle into six stages, according to five views of systems and can propose how to transform the results from one stage to another. In particular, this methodology proposes how to transform the functional structures and behavioral diagrams into parallel programs. A third distinguishing aspect of this methodology is to apply multilevel specification in the system development process.

The proposed methodology is applied to the development of the generation of the transfer frames of CCSDS recommendations. In this context, a lab grade prototype is constructed, using transputers and Occam. This simulator is able to provide the transfer frames which comply with the CCSDS recommendations and are identical to the transfer frames which are produced by an on-board generator.

References (47)

  • D. Harel

    Statecharts, a visual formalism for complex systems

  • R.A. Ammar et al.

    A Design and Modeling Methodology for Performance Evaluation in Real-Time Distributed Software Systems

  • C.R. Andrews
  • B. Auernherimer et al.

    RT-ASLAN: a Specification Language for Real-Time Systems

    IEEE Trans. Software Eng.

    (1986)
  • F. Bacceli et al.

    On the Execution of Parallel Programs on Multiprocessor Systems: a Queuing Theory Approach

    J. of the ACM

    (1990)
  • G. Berry et al.

    The synchronous language ESTEREL: Design, Semantics and Implementation

    INRIA Report 842

    (1988)
  • G. Booch

    Object-Oriented Development

    IEEE Trans. Software Eng.

    (1986)
  • J.R. Cameron

    An overview of JSD

    IEEE Trans. Software Eng.

    (1986)
  • U. Carlini et al.
  • CCITT

    Functional specification and description language (SDL)

    Recommendations Z.101–Z.104

    (1981)
  • CCSDS

    Recommendation for Space Data System Standards. Packet Telemetry

    CSDS Recommendation, Blue Book

    (January 1987)
  • CCSDS

    Advanced Orbiting Systems, Networks and Data links

    CCSDS 700.0-G-2

    (October 1989)
  • W.W. Chu et al.

    Task Allocation and Precedence Relations for Distributed Real-Time Systems

    IEEE Trans. Computer

    (1987)
  • T. DeMarco
  • A. Gabrielian et al.

    Multilevel Specification of Real-Time Systems

    Communication of the ACM

    (1991)
  • A. Gabrielian

    HMS machines: A unified framework for specification, verification and reasoning for real-time systems

  • T. Gelenbe et al.
  • I. Granham et al.
  • D.J. Haltley et al.

    Strategies for Real-Time Systems

  • HOOD Reference Manual

    (June 1989)
  • J.P. Huang

    Modeling of Software Partition for Distributed Real-Time Applications

    IEEE Trans. Software Eng.

    (1985)
  • IECCA Joint and MUF Committee on MASCOT (JIMCOM)
  • M. Jackson

    System Development

  • Cited by (3)

    • An approach to modeling and evaluation of functional and timing specifications of real-time systems

      2001, Journal of Systems and Software
      Citation Excerpt :

      Simulations are frequently used to investigate the behavior of new scheduling heuristics. Certain systems may be too complex (overhead, overload, interaction with a dynamic environment/plant for which no analytical model exists, conditional dependencies, distributed systems, imprecise computing, self-modifying systems, fault injection and simulation) for the analytical means available today, so that simulation of the specification is the only way to gain at least some confidence in the correct behavior of the systems under construction (Bruno et al., 1993; Zhang and Chaib-draa, 1996). Dealing with real-time systems of course requires that the model is constructed in such a way that all relevant scheduling strategies, including state-of-the-art preemptive schedulers, can be simulated.

    • Scheduling algorithm for real-time applications in grid environment

      2002, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
    • Integrated analysis and design method for distributed real-time systems based on computational grid

      2002, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
    View full text