Abstract
Computer controlled systems with strict timing requirements are ubiquitous. Temporal requirements are often the timing restrictions imposed by the application environment. Real-time properties concerns quantitative timing constraints. We introduce the concepts of Timed Requirements Language (TRL) a language invented primarily for the exposition of temporal properties of process controlled systems. TRL is designed to project operational behaviour through time. TRL is based on event model and realises the behaviour of system with strict timing constraints. TRL treats functionality and timing in the same framework.
Chapter PDF
Similar content being viewed by others
References
Alford M.W, ‘A Requirements Engineering Methodology for Real-time Processing Requirements’, IEEE Transactions On Software Engineering, January 1977, pp. 60–69
Balzer R.M. and Goldman N.M, Principles of Good Software Specification and their Implication for Specification Languages’, in Proceedings of the Specifications of Reliable Software Conference, April 1979, pp. 58–67
Dasarathy B, ‘Timing Constraints of Real-time Systems: Constructs for Expressing Them, Methods for Validating Them’, IEEE Transactions On Software Engineering, SE- Il (1) Jan 1985, pp. 80–86
Hoare C.A.R, ‘Let’s Make Models’, in LNCS - 458, Ed I.C.M. Baeten and J.W. Kiop, Theories of Concurrency: Unification and Extension, Springer Verlag, 90 pp. 33
Jahanian F and Mok A.K, ‘Safety Analysis of Timing Properties in Real-Time Systems’, IEEE Transactions on Software Engineering, Se-12(9), Sept. 1986, pp. 890–904
Leveson N.G, ‘The Challenge of Building Process-control Software’, IEEE Software, November 1990, pp. 55–62
Nordström B and Smith J, ‘Propositions And Specifications of Programs in Martin-Lars Type Theory’, BIT 24 (1984) pp. 288–301
Zave P, ‘An Operational Approach to Requirements Specification for Embedded Systems’, IEEE Transactions on Software Engineering, vol. SE-8, May 1982, pp. 250–269
Zeigler B.P, ‘Multifaceted Modelling and Discrete Event Simulation’, Academic Press, Orlando 1984
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Sateesh, T.K., Hall, P.A.V. (1995). Modelling the Requirements of Process Controlled Systems. In: Lee, M., Barta, BZ., Juliff, P. (eds) Software Quality and Productivity. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34848-3_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-34848-3_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6544-1
Online ISBN: 978-0-387-34848-3
eBook Packages: Springer Book Archive