Decomposition in Real-Time Safety-Critical Systems

Authors:
Paul Mukherjee;Victoria Stavridou
Affiliations:
School of Computer Studies, University of Leeds, Leeds LS2 9JT, U.K.;Dept. of Computer Science, Queen Mary and Westfield College, Mile End Road, London E1 4NS, U.K.
Venue:
Real-Time Systems
Year:
1998

Citing 8
Cited 2

NewSpeak: an unexceptional language

Software Engineering Journal - Special issue on programming languages
Real-time programming

Information Processing Letters
Reasoning About Time in Higher-Level Language Software

IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs

Real-Time Systems
Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
Programming from specifications

Programming from specifications
Real-Time Refinement

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
A Semantics for NewSpeak in VDM-SL

FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods

Safety-critical Java in Circus

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Safety-critical Java programs from Circus models

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Existing formal techniques for the development of softwarefor use in safety-critical systems do not adequately addressnon-functional system requirements such as those involving timing.In this paper we describe a formal development method in whichspecifications may be decomposed into unexceptional programswhilst preserving the functional and timing requirements of thespecification. We illustrate the method with a speed monitoringexample.