Abstract
This paper describes the results of a project for the European Space Agency to produce guidelines for the development of real time software for onboard spacecraft applications. The project has produced guidance for the software requirements, architectural design, detailed design and implementation phases of the software development process, based on the use of HOORA and HOOD methods. A system of annotations has been devised for capturing performance and other non-functional requirements in HOORA and HOOD, such that existing method support tools are not affected by the presence of the annotations, which can be processed by additional tools. The paper outlines the guidance and the system of annotations.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Burns, A. J. Wellings, C. M. Bailey and E. Fyfe. “The Olympus attitude and orbital control system”, in Ada Sans Frontieres, Proc. 12th Ada-Europe Conference, LNCS 688, pp. 19–35. Springer-Verlag, 1993.
T. Vardanega, “Tool Support for the Construction of Statically Analysable Hard Real-Time Systems in Ada”, Proceedings of the 17th Real-Time Systems Symposium, IEEE, Dec 96.
C. D. Locke, “Software architecture for hard real-time applications: cyclic executives vs. fixed priority executives,” Real-Time Systems Vol. 4 No. 1, pp. 37–53, Real Time Systems (Netherlands), March 1992.
N. C. Audsley, A. Burns and A. J. Wellings, “Deadline Monotonie Scheduling theory and application”, Control Engineering Practice, Vol. 1 No. 1, pp. 71–78, 1993.
A. Burns, A. J. Wellings, “HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems”, Elsevier, 313 pages, 1995.
R. Pierce, “Guidelines and Procedures for Software Design and Coding”, Realisme project deliverable D2200.1, York Software Engineering Ltd, UK, 1996.
P. Cornwell, A. Wellings, “Transaction Specifications for Object-Oriented Real-Time Systems in HRT-HOOD”, A. P. Cornwell, A.J. Wellings, Proc. 1995 Ada in Europe, LNCS 1031, pp 365–378. Berlin: Springer-Verlag, 1996.
J. Galle, “RT Software Development Guidelines”, Realisme project deliverable D3100.1, E2S n.V., Zwijnaarde, Belgium, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pierce, R.H., Ayache, S., Ward, R., Stevens, J., Clifton, H., Galle, J. (1997). Capturing and verifying performance requirements for hard real time systems. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_13
Download citation
DOI: https://doi.org/10.1007/3-540-63114-3_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63114-9
Online ISBN: 978-3-540-69150-1
eBook Packages: Springer Book Archive