Real-Time Euclid: A Language for Reliable Real-Time Systems

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 9, 1986, Pages 941-949

  Kligerman, Eugene ^a   Stoyenko, Alexander D ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Compiler; exception handling; guaranteed response time; real time systems; run time system; schedulability; software reliability; system programming languages

Indexed keywords

EID: 34250837567     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6313049     Document Type: Article

References (20)

1. D. W. Leinbaugh, “Guaranteed response times in a hard-real-time environment,” IEEE Trans. Software Eng., vol. SE-6, pp. 85–91, Jan. 1980.
2. A. D. Stoyenko, “Real-time systems: Scheduling and structure,” M.Sc. thesis, Dep. Comput. Sci., Univ. Toronto, Dec. 1984.
3. P. G. Sorenson, “A methodology for real-time system development,” Ph.D. dissertation, Dep. Comput. Sci., Univ. Toronto, 1974.
4. N. Wirth, “The programming language Pascal,” Acta Inform., vol. pp. 35–63, 1971.
5. R. C. Holt et al., “Euclid: A language for producing quality software,” in Proc. Nat. Comput. Conf., Chicago, IL, May 1981.
6. J. R. Cordy and R. C. Holt, “Specification of Concurrent Euclid,” Comput. Syst. Res. Group, Univ. Toronto, Tech Rep. CSRG-133, Aug. 1981.
7. “MIL-STD-1815: Ada programming language,” U.S. Dep. Defense, DoD Single-Stock Point, Philadelphia, PA, Dec. 1980.
8. N. Wirth, “MODULA 2,” Inst. Informatics, ETH, Zurich, Tech. Rep. 1980.
9. C. A. R. Hoare, “Monitors: An operating system structuring concept,” Commun. ACM, vol. 17, no. 10, pp. 549–557, Oct. 1974.
10. P. Brinch Hansen, “The programming language Concurrent Pascal,” IEEE Trans. Software Eng., vol. SE-1, pp. 199–207, June 1975.
11. S. R. Faulk and D. L. Parnas, “On the uses of synchronization in hard-real-time systems,” in Proc. Real-Time Syst. Symp., IEEE, Dec. 1983, pp. 101–109.
12. J. L. Keedy, “On structuring operating systems with monitors,” Operat. erat. Syst. Rev., vol. 13, no. 1, pp. 5–9, Jan. 1979.
13. H. Hecht, “Fault-tolerant software for real-time applications,” ACM Comput. Surveys, vol. 8, no. 4, pp. 391–407, Dec. 1976.
14. R. C. Holt, Concurrent Euclid, UNIX and TUNIS. Reading, MA: Addison-Wesley, 1983, ch. 2.
15. R. L. Glass, “Real-time: The “lost world” of software debugging and testing,” Commun. ACM, vol. 23, no. 5, pp. 264–271, May 1980.
16. V. D. Gligor and G. L. Luckenbaugh, “An assessment of the real-time time requirements for programming environments and languages,” in Proc. Real-Time Syst. Symp., IEEE, Dec. 1983, pp. 3–19.
17. “Programming language PEARL, Part 1: Basic PEARL, Part 2: Full PEARL” (in English), Deutches Institut fur Normung (DIN) (German Standards Inst.), Berlin, Rep. DIN 66253, 1979.
18. P. Brinch Hansen, “EDISON: A multiprocessor language,” Dep. Comput. Sci., Univ. Southern California, Los Angeles, Sept. 1980.
19. D. Berry, S. Moisan, and J. Rigault, “Esterel: Towards a synchronous and semantically sound high level language for real-time applications”- in Proc. Real-Time Syst. Symp., IEEE, Dec. 1983, pp. 30–37. 37.
20. R. C. Holt and J. R. Cordy, “The Turing plus report,” Turing language design group, Comput. Syst. Res. Inst., Univ. Toronto, Feb. 1985.