A new mechanism for exception handling in concurrent control systems

European Journal of Control

Volumn 2, Issue 2, 1996, Pages 88-100

  Van Beek, D A ^a   Rooda, J E ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0041456553     PISSN: 09473580     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0947-3580(96)70033-X     Document Type: Article

References (19)

1. Gini M, Smith R. Reliable real-time robot operation employing intelligent forward recovery. Technical Report TR 85-30 University of Minnesota 1985
2. Goodenough JB. Exception handling: Issues and a proposed notation. Communications of the ACM December 1975; 683-696
3. Knudsen JL. Better exception handling in block structured systems. IEEE Software May 1987; 40-49
4. Hoare CAR. Communicating sequential processes, Communications of the ACM August 1978; 666-677
5. Hooman J. Specification and compositional verification of real-time systems. Springer-Verlag Berlin, 1991
6. Mortel-Fronczak JM van de, Rooda JE, Nieuwelaar NJM van den. Specification of a flexible manufacturing system using concurrent programming. Concurrent Engineering Research and Applications, September 1995; 187-194
7. Meyer B. Eiffel the language. Prentice Hall New York 1992
8. Bron C, Dijkstra EJ. Report on the programming language Modular Pascal. Groningen University Groningen 1987
9. ISO/IEC 8652. Information Technology-Programming Languages - Ada 1995
10. Kligerman E, Stoyenko AD. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering September 1986; 941-949
11. Digital Equipment Corporation. VAXELN Pascal language reference manual, part 2: programming. Digital Equipment Corporation Massachusetts 1986
12. Rossingh TJ, Rooda JE. ROSKIT, a real-time operating system kit. Research report, Technical University Twente 1985
13. Levin R. Program structures for exceptional condition handling. PhD dissertation, Carnegie-Mellon University June 1977
14. Antonelli CJ. Exception handling in a multi-context environment. PhD dissertation, University of Michigan 1989
15. Adamo J. Exception handling for a communicating-sequential-process-based extension of C+ +. Concurrency February 1991; 15-41
16. Lacoutre S. Exceptions in Guide, an object oriented language for distributed applications. Proc. ECOOP 1991, Springer-Verlag Berlin 268-287
17. Issarny V. An exception handling model for parallel programming and its verification. Software Engineering Notes, Proc. ACM SIGSOFT '91 Conference on Software for Critical Systems December 1991; 92-100
18. Beek DA van. Exception handling in control systems. PhD dissertation, Eindhoven University of Technology Eindhoven 1993
19. Wortmann AM. Modelling and simulation of industrial systems. PhD dissertation, Eindhoven University of Technology Eindhoven 1991