Skip to main content
SpringerLink
Log in

Predictability of a RTX2000-based implementation

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

Any implementation should be proven to meet its specification. In this paper, we cope with the issue of checking the temporal correctness of a real-time program, implemented on a RTX microcontroller. Our real-time programs are first written in a high-level synchronous language (Esterel). and then, automatically translated into T-forth. Under these assumptions, the temporal behaviour of the generated RTX program can be predicted, at compile-time. In this paper, we present algorithms that compute realistic durations of system reactions. These algorithms use an abstract representation of the RTX program based on a behavioural semantics given to T-forth.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aho,A. Sethi,R. and Ullman,J. 1988. Compilers Principles, Techniques and Tools. Addison Wesley Publishing Company.

  • André,C and Péraldi,M.A. 1992. From Esterel to Forth. In SIGForth'92 FOETH Language Workshop, Kansas-City (USA).

  • André,C and Péraldi,M.A. 1993. A comprehensive session of synchronous program implementation on RTX2000. Technical Report RR 93-46, 13S, Sophia-Antipolis, France.

  • André, C and Péraldi, M.A. 1993. Effective implementation of Esterel programs. In 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, pp. 262–267.

  • Benveniste, A. and Berry, G. 1991. The synchronous approach to reactive and real-time systems. Proceeding of the IEEE, 79(9):1270–1282.

    Google Scholar 

  • Boussinot, F. and De Simone, R., 1991. The Esterel language. Proceeding of the IEEE, 79(9): 1293–1304.

    Google Scholar 

  • Halang, W. and Sacha, K. 1992. Real-Time Systems: Implementation of Industrial Computerised Process Automation. World Scientific, Singapore.

    Google Scholar 

  • Halang, W. and Stoyenko, A. 1991. Constructing Predictable Real-Time Systems. Kluwer Academic Publishers, Amsterdam.

    Google Scholar 

  • Harris. 1988. RTX2000 Reference manual. Harris Semiconductor Corporation, Melbourne (FL).

    Google Scholar 

  • IEEE. 1991. Another look at real-time programming. Proceedings of the IEEE, 79(9):1268–1336.

    Google Scholar 

  • Smith, J. and Weiss, S. 1994. PowerPC 601 and Alpha 21064: A Tale of Two Riscs. Computer, 27(6): 46–58

    Google Scholar 

Download references

Author information

Author notes

  1. Marie-Agnès Péraldi

    Present address: Swiss Federal Institute of Technology, Lausanne Industrial Computer Engineering Laboratory, EPFL-DI-LIT, CH-1015, Lausanne, Switzerland

Authors and Affiliations

  1. Laboratoire Informatique, Signaux et Systèmes (13S), Université de Nice-Sophia Antipolis / CNRS, 41 Bvd Napoléon III, F-06041, NICE cedex, France

    Charles André

  2. 13S Lab., EPFL-DI-LIT, CH-1015, Lausanne, Switzerland

    Marie-Agnès Péraldi

Authors
  1. Charles André
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marie-Agnès Péraldi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

André, C., Péraldi, MA. Predictability of a RTX2000-based implementation. Real-Time Syst 10, 223–244 (1996). https://doi.org/10.1007/BF00383386

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00383386

Keywords

Search

Navigation