ePrints

Specifying and verifying real-time systems using second-order algebraic methods: A case study of the railroad crossing controller

Lookup NU author(s): Dr Jason Steggles

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

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.

Publication metadata

Author(s): Steggles LJ

Publication type: Article

Publication status: Published

Journal: Journal of Universal Computer Science

Year: 2000

Volume: 6

Issue: 4

Pages: 460-473

Print publication date: 01/01/2000

ISSN (electronic): 0948-695X

Publisher: Technische Universitaet Graz

URL: http://dx.doi.org/10.3217/jucs-006-04-0460

DOI: 10.3217/jucs-006-04-0460

Altmetrics

Share