Actas de congresos
Development Of Fault-tolerant Software Systems Based On Architectural Abstractions
Registro en:
3540880291; 9783540880295
Lecture Notes In Computer Science (including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics). , v. 5292 LNCS, n. , p. 131 - 147, 2008.
3029743
10.1007/978-3-540-88030-1_11
2-s2.0-56649103551
Autor
Brito P.H.S.
De Lemos R.
Rubira C.M.F.
Institución
Resumen
The incorporation of fault tolerance into systems normally increases their complexity, which consequently makes their analysis more difficult. This paper discusses how architectural abstractions can be effective in developing fault-tolerant software systems. Depending on the fault model and the resources available, different abstractions can be employed for representing issues that are related to fault tolerance, such as error detection, and error and fault handling. These architectural abstractions, and their internal views, can be instantiated into concrete components and connectors for designing fault-tolerant software architectures. Since structural and behavioural properties associated with these abstractions are formally specified, the process of verifying and validating software architectures can be automated. In this paper, we show how appropriate architectural abstractions and a recursive process can facilitate the architectural modelling and analysis of fault-tolerant software systems. The feasibility of the proposed approach is demonstrated in the context of a critical real-time application. © 2008 Springer-Verlag Berlin Heidelberg. 5292 LNCS
131 147 Abrial, J.-R., The B-Method (1991) Proc. of the 4th Int. Symp. of VDM Europe on Formal Sof. Devel, 2, pp. 398-405 Anderson, T., Lee, P.A., (1981) Fault Tolerance: Principles and Practice, , 1st edn. Prentice-Hall, Englewood Cliffs Avizienis, A., Basic concepts and taxonomy of dependable and secure computing (2004) IEEE Trans. on Dependable and Secure Computing, 1 (1), pp. 11-33 Brito, P.H.S., et al.: Architecture-centric fault tolerance with exception handling. In: Bondavalli, A., Brasileiro, F., Rajsbaum, S. (eds.) LADC 2007. LNCS, 4746, pp. 75-94. Springer, Heidelberg (2007)Brito, P.H.S., Verification and validation of a fault-tolerant architectural abstraction (2007) Proc. of the Workshop on Architecting Dependable Systems, pp. 1-6 Butler, M.J., Leuschel, M.: Combining CSP and B for specification and property verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, 3582, pp. 221-236. Springer, Heidelberg (2005)Castor Filho, F., et al.: An architectural-level exception-handling system for component-based applications. In: de Lemos, R., Weber, T.S., Camargo Jr., J.B. (eds.) LADC 2003. LNCS, 2847, pp. 321-340. Springer, Heidelberg (2003)da Silva Jr., M.C., A Java component model for evolving software systems (2003) Proc. of the 18th IEEE Int. Conf. on Automated Soft. Eng, pp. 327-330 de Castro Guerra, P.A., A fault-tolerant software architecture for component-based systems (2003) LNCS, 2677, pp. 129-149. , de Lemos, R, Gacek, C, Romanovsky, A, eds, Architecting Dependable Systems, Springer, Heidelberg de Lemos, R., Architectural Fault Tolerance Using Exception Handling (2007) LNCS, 4615, pp. 142-162. , de Lemos, R, Gacek, C, Romanovsky, A, eds, Architecting Dependable Systems IV, Springer, Heidelberg Denford, M., Architectural abstraction as transformation of poset labelled graphs (2004) Journal of Universal Computer Science, 10 (10), pp. 1408-1428 Fahmy, H., Holt, R.C., Software architecture transformations (2000) Proc. of the Int. Conf. on Software Maintenance, pp. 88-96 Moriconi, M., Riemenschneider, R.: Introduction to sadl 1.0 a language for specifying software architecture hierarchies. TR SRI-CSL-97-01, SRI International (March 1997)Oquendo, F., π-ARL: An architecture refinement language for formally modelling the stepwise refinement of software architectures (2004) SIGSOFT Softw. Eng. Notes, 29 (5), pp. 1-20 Randell, B., Turing memorial lecture facing up to faults (2000) Computer Journal, 43 (2), pp. 95-106 Schlichting, R.D., Schneider, F.B., Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems (1983) Computer Systems, 1 (3), pp. 222-238 (2001) Unified Modeling Language: Systems Analysis, Design and Development Issues, , Siau, K, Halpin, T.A, eds, Idea Group Sloman, M., Kramer, J., (1987) Distributed systems and computer networks, , Prentice Hall International, Englewood Cliffs Taylor, R.N., A component- and message- based architectural style for GUI software (1995) Proc. of the 17th Int. Conf. on Soft. Eng, pp. 295-304 Thomas, D., Barry, B.M., Model driven development: The case for domain oriented programming (2003) Companion of the 18th Annual ACM SIGPLAN Conf. on Object-oriented Programming, Systems, Languages, and Applications, pp. 2-7