Skip to main content
SpringerLink
Log in

A Family-Oriented Software Development Process for Engine Controllers

  • Conference paper
  • First Online:
Book cover Product Focused Software Process Improvement (PROFES 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2188))

Abstract

This paper presents a software engineering process that includes family-based aspects for aero-engine control software. The process uses a “family capability” derived from family analysis of the embedding system. This analysis allows reuse capability to be designed into the process by exploiting prior knowledge of the differences between members of an engine family. The process described follows the traditional software lifecycle. However, the nature of the stages is modified to incorporate the use of the family capability, essentially to allow systematic application of both compositional and generational reuse throughout the development process. The process described was evaluated on a trial project to develop, and subsequently modify, a thrust reverser system for a small aero-engine. Initial results show that this process can reduce effort for both initial and subsequent developments through the use of the family capability.

Acknowledgements

The work described herein would not have been possible without widespread support in York and at Rolls-Royce. In particular we wish to thank Paul Emberson, Andy Galloway, Jamie Hodkinson, Andrew Payne, George Taylor and Eddie Williams. We gratefully acknowledge the financial support from Rolls-Royce and the EPSRC CONVERSE Grant (GR/L42872).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. John Barnes. High Integrity Ada The SPARK Approach. Addison-Wesley Longman Ltd, 1997.

    Google Scholar 

  2. Sergey Berezin. The SMV web site. http://www.cs.cmu.edu/~modelcheck/smv.html, 1999. The latest version of SMV and its documentation may be downloaded from this site.

  3. J.-F. Bergeretti and B.A. Carré. Information-Flow and Data-Flow of while-Programs. ACM Transactions on Programming Languages and Systems, 7(1):37–61, January 1985.

    Article  MATH  Google Scholar 

  4. Timothy A. Budd. Mutation analysis: Ideas, examples, problems and prospects. Computer Languages Program Testing, 10(1):63–73, 1985.

    MATH  Google Scholar 

  5. A. Burns and A.J. Wellings. HRT-HOOD: A structured design method for hard real time systems. Real Time Systems Journal, 6(1):73–114, January 1994.

    Article  Google Scholar 

  6. A. Burns and A.J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real Time Ada Systems. Elsevier, 1995.

    Google Scholar 

  7. Simon Burton, John Clark, and John McDermid. Testing, proof and automation, an integrated approach. In Proceedings of the 1st International Workshop on Automated Program Analysis, Testing and Verification, June 2000.

    Google Scholar 

  8. John Clark and Nigel Tracey. Solving constraints in LAW. LAW/D5.1.1(E), European Commission-DG III Industry, 1997. Legacy Assessment Worbench Feasibility Assessment.

    Google Scholar 

  9. James Coplien, Daniel Hoffmann, and David Weiss. Commonality and variability in software engineering. IEEE Software, pages 37–45, November/December 1998.

    Google Scholar 

  10. R. DeMillo, R. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11:34–41, 1978.

    Google Scholar 

  11. Andy Galloway, Trevor Cockram, and John McDermid. Experiences with the application of discrete formal methods to the development of engine control software. Proceedings of DCCS’ 98. IFAC, 1998.

    Google Scholar 

  12. David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michael Politi, Rivi Sherman, Aharon Shtull-Truaring, and Mark Trakhenbrot. STATEMATE, a working environment for the development of complex reactive systems. IEEE Transactions On Software Engineering, 16:403–414, 1988.

    Article  Google Scholar 

  13. J.V. Hill, J.A. McDermid, R. Rimmer, and B.R. Whittle. Re-use of engine control technology. 1994 Avionics Conference and Exhibition, ERA Technology, 1994.

    Google Scholar 

  14. Mike Mannion, Barry Keepence, Hermann Kaindl, et. al. Reusing Single System Requirements from Application Family Requirements. In Proceedings of the 21st International Conference of Software Engineering, pages 453–463, May 1999.

    Google Scholar 

  15. John McDermid, Andy Galloway, Simon Burton, John Clark, Ian Toyn, Nigel Tracey and Samuel Valentine. Towards industrially applicable formal methods: Three small steps, one giant leap. Proceedings of the International Conference on Formal Engineering Methods, October 1998.

    Google Scholar 

  16. J Neighbors. The Draco Approach to Constructing Software from Reusable Components. IEEE Transactions on Software Engineering, SE-10:564–573, September 1984.

    Article  Google Scholar 

  17. M.A. Ould. Business Processes: Modelling and analysis for re-engineering and improvement. Wiley, 1995.

    Google Scholar 

  18. D.L. Parnas. On the Design and Development of Program Families. IEEE Transactions on Software Engineering, 2(1):1–9, March 1976.

    Article  Google Scholar 

  19. R Prieto-Díaz. Domain Analysis: an Introduction. Software Engineering Notes, 15(2):47–54, April 1990.

    Google Scholar 

  20. L. Sha, R. Rajkumar and J.P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers, 9(9):1175-85, September 1990.

    MathSciNet  Google Scholar 

  21. H. Simpson. The MASCOT method. Software Engineering Journal, 1(3):103-20, May 1986.

    Article  Google Scholar 

  22. H.R. Simpson. Layered architecture(s): Principles and practice in concurrent distributed systems. In IEEE Symposium on Parallel and Distributed Processing, 1996.

    Google Scholar 

  23. Software Engineering Institute. Model-Based Software Engineering. http://www.sei.cmu.edu/mbse/, 1997.

  24. J.M. Spivey. The Z Notation-A Reference Manual. Prentice-Hall, Second edition, 1992.

    Google Scholar 

  25. Ian Toyn. Formal reasoning in the Z notation using CADiZ. 2nd International Workshop on User Interface Design for Theorem Proving Systems, July 1996.

    Google Scholar 

  26. Ian Toyn. The CADiZ web site. http://www.cs.york.ac.uk/~ian/cadiz/, 1999. The latest version of CADiZ and its documentation may be downloaded from this site.

  27. A. Vickers, P. Tongue and J. Smith. Complexity and its Management in Requirements Engineering. INCOSE UK Annual Symposium-Getting to Grips with Complexity, Coventry, UK, 1996.

    Google Scholar 

  28. A.J. Vickers, J.E. Smith, P.J. Tongue and W. Lam. The ConCERT Approach to Requirements Specification-Version 2.0. Technical Report YUTC/TR/96.1 Rolls-Royce University Technology Centre, University of York, York, UK, YO10 5DD, November 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Rolls-Royce University Technology Centre in Systems and Software Engineering, Department of Computer Science, University of York, York, YO10 5DD, UK

    Karen Allenby, Simon Burton, Darren Buttle, John McDermid, John Murdoch & Alan Stephenson

  2. Rolls-Royce Plc, Control Systems, SinC-3, 31, Moor Lane, Derby, DE24 8BJ, UK

    Mike Bardill & Stuart Hutchesson

Authors
  1. Karen Allenby
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon Burton
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Darren Buttle
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John McDermid
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. John Murdoch
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alan Stephenson
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Mike Bardill
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Stuart Hutchesson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fraunhofer IESE, Sauerwiesen 6, 67661, Kaiserslautern, Germany

    Frank Bomarius

  2. VTT Electronics, P.O. Box 1100, 90571, Oulu, Finland

    Seija Komi-Sirviö

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springerj-Verlag Berlin Heidelberg

About this paper

Cite this paper

Allenby, K. et al. (2001). A Family-Oriented Software Development Process for Engine Controllers. In: Bomarius, F., Komi-Sirviö, S. (eds) Product Focused Software Process Improvement. PROFES 2001. Lecture Notes in Computer Science, vol 2188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44813-6_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-44813-6_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42571-7

  • Online ISBN: 978-3-540-44813-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation