Abstract
The ‘Framework Approach’ is a method of evolutionary systems development applicable to systems with high levels of functional commonality. Its aims are to unify development approaches and increase design re-use over multiple project or portfolio environments in a manner which is responsive to varying or evolving requirements. In this paper an outline and mathematical basis of a typical ‘Framework’ is presented for application to safety-critical avionics software, together with a description of the process improvement experiment within which this new technique is to be assessed and applied. Emphasis is placed upon the analytical rigor of the technique and its ability to formally describe the control of evolutionary systems development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Garbet, P., Parks, J.P., Shackleton, M., Anderson, S.: Secure Synthesis of Code: A Process Improvement Experiment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1816–1835. Springer, Heidelberg (1999)
Dolman, W.C., Chandler, J.R., Wells, C., Betts, A.: A Realistic Approach to the Test of Safety for Aerospace Applications. In: Computer Aided Software Tools (CAST). IEE C6. Digest No.96/096 (1996)
O’Neill, I.M., Clutterbuck, D.L., Farrow, P.F., Summers, P.G., Dolman, W.C.: THE Formal Verification of Safety Critical Assembly Code. In: Safety of Computer Control Systems, pp. 115–120. Pergammon Press, Oxford (1988)
Requirements and Technical Concepts for Aviation. Software Considerations in Airborne Systems and Equipment Certification (Document RTCA SC167/DO-178B) (December 1992)
Garbet, P., Parks, J., Shackleton, M., Anderson, S.: A Case Study in Innovative Process Improvement: Code Synthesis from Formal Specifications. Avionics 98 (1998)
Pressman, S.: Software Engineering, pp. 20–22. McGraw-Hill, New York (1987)
Whittington, M.R., Shackleton, M.: Cyclic Scheduling, Formal Methods and Information Modelling. Computing and Control Engineering Journal (IEE), 33 (1999)
Whittington, M.R., Shackleton, M.: Towards a Formal Methodology of Real- Time Deterministic Scheduling for Flight Safety Critical Software Design. IEE A1 (Software Engineering) Colloquium on Real-Time Systems, University of York, IEE Digest No:98/306 pp. 1/1-1/8 (April 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Whittington, M.R., Shackleton, M. (2000). A Description of a ‘Framework Approach’ to Evolutionary Systems Development. In: Bomarius, F., Oivo, M. (eds) Product Focused Software Process Improvement. PROFES 2000. Lecture Notes in Computer Science, vol 1840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45051-1_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-45051-1_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67688-1
Online ISBN: 978-3-540-45051-1
eBook Packages: Springer Book Archive