Architecting Fault Tolerance with Exception Handling: Verification and Validation

查看全文 作　　者：Patrick H. S. [1]Brito;Rogério de [2]Lemos;Cecília M. F. [1]Rubira;Eliane [1]Martins

机构地区：[1]Institute of Computing, State University of Campinas, Brazil;[2]Computing Laboratory, University of Kent, U.K.

出　　处：《Journal of Computer Science & Technology》索引2009年第24卷第2期,共26页

基　　金：supported by Fapesp/Brazil under Grant No. 06/02116-2 and CAPES/Brazil under Grant No. 0722-07-3;Cecília Rubira is partially supported by CNPq/Brazil under Grant Nos. 301446/2006-7 and 484138/2006-5 摘　　要：When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams: component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study. 关键词：异常操作容差性软件工程测试校验

相关文献

参考文献（38）
引证文献（2）
耦合文献（0）

参考文献(38)

引证文献(2)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

Architecting Fault Tolerance with Exception Handling: Verification and Validation

参考文献(38)

引证文献(2)

用户提示