Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Safety, Reliability, and Security

SAFECOMP 1999: Computer Safety, Reliability and Security pp 187–201Cite as

Extendable Ground-to-Air Communication Architecture for CoDySa

  • Conference paper
  • First Online:

  • 843 Accesses

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

Abstract

Existing structure of the System for Objective Checking provides only passive safety of flying vehicles. CoDySa (Concept of Dynamic Safety) principles are based on analysis of operating cycle of aircraft. Implementation of CoDySa in practice presumes completing of the steps to modernize existing system. This paper presents further development of the CoDySa principles, namely ground-to-air communication architecture. Possibilities to upload safety-enhancing software components (safelets) are discussed together with scenarios of their use.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ODIAC-Operational Requirements for Air Traffic Management (ATM) Air/Ground Data Communications Services, EUROCONTROL 1998. (http://www.eurocontrol.be/projects/eatchip/odiac/)

  2. EATCHIP PHASE III Human Machine Interface (HMI). EUROCONTROL, 1998 (http://www.eurocontrol.be/projects/eatchip/hmi/)

    Google Scholar 

  3. Shagaev, I., Pliaskota, S. BASS: on Board Active Safety System. Active Control of Safety. Flight Review, No. 7-8 (1996)

    Google Scholar 

  4. Shagaev, I. Yet Another Approach to Classification Of Redundancy. In: IMEKO Congress, Helsinki, Finland (1990) 117–124

    Google Scholar 

  5. Shagaev, I., et al. Fault Tolerant RAM With Extremely High Reliability, Part 1. Automatic and Remote Control, No.3 (1992)

    Google Scholar 

  6. Shagaev, I., et al. Fault Tolerant RAM with Extremely High Reliability, Part 2. Automatic and Remote Control, No.2 (1993)

    Google Scholar 

  7. The Java language: a white paper. Sun Microsystems (1995) http://java.sun.com/

  8. Nilsen, K. Real-Time Java (v.1.1) Iowa State University, Ames, Iowa (1996) http://www.newmonics.com

    Google Scholar 

  9. Dean, D., Felten, E. W., and Wallach, D. S. Java Security: From HotJava to Netscape and Beyond. In: Proceedings of the 1996 IEEE Symposium on Security and Privacy, Oakland, California (1996) 190–200

    Google Scholar 

  10. Niinimaki P., Markkanen P., Kajava J. Java Applets and Security. In: Databases and Information Systems, Proc. 3rd IEEE International Baltic Workshop, April 15-17, Riga, Latvia, Vol. 2 (1998) 125–136

    Google Scholar 

  11. Franz, M., Kistler, T. Introducing Juice. Irvine: University of California (1996) http://caesar.ics.uci.edu/ juice/index.html

    Google Scholar 

  12. Wirth, N. The Programming Language Oberon. Software — Practice and Experience, Vol.18, N 7 (1988) 671–691.

    Article  MATH  Google Scholar 

  13. Brandis, M., Crelier, R., Franz, M., and Templ, J. The Oberon System Family. Software-Practice and Experience, Vol.25 No12 (1995) 1331–1366

    Article  Google Scholar 

  14. Franz, M. Code-Generation On-the-Fly: A Key to Portable Software. Zürich: Verlag der Fachvereine, ISBN 3-7281-2115-0 (1994)

    Google Scholar 

  15. Franz, M., Kistler, T. Slim Binaries. Communications of the ACM, Vol.40, No 12 (1997) 87–94

    Article  Google Scholar 

  16. Franz, M. Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile-Object Systems. In: Vitek, J. and Tschudin, C. (Eds.), Mobile Object Systems: Towards the Programmable Internet, Springer Lecture Notes in Computer Science, No. 1222 (1997) 263–276

    Google Scholar 

  17. Welch, T. A. A Technique for High-Performance Data Compression. IEEE Computer, Vol. 17, No 6 (1984) 8–19

    Google Scholar 

  18. Franz, M. Open Standards Beyond Java: On the Future of Mobile Code for the Internet. Journal of Universal Computer Science, Vol. 4, No:5 (1998) 521–532

    Google Scholar 

  19. Yellin, F. Low Level Security in Java. In: Fourth International World Wide Web Conference, World Wide Web Consortium, Boston, Massachusetts (1995) http://www.w3.org/pub/Conferences/WWW4/Papers/197

Download references

Author information

Authors and Affiliations

  1. University of Sunderland, School of Computing, Engineering and Technology, Chester Road, Sunderland, SR1 3SD, England

    Algirdas Pakstas

  2. Institute of Control Sciences, Profsoyuznaya St. 65, Moscow, Russia

    Igor Shagaev

Authors
  1. Algirdas Pakstas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Igor Shagaev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ENEA (sp 088), Via Anguillarese, 301, I-00060, Roma, Italy

    Massimo Felici

  2. LAAS-CNRS, 7, Avenue du Colonel Roche, F-31077, Toulouse Cedex 4, France

    Karama Kanoun

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pakstas, A., Shagaev, I. (1999). Extendable Ground-to-Air Communication Architecture for CoDySa. In: Felici, M., Kanoun, K. (eds) Computer Safety, Reliability and Security. SAFECOMP 1999. Lecture Notes in Computer Science, vol 1698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48249-0_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-48249-0_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66488-8

  • Online ISBN: 978-3-540-48249-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation