The application of compile-time reflection to software fault tolerance using ada 95

作者: P. Rogers , A. J. Wellings

DOI: 10.1007/11499909_19

关键词:

摘要: Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations particular. In contrast, explicit – especially at the language level allows tailoring. However, current techniques that extend languages to lead interwoven code addressing functional non-functional requirements. Reflection promises both significant separation of concerns a malleability allowing user customize toward optimum point design space. To explore this potential we compare common scenarios implemented standard reflective Ada. Specifically, addition backward error recovery blocks, application reflection atomic actions conversations. We then implementations terms expressive power, portability, performance.

参考文章(12)
Patrick Rogers, Andy J. Wellings, OpenAda: Compile-Time Reflection for Ada 95 international conference on reliable software technologies. pp. 166- 177 ,(2004) , 10.1007/978-3-540-24841-5_13
Michael R. Lyu, Software Fault Tolerance John Wiley & Sons, Inc.. ,(1995)
Gregor Kiczales, Jim Des Rivieres, Daniel G Bobrow, The Art of the Metaobject Protocol ,(1991)
Shigeru Chiba, A metaobject protocol for C conference on object oriented programming systems languages and applications. ,vol. 30, pp. 285- 299 ,(1995) , 10.1145/217838.217868
A. Romanovsky, L. Strigini, Backward error recovery via conversations in Ada Software Engineering Journal. ,vol. 10, pp. 219- 232 ,(1995) , 10.1049/SEJ.1995.0027
Brian Cantwell Smith, Reflection and semantics in LISP symposium on principles of programming languages. pp. 23- 35 ,(1984) , 10.1145/800017.800513
Nancy G. Leveson, Software safety: why, what, and how ACM Computing Surveys. ,vol. 18, pp. 125- 163 ,(1986) , 10.1145/7474.7528
A. Wellings, A. Burns, Implementing atomic actions in Ada 95 IEEE Transactions on Software Engineering. ,vol. 23, pp. 107- 123 ,(1997) , 10.1109/32.585500
Pattie Maes, Concepts and experiments in computational reflection Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87. ,vol. 22, pp. 147- 155 ,(1987) , 10.1145/38765.38821