Specification of systems with interrupts

Abstract Interrupts or prioritized asynchronous transfers of control are present in many systems. They are especially necessary in the construction of robust (fault-tolerant) systems. This article describes an extension that supports interrupts to an existing semantic framework. The applicability of the extension for describing and implementing systems is illustrated.

[1]  Jens Palsberg.  An automatically generated and provably correct compiler for a subset of Ada , 1992, Proceedings of the 1992 International Conference on Computer Languages.

[2]  Myron Hecht,et al.  A distributed fault tolerant architecture for nuclear reactor control and safety functions , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[3]  Jens Palsberg,et al.  A Provably Correct Compiler Generator , 1992, ESOP.

[4]  Rance Cleaveland,et al.  Priorities in process algebras , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[5]  Glynn Winskel,et al.  CCS with priority choice , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[6]  David K. Gifford,et al.  Remote evaluation , 1990, TOPL.

[7]  Peter D. Mosses.  Action Semantics , 1986, ADT.

[8]  John C. Knight,et al.  On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems , 1987, IEEE Trans. Software Eng..

[9]  Peter D. Mosses.  An Introduction to Action Semantics , 1991 .

[10]  Deryck Forsyth Brown,et al.  ACTRESS: An Action Semantics Directed Compiler Generator (Summary) , 1991, Functional Programming.

[11]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[12]  Ruurd Kuiper,et al.  Paradigms for Real-time Systems , 1988, FTRTFT.

[13]  Peter D. Mosses,et al.  Specifying Asynchronous Transfer of Control , 1992, Formal Techniques in Real-Time and Fault-Tolerant Systems.

[14]  Algirdas Avizienis,et al.  The N-Version Approach to Fault-Tolerant Software , 1985, IEEE Transactions on Software Engineering.

[15]  Jan A. Bergstra,et al.  Syntax and defining equations for an interrupt mechanism in process algebra , 1985 .

[16]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[17]  Valérie Issarny.  An exception handling model for parallel programming and its verification , 1991 .

[18]  Richard A. Volz,et al.  Distributed Ada: case study , 1991 .

[19]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[20]  Jørgen Lindskov Knudsen.  Better Exception-Handling in Block-Structured Systems , 1987, IEEE Software.