Architecting Fault Tolerance with Exception Handling: Verification and Validation

dc.creatorBrito, PHS
dc.creatorde Lemos, R
dc.creatorRubira, CMF
dc.creatorMartins, E
dc.date2009
dc.dateMAR
dc.date2014-11-16T11:52:38Z
dc.date2015-11-26T17:24:46Z
dc.date2014-11-16T11:52:38Z
dc.date2015-11-26T17:24:46Z
dc.date.accessioned2018-03-29T00:12:03Z
dc.date.available2018-03-29T00:12:03Z
dc.identifierJournal Of Computer Science And Technology. Science Press, v. 24, n. 2, n. 212, n. 237, 2009.
dc.identifier1000-9000
dc.identifier1860-4749
dc.identifierWOS:000265041400005
dc.identifier10.1007/s11390-009-9219-2
dc.identifierhttp://www.repositorio.unicamp.br/jspui/handle/REPOSIP/54853
dc.identifierhttp://www.repositorio.unicamp.br/handle/REPOSIP/54853
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/54853
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1284157
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionWhen 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.
dc.description24
dc.description2
dc.description212
dc.description237
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionFAPESP [06/02116-2]
dc.descriptionCAPES [0722-07-3]
dc.descriptionCNPq [301446/2006-7, 484138/2006-5]
dc.languageen
dc.publisherScience Press
dc.publisherBeijing
dc.publisherChina
dc.relationJournal Of Computer Science And Technology
dc.relationJ. Comput. Sci. Technol.
dc.rightsfechado
dc.sourceWeb of Science
dc.subjectexception handling
dc.subjectfault-tolerant software architecture
dc.subjectmodel-based test
dc.subjectmodel checking
dc.subjectsoftware verification and validation
dc.subjectComponent-based Systems
dc.subjectSoftware Architecture
dc.titleArchitecting Fault Tolerance with Exception Handling: Verification and Validation
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución