Ada for the control of degradation of service
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.
[2]
M. Ben-Ari, Principles of Concurrent and Distributed Programming, 2nd edition, Addison-Wesley, 2006.
[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.
[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.
[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.
[6]
D. Cornhill and L. Sha, "Priority Inversion in Ada," Ada Letters, Nov., Doc. 1987, pp. 30--32.
[7]
IEEE Standard for Floating-point Arithmetic, ANSI/IEEE Std 754-2008, Aug. 29 2008, pp. 1--58.
[8]
B. Kallberg and R. Strahle, "Ship System 2000, a Stable Architecture under Continuous Evolution," Ada Letters, XXI (4), Dec.2001. pp 47--51.
[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.
[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.
[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.
[12]
G.N. Levine, "Defining Defects, Errors, and Service Degradations, SIGSOFT SEN, Volume 34 (2), Mar. 2009, pp. 1--14.
[13]
J.W. McCormick, "Software Engineering Education: on the Right Track with Ada," Ada Letters, XX (3), Sept. 2000, pp. 41--49.
[14]
J.W. McCormick, "Ada and Software Engineering Education: One Professor's Experiences," Ada Letters, XXVIII, (3), Dec. 2008, pp 91--95.
[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.
[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.
[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.pdf
[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.
[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.
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
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2009 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 September 2009
Published in SIGADA Volume 29, Issue 2
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 99Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 01 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in