Skip to main content

The Aniketos Design-Time Framework Applied – A Case in Air Traffic Management

  • Chapter
Secure and Trustworthy Service Composition

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 8900))

  • 462 Accesses

Abstract

In order to assess the industrial relevance of the Aniketos design-time framework, we report on its application to a typical use-case of the Air Traffic Management (ATM) System Wide Information Management (SWIM) system: a meteorological information request from a pilot in an aircraft involving air-ground data-link communications. The scope of the study runs from security requirements elicitation, to the deployment of dummy services implementing the meteorological request secured process and communication functions. The evaluation shows that a rich set of security requirements can be captured and managed throughout the design-time engineering process. The Aniketos design-time framework is assessed as a sound baseline. To allow for an industrial exploitation follow-up, some required improvements have been proposed.

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

Access this chapter

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. Deliverables of SESAR Project 08.01.04 – Aeronautical information (AIS Airport Manning, Airport Network, Terrain and Obstacles)

    Google Scholar 

  2. Deliverables of SESAR Project 08.01.06 – Information Modelling Meteorological Domain

    Google Scholar 

  3. Deliverables of SESAR Project 08.03.03 – Identify and Develop Aeronautical Information ATM Services

    Google Scholar 

  4. Deliverables of SESAR Project 09.19 – SWIM Air-Ground Capability

    Google Scholar 

  5. Deliverables of SESAR Project 09.31 – Aeronautical databases

    Google Scholar 

  6. Deliverables of SESAR Project 09.48 – AIS/MET Serv. & Data Distr.

    Google Scholar 

  7. Deliverables of SESAR Project 13.2.2 – Aeronautical Information Management sub-system definition

    Google Scholar 

  8. Deliverables of SESAR Work Package 14 Projects – System Wide Information Management (SWIM)

    Google Scholar 

  9. Deliverables of SESAR Project 16.06.02 – Security support and coordination function

    Google Scholar 

  10. SESAR Joint Undertaking, SESAR Factsheet n°02/2010, Business Trajectory / ‘4D’ Trajectory (2010), http://www.sesarju.eu/sites/default/files/documents/reports/SESAR_Factsheet_4DTrajectory__2_.pdf (accessed June 06, 2014)

  11. Paja, E., et al.: Final version of the socio-technical security modelling language and tool. Deliverable D1.4, FP7 ICT Secure and Trustworthy Composite Services (ANIKETOS) project (Mai 2013)

    Google Scholar 

  12. French national agency for the security of IT systems (ANSSI). Expression of Needs and Identification of Security Objectives (EBIOS), Risk management method (2010)

    Google Scholar 

  13. CRAMM – the Total Information Security Toolkit, http://www.cramm.com/

  14. Lund, M.S., Solhaug, B., Stølen, K.: Model-Driven Risk Analysis – The CORAS Approach. Springer (2011)

    Google Scholar 

  15. D’Errico, M., et al.: Final report on Aniketos applied to industrial case studies. Deliverable D6.4, FP7 ICT Secure and Trustworthy Composite Services (ANIKETOS) project (June 2014)

    Google Scholar 

  16. Beck, E., et al.: Results of the final validation and evaluation of the ANIKETOS platform. Deliverable D7.3, FP7 ICT Secure and Trustworthy Composite Services (ANIKETOS) project (June 2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Paul, S., Tedeschi, A., Gjære, E.A., Herrera, I. (2014). The Aniketos Design-Time Framework Applied – A Case in Air Traffic Management. In: Brucker, A.D., Dalpiaz, F., Giorgini, P., Meland, P.H., Rios, E. (eds) Secure and Trustworthy Service Composition. Lecture Notes in Computer Science, vol 8900. Springer, Cham. https://doi.org/10.1007/978-3-319-13518-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13518-2_14

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13517-5

  • Online ISBN: 978-3-319-13518-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics