On the use of formal techniques for analyzing dependable real-time protocols

Sinha, Purnendu and Suri, Neeraj (1999) On the use of formal techniques for analyzing dependable real-time protocols. In: Proceedings 20th IEEE Real-Time Systems Symposium. IEEE, USA, pp. 126-135. ISBN 0769504752

Full text not available from this repository.

Abstract

The effective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the efficient delivery of services. We focus on these aspects of correctness and efficiency, specifically considering the real-time aspects where the need is to ensure satisfaction of stringent timing and operational constraints. In this paper we establish the use of mathematically rigorous techniques such as formal methods (FM's) in not only providing for their traditional usage in establishing correctness checks, but also for their capability of assessing and analyzing timing requirements in dependable real-time protocols. We present our perspectives in utilizing FM's in developing exact case analyses of fault-tolerant and real-time protocols. We discuss the insights obtained and flaws identified in the hand analysis over the process of formally analyzing and verifying the correctness of an existing fault-tolerant real-time scheduling protocol.

Item Type: Contribution in Book/Report/Proceedings
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 137654
Deposited By: ep_importer_pure
Deposited On: 08 Oct 2019 08:20
Refereed?: Yes
Published?: Published
Last Modified: 07 Jan 2020 06:16
URI: https://eprints.lancs.ac.uk/id/eprint/137654

Actions (login required)

View Item View Item