Abstract
In this paper we present a systematic method to cope with exception handling in the specification and design of real-time software. Guidelines for the construction of programs, directly, from a formal specification are also provided. The method proposed is an object-based approach which makes use of Petri Nets with Objects, and an object-based design notation which incorporates facilities for exception handling and active objects. To illustrate the proposed approach a case study based on a train set is presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Saeed, R. de Lemos, and T. Anderson, “The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example,” Proc. of 21st Symp. on Fault-Tolerant Computing, pp. 478–485, Montreal, Canada, 1991.
F. Cristian, “Robust Data Type,” Acta Informatica, vol. 7, pp. 365–397, 1982.
M. Bidoit et al., “Exception Handling: Formal Specification and Systematic Program Construction,” IEEE Trans, on Software Eng, vol. 11, pp. 242–252, 1985.
R. de Lemos, A. Saeed, and T. Anderson, “Analysis of Timeliness Requirements in Safety-Critical Systems,” Proc. of Symp. in Formal Techniques in Real-Time and Fault-Tolerant Systems, ed. J. Vytopil, Lecture Notes in Computer Science 571, Springer-Verlag, pp. 171–192, Nijmegen, Netherlands, 1992
F. Jahanian and A. Mok, “Safety Analysis of Timing Properties in Real-Time Systems,” IEEE Trans, on Software Eng, vol. 12, pp. 890–904, 1986.
F. Cristian, “Exception HandUng,” Dependability of Resilient Computers, ed. T. Anderson, BSP Professional Books, Oxford, pp. 68–97, 1989.
G. L. Wells, “Formal Safety Studies,” Safety in Process Plant Design, John Wiley & Sons, New York, pp. 101–120, 1980.
D. Powell, “Fault Assumptions and Assumption Coverage,” ESPRIT PDCS Second Year Report vol. 1, chp. 5, 1991.
A. Saeed, T. Anderson, and M. Koutny, “A Formal Model for Safety-Critical Computing Systems,” Proc. of SAFECOMP’90, pp. 1–6, London, UK,1990.
C. Sibertin-Blanc, “High-Level Petri Nets with Data Structure,” Proc. of 6th European Workshop on Application and Theory of Petri Nets, Espoo, Finland, 1985.
H. Genrich, “Predicate/Transition Nets,” Petri Nets: Central Models and their Properties, eds. W. Brauer, W. Reisig, and G. Rozem- berg, Lecture Notes in Computer Science 254, pp. 206–247, 1987.
C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, “A Unified High-Level Petri Net Formalism for Time-Critical Systems,” IEEE Trans, on Software Eng, vol. 17, pp. 160–172, 1991.
R. de Lemos, A. Saeed, and T. Anderson, “A Train set as a Case Study for the Requirements Analysis of Safety-Critical Systems,” The Computer Journal, vol. 35, pp. 30–40, 1992.
S. K. Shrivastava, and A. Waterworth, “Using Objects and Actions to provide Fault-Tolerance in Distributed Real-Time Applications,” Proc. of Real-Time Systems Symposium, pp. 276–285, San Antonio, Texas, 1991.
S. Morasca, and M. Pezze, “Validation of Concurrent ADA Programs using Symbolic Execution,” Proc. of 2nd European Software Engineering Conf., Lecture Notes in Computer Science 387, pp. 469–486, Coventry, UK, 1989.
M. Combacau, and M. Courvoisier, “A Hierarchical and Modular Structure for F.M.S. Control and Monitoring,” Proc. of 1st Int. Conf. on AI, Simulation and Planning in High Autonomy Systems. Tucson, AZ, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag/Wien
About this paper
Cite this paper
Lemos, R.D., Saeed, A., Waterworth, A. (1993). Exception Handling in Real-Time Software from Specification to Design. In: Kopetz, H., Kakuda, Y. (eds) Responsive Computer Systems. Dependable Computing and Fault-Tolerant Systems, vol 7. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9288-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9288-7_15
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9290-0
Online ISBN: 978-3-7091-9288-7
eBook Packages: Springer Book Archive