检索结果-南通市图书馆

Architecting Fault Tolerance with Exception Handling: Verification and Validation

Journal of Computer Science & Technology 2009年第2期24卷 212-237页

作者： Patrick H. S. Brito Rogério de Lemos Cecília M. F. Rubira eliane martins Institute of Computing State University of Campinas Brazil Computing Laboratory University of Kent U.K.

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.

关键词： exception handling fault-tolerant software architecture model-based test model checking software verification and validation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Effects of the use of bioceramic wraps in patients with lower limb venous ulcers:A randomized double-blind placebo-controlled trial

引用

Journal of Integrative Medicine 2020年第1期18卷 26-34页

作者： Gerli E.G.Herr Fábio Goulart da Silva Francisco Jose Cidral-Filho Fabricia Petronilho Lucinéia Gainski Danielski Mariana Pereira de Souza Goldim Afonso Shiguemi Inoue Salgado Franciane Bobinski Daniel Fernandes martins eliane R.Winkelmann Integral Health Care Regional University of the Northwest of the State of Rio Grande do Sul(UNIJUí)and University of Cruz Alta(UNICRUZ)Ijuí98700-000RSBrazil Experimental Neuroscience Laboratory(LaNEx) University of Southern Santa CatarinaPalhoca 88137-270SCBrazil Laboratory of Neurobiology of Inflammatory and Metabolic Processes University of Southern Santa CatarinaTubarao 88704-900SCBrazil Integrative Physical Therapy Residency Philadelphia University CenterLondrina 86020-000PRBrazil Laboratory of Exercise Physiopathology Department of Life Sciences(DCVida)Regional University of the Northwest of the State of Rio Grande do Sul(UNIJUí)Ijuí98700-000RSBrazil

Background:Venous ulcer represents the most advanced stage of chronic venous *** is an important public health problem and has a significant impact on patients’quality of life due to chronic pain,inability to work,need for hospitalization and frequent outpatient ***:We investigated the treatment benefits of far-infrared ceramic(cFIR),in a 90-day study of lower limb venous ulcers and looked at ulcer healing scores,quality of life,serum bio-markers of oxidative stress and antioxidant defense ***,setting,participants and interventions:This is a randomized double-blind placebo-controlled study conducted in the Vascular Surgery Service of a hospital located in the northwest region of the State of Rio Grande do Sul,*** included patients with lower limb venous ulcers who were randomized to use either a bioceramics wrap or a placebo wrap for 90 *** outcome measures:The following evaluations were conducted at baseline and after 15,30,60 and90 days:ulcer healing score,quality of life,and serum markers of oxidative stress and antioxidant enzyme ***:Patients(n=24)with lower limb venous ulcers were randomized into two treatment *** decreased the ulcer size on day 30(P=0.042)and 90(P=0.034)and the total ulcer healing scale scores on day 30(P=0.049)and 90(P=0.02)of the treatment,when compared to ***,cFIR improved tissue type(epithelial tissue)on day 60(P=0.022)when compared to baseline ***:cFIR clinically improved ulcer healing in patients with lower limb venous *** registration:RBR-8c7xzn on ReBEC.

关键词： Far-infrared radiation Quality of life Oxidative stress Wound healing Randomized controlled trial Bioceramic wrap

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：