Advertisement

SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction

  • Richard F. PaigeEmail author
  • Athanasios Zolotas
  • Dimitrios S. Kolovos
  • John A. McDermid
  • Mike Bennett
  • Stuart Hutchesson
  • Andrew Hawthorn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10748)

Abstract

Software is critical to the majority of functionality in avionics and aerospace systems. The amount of safety-related software in avionics is growing rapidly (doubling in size around every four years), and the costs of software programmes in industry are increasingly unaffordable – safety-related code can cost upwards of USD $150 per line. At the same time, demands from avionics customers for increased scope and new functionality is increasing, and quality is non-negotiable: it is fixed by standards and safety requirements. The SECT-AIR project is addressing these cost and demand issues by focusing on automation in software engineering, with particular emphasis on model-based development. In this paper we provide an overview of the motivation behind the project, which started in 2016, and some of the key tasks it will carry out to help improve productivity, increase customer scope and maintain quality.

Notes

Acknowledgements

This work was supported by the Aerospace Technology Institute and Innovate UK via the SECT-AIR grant, project number 113099.

References

  1. 1.
    Ogunyomi, B., Rose, L.M., Kolovos, D.S.: Property access traces for source incremental model-to-text transformation. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 187–202. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-21151-0_13 CrossRefGoogle Scholar
  2. 2.
    Hawkins, R., Habli, I., Kolovos, D.S., Paige, R.F., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, 8–10 January 2015, pp. 110–117 (2015)Google Scholar
  3. 3.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-69927-9_4 CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Richard F. Paige
    • 1
    Email author
  • Athanasios Zolotas
    • 1
  • Dimitrios S. Kolovos
    • 1
  • John A. McDermid
    • 1
  • Mike Bennett
    • 2
  • Stuart Hutchesson
    • 2
  • Andrew Hawthorn
    • 3
  1. 1.University of YorkYorkUK
  2. 2.Rolls-RoyceDerbyUK
  3. 3.Altran PraxisBathUK

Personalised recommendations