Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Backward error recovery via conversations in Ada

Backward error recovery via conversations in Ada

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© The Institution of Electrical Engineers
Published

An approach is proposed for using backward error recovery in Ada. The advantages and disadvantages of Ada are not discussed, nor are new run-time algorithms for Ada proposed, but a practical method is offered for using backward recovery and software diversity within this language. The authors believe that Ada has sufficient facilities to allow the use of software diversity to develop fault-tolerant systems. However, previous researchers have noticed problems in attempting to use this possibility, and restrictive rules are necessary to avoid these problems. 'Conversations' for co-ordinated backward recovery of concurrent processes are considered and the following proposals are made: a restricted scheme similar to Kim's 'concurrent recovery block', but providing for deadlines on the execution of the diverse modules; programming rules for applying this scheme to Ada procedures; and a way for automatically enforcing these rules through a source code pre-processor. Two advantages of this scheme are its functioning within this widely used conventional industrial language and its suitability for real-time systems of an iterative type.

References

    1. 1)
      • D.L. Russell . State restoration in systems of communicating processes. IEEE Trans. , 2 , 183 - 194
    2. 2)
      • B. Randell . System structure for software fault tolerance. IEEE Trans , 2 , 220 - 232
    3. 3)
      • A. Burns , A.J. Wellings . Programming atomic actions in Ada. Ada Lett. , 6 , 67 - 79
    4. 4)
      • Barigazzi, G., Strigini, L.: `Application-transparent setting of recovery points', Proc. 13th IEEE Int. Symp. on Fault-Tolerant Computing, June 1983, Milano, Italy.
    5. 5)
      • P.A. Lee , T. Anderson . (1990) , Fault tolerance: principles and practice.
    6. 6)
      • Gregory, S.T., Knight, J.C.: `A new linguistic approach to backward error recovery', Proc. 15th Int. Symp.on Fault-Tolerant Computing, June 1985, Ann Arbor, Michigan.
    7. 7)
      • di Giandomenico, F., Strigini, L.: `Implementations and extensions of the conversation concept', Proc. 5th Int. GI/ITG/GMA Conf. on Fault-Tolerant Computing Systems —Tests, Diagnosis, Fault Treatment, 1991, Nürnberg, Germany.
    8. 8)
      • `Programming language Ada. Language and standard libraries. Draft. Version 4.0', IR-MA-1363-3, 1993.
    9. 9)
      • A. Clematis , V. Gianuzzi . Structuring conversation in operation/procedure oriented programming languages. Comput. Lang. , 3 , 153 - 168
    10. 10)
      • A. Burns , A.J. Wellings . (1990) , Real-time systems and their programming languages.
    11. 11)
      • Kim, K.H., You, J.H.: `A highly decentralized implementation model for the programmer-transparent coordination (ptc) scheme for cooperative recovery', Proc. 20th Int.Symp. on Fault-Tolerant Computing, June 1990, Newcastle-upon-Tyne, UK.
    12. 12)
      • T. Anderson , J.C. Knight . A framework for software fault-tolerance in real-time systems. IEEE Trans. , 3 , 355 - 364
    13. 13)
      • Jalote, P., Campbell, R.H.: `Fault tolerance using communicating sequential processes', Proc. 14th Int. Symp. on Fault-Tolerant Computing, June 1984, Kissimmee, Florida, USA.
    14. 14)
      • K.H. Kim . Approaches to mechanization of the conversation scheme based on monitors. IEEE Trans. , 3 , 189 - 197
    15. 15)
      • Gregory, S.T., Knight, J.C.: `On the provision of backward error recovery in production programming languages', Proc. 19th Int. Symp. on Fault-Tolerant Computing, June 1989, Chicago, Illinois.
    16. 16)
      • E.W. Dijkstra . (1976) , A discipline of programming.
    17. 17)
      • `Reference manual for the Ada programming language', ANSI/MIL-Std-1815a, 1983.
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1995.0027
Loading

Related content

content/journals/10.1049/sej.1995.0027
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address