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.
- 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 Scholar
Digital Library
- M. Ben-Ari, Principles of Concurrent and Distributed Programming, 2nd edition, Addison-Wesley, 2006. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- D. Cornhill and L. Sha, "Priority Inversion in Ada," Ada Letters, Nov., Doc. 1987, pp. 30--32. Google Scholar
Digital Library
- IEEE Standard for Floating-point Arithmetic, ANSI/IEEE Std 754-2008, Aug. 29 2008, pp. 1--58.Google Scholar
- B. Kallberg and R. Strahle, "Ship System 2000, a Stable Architecture under Continuous Evolution," Ada Letters, XXI (4), Dec.2001. pp 47--51. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- G.N. Levine, "Defining Defects, Errors, and Service Degradations, SIGSOFT SEN, Volume 34 (2), Mar. 2009, pp. 1--14. Google Scholar
Digital Library
- J.W. McCormick, "Software Engineering Education: on the Right Track with Ada," Ada Letters, XX (3), Sept. 2000, pp. 41--49. Google Scholar
Digital Library
- J.W. McCormick, "Ada and Software Engineering Education: One Professor's Experiences," Ada Letters, XXVIII, (3), Dec. 2008, pp 91--95. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
Index Terms
Ada for the control of degradation of service
Recommendations
Dynamic Service Invocation Control in Service Composition Environments
SCC '10: Proceedings of the 2010 IEEE International Conference on Services ComputingService composition environments enable people to create, manage, share services, and compose atomic services for their own requirements. Since users and service entity hosts are always distributed in locations in such environments, service responses ...
Using ada in a service-Ooriented architecture
SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conferenceOne of the latest trends in software architecture is known as a Service-Oriented Architecture (SOA). This paper describes SOA briefly and one of the enabling technologies of SOA, namely the Enterprise Service Bus (ESB). The paper goes on to describe two ...
Using ada in a service-Ooriented architecture
SIGAda '07One of the latest trends in software architecture is known as a Service-Oriented Architecture (SOA). This paper describes SOA briefly and one of the enabling technologies of SOA, namely the Enterprise Service Bus (ESB). The paper goes on to describe two ...






Comments