skip to main content
research-article

Ada for the control of degradation of service

Published:25 September 2009Publication History
Skip Abstract Section

Abstract

This paper examines degradations of service in terms of constructs of the Ada programming language that are effective for their control and deployment. Several studies of the software lifecycle have focused on taxonomies of defects or errors. Categories of service degradations, however, have only recently been identified. A classification scheme for service degradations clarifies their relationship to defects and errors and their role in the prevention of failure. With the growth of hard real-time systems, wireless networks, and multimedia applications, a comprehensive understanding of service degradations and their usage has become ever more important.

References

  1. A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic Concepts and Taxonomy for Dependable and Secure Computing," IEEE Transactions on Dependable and Secure Computing, vol. 1(1), Jan.-Mar. 2004, pp. 11--33. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. M. Ben-Ari, Principles of Concurrent and Distributed Programming, 2nd edition, Addison-Wesley, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. Burns, B. Dobbing, and T. Vardanega, "Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems", Ada Letters, XXIV (2), June 2004, pp. 1--74. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. D.A. Celarier and D.W. Sando, "An Ada Math Library for Real-time Avionics", Ada Letters, XI (7), Feb. 1991, pp. 274--284. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. R.M. Clapp, L. Duchesneau, R.A. Volz, T.N. Mudge, and T. Schultz, "Toward Real-time Performance Benchmarks for Ada", CACM, Volume 29 (8), August 1986, pp. 760--778. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. D. Cornhill and L. Sha, "Priority Inversion in Ada," Ada Letters, Nov., Doc. 1987, pp. 30--32. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. IEEE Standard for Floating-point Arithmetic, ANSI/IEEE Std 754-2008, Aug. 29 2008, pp. 1--58.Google ScholarGoogle Scholar
  8. B. Kallberg and R. Strahle, "Ship System 2000, a Stable Architecture under Continuous Evolution," Ada Letters, XXI (4), Dec.2001. pp 47--51. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. J.P.J. Kelly, T.I. McVittie, and W.I. Yamamoto, "Implementing Design Diversity to Achieve Fault Tolerance", IEEE Software, Vol. 8 (4), July 1991, pp. 61--71. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Y. Kermarrec, L. Nana, and L. Pautet, "Implementing Recovery Blocks in GNAT: a Powerful Fault Tolerance Mechanism and a Transaction Support," Tri-Ada '95, Anaheim, California, 1995, pp. 462--266. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. J.K. Knight and M.E. Rouleau, "A New Approach to Fault Tolerance in Distributed Ada Programs," Ada Letters, VIII (7) June 1988, pp. 123--126.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. G.N. Levine, "Defining Defects, Errors, and Service Degradations, SIGSOFT SEN, Volume 34 (2), Mar. 2009, pp. 1--14. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. J.W. McCormick, "Software Engineering Education: on the Right Track with Ada," Ada Letters, XX (3), Sept. 2000, pp. 41--49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. J.W. McCormick, "Ada and Software Engineering Education: One Professor's Experiences," Ada Letters, XXVIII, (3), Dec. 2008, pp 91--95. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. W.W. Pritchett and J.D. Riley, "An ASISBased Static Analysis Tool for High-Integrity Systems," Ada Letters, XXVIII (6), Nov, Dec. 1998, pp. 12--17. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. J. Ras and A.M.K. Cheng, "Real-time Synchronization on Distributed Architecture with Ada-2005," Ada Letters, XXVIII (3), Dec. 2008, pp. 75--84. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. P. Rogers, "Software Fault Tolerance, Reflection and the Ada Programming Language, Thesis for the Doctor of Philosophy, University of York, October 24, 2003. http://www.cs.york.ac.uk/ftpdir/reports/2003/YCST/10/YCST-2003-10.pdfGoogle ScholarGoogle Scholar
  18. L. Sha, J.B. Goodenough, and B. Pollak, "Simplex Architecture: Meeting the Challenges of Using COTS in High-reliability Systems", Crosstalk, Journal of Defense Software Engineering, April 1998, pp. 7--10.Google ScholarGoogle Scholar
  19. S. Urena, J. Pulido, J. Redondo, and J. Zamorano, "Implementing the New Ada 2005 Real-time Features on a Bare Board Kernel, Ada Letters, XXVII (2), August 2007, pp. 61--66. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Ada for the control of degradation of service

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 29, Issue 2
        August 2009
        57 pages
        ISSN:1094-3641
        DOI:10.1145/1620593
        Issue’s Table of Contents

        Copyright © 2009 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 25 September 2009

        Check for updates

        Qualifiers

        • research-article
      • Article Metrics

        • Downloads (Last 12 months)1
        • Downloads (Last 6 weeks)1

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!