Approach to platform independent real-time programming: (2) practical application

Real-Time Systems

Volumn 19, Issue 1, 2000, Pages 87-112

  Hooman, Jozef ^a,b   Van Roosmalen, Onno ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MINES; PUMPS; SCHEDULING;

MINE PUMP SYSTEM; PLATFORM INDEPENDENCE; REAL TIME PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 0033720681     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008140407193     Document Type: Article

References (16)

1. Ada 95 Reference Manual, International Standard ANSI/ISO/IEC-8652:1995, January 1995.
2. Aksit, M., Bosch, J., Sterren, W. v. d., and Bergmans, L. 1994. Real-time specification inheritance anomalies and real-time filters. Proc. ECOOP '94, LNCS 821, Springer Verlag, pp. 386-407.
3. Booch, G. 1983. Software Engineering with Ada. Benjamin Cummings Publishing Company.
4. Bergmans, L., and Aksit, M. 1996. Composing synchronisation and real-time constraints. Journal of Parallel and Distributed Computing, 36:32-52.
5. Burns, A., and Lister, A. M. 1991. A framework for building dependable systems. The Computer Journal, 34(2):173-181.
6. Burns, A., and Wellings, A. 1996. Advanced fixed priority scheduling. In Real-Time Systems: Specification and Analysis, Joseph, M., ed., Prentice Hall, pp. 32-65.
7. Burns, A., and Wellings, A. 1989. Real-Time Systems and Their Programming Languages. Addison-Wesley.
8. Halang, W. A., and Stoyenko, A. D. 1990. Comparative evaluation of high-level real-time programming languages. International Journal of Time-Critical Computing Systems, 2(4):365-382.
9. Halang, W. A., and Stoyenko, A. D. 1991. Constructing Predictable Real-Time Systems. Kluwer Academic Publishers.
10. Hooman, J., and van Roosmalen, O. S. 1997. Timed-event abstraction and timing constraints in distributed real-time programming. Proc. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), IEEE Computer Society, pp. 153-160.
11. Hooman, J., and van Roosmalen, O. S. 2000. An approach to platform independent real-time programming: (1) formal description. Int. Journal of Time Critical Computing Systems, 19(1):61-85.
12. Ishikawa, Y., Tokuda, H., and Mercer, C. W. 1990. Object-oriented real-time language design: Constructs for timing constraints. ACM Sigplan Notices, 25(10):289-298.
13. Joseph, M. (editor). 1996. Real-Time Systems: Specification and Analysis. Prentice Hall.
14. Kligerman, E., and Stoyenko, A. D. 1986. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering, SE-12(9).
15. Lin, K., Liu, J. W. S., Kenny, K. B., and Natarajan, S. 1991. FLEX: A language for programming flexible real-time systems. In Foundation of Real-Time Computing (Formal Specifications and Methods), van Tilborg, M., and Koob, G. M., eds., Kluwer Academic Publishers, pp. 251-289.
16. Takashio, K., and Tokoro, M. 1992. DROL: An object-oriented programming language for distributed real-time systems. Proc. OOPSLA '92, ACM Sigplan Notices, 27(10):276-294.