Browse by author
Lookup NU author(s): Dr Jason Steggles
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Second-order algebraic methods provide a natural and expressive formal framework in which to develop correct computing systems. In this paper we consider using second-order algebraic methods to specify real-time systems and to verify their associated safety and utility properties. We demonstrate our ideas by presenting a detailed case study of the railroad crossing controller, a benchmark example in the real-time systems community. This case study demonstrates how real-time constraints can be modelled naturally using second-order algebras and illustrates the substantial expressive power of second-order equations. © Springer Pub. Co.
Author(s): Steggles LJ
Publication type: Article
Publication status: Published
Journal: Journal of Universal Computer Science
Print publication date: 01/01/2000
ISSN (electronic): 0948-695X
Publisher: Technische Universitaet Graz
Altmetrics provided by Altmetric