A Reliability Analysis Framework for Domain Software Based on Degree Model

2013 ◽  
Vol 765-767 ◽  
pp. 1151-1154
Author(s):  
Wu Cheng Wang ◽  
Tie Bao ◽  
Lu Han ◽  
Shu Fen Liu ◽  
Qu Chen
Keyword(s):  
Reliability Analysis ◽  
Software Reliability ◽  
High Reliability ◽  
Formal Analysis ◽  
Mapping Method ◽  
Analysis Method ◽  
Analysis Framework ◽  
Evaluation Mode ◽  
Comprehensive Reliability ◽  
Software Lifecycle

For the reliability analysis of domain software researching to present a comprehensive reliability analysis method of domain software based on evidence,and to establish the working framework. To form reliability evidence through analyzing and measuring the evidence that collecting from the software lifecycle, and to build up a evaluation mode to expression the reliability requirements;to define reliability degree and mapping method based on evaluation mode, and to describe software reliability by reliability degree; to analysis modeling the reliability based on formal methods, as well as to verification and validation models. The method combined of informal evaluation and formal analysis modeling has good maneuverability and good practicability. It can describe the reliability of domain software clearly, and provide support for constructing complete formal high reliability software.

scholarly journals Analyzing the Improved Software Reliability Based on the Markov Model by Considering Error propagation

2018 ◽  
Vol 7 (2.32) ◽  
pp. 91
Author(s):  
Dr S. Srinivasa Rao ◽  
D Sowjanya ◽  
CH Dileep Chowdary ◽  
M Harika
Keyword(s):  
Markov Model ◽  
Reliability Analysis ◽  
Software Reliability ◽  
Error Propagation ◽  
High Reliability ◽  
Transformation Techniques ◽  
Model Driven ◽  
Model Based ◽  
Estimate Reliability ◽  
Analysis Design

In the software reliability analysis we proposed an approach, which is named as Model Driven Development method. This is a modelling and model transformation techniques. The Markov model used in reliability fields is modified to adapt to error propagation behaviors of components. The Markov model has been used for results of reliability analysis. Markov model which means that that future or upcoming states depend only on the present state not on the events that occurred before it to ensure high reliability of this software is to estimate reliability accurately in the developing phase. Then a study on the transformation between model based on Architecture & Analysis Design Language (AADL) and Markov model has been done. By considering all these a model based software reliability analysis approach is proposed. 

A Reliability Analysis Method Based on Execution Scenario for Modular NC Software

2008 ◽  
Vol 392-394 ◽  
pp. 640-644
Author(s):  
Xin Hua Yao ◽  
Jian Zhong Fu ◽  
Zi Chen Chen
Keyword(s):  
Graph Theory ◽  
Reliability Analysis ◽  
Directed Graph ◽  
Software Reliability ◽  
Numerical Control ◽  
Modular Structure ◽  
First Principle ◽  
Analysis Method ◽  
Nc System

To describe the modular structure of numerical control (NC) system and deal with the problem of interference between modules in software reliability analysis, a module dependency graph (MDG) was presented and a scenario-based scheme was proposed. MDG describes reliability of module in different application environment, module dependency and structure of software with establishing maps among modules, execution scenarios and reliability. According to the information shown in MDG, an algorithm based on the idea of traversing directed graph in graph theory was proposed. The algorithm calculates the reliability of scenario with breadth-first principle. The reliability of system could be obtained from reliability and running frequency of scenario. The scheme eliminates the defects of the conventional methods which ignore module correlation. Case study proves the scheme could evaluate the reliability of NC software effectively.

Discourse Mapping

2019 ◽  
Vol 2 (1) ◽  
Author(s):  
Joanna BOEHNERT
Keyword(s):  
Environmental Politics ◽  
Technology Policy ◽  
Policy Research ◽  
Mapping Method ◽  
Science And Technology Policy ◽  
Design Practice ◽  
Analysis Method ◽  
Environmental Sciences ◽  
University Of Colorado ◽  
The University

This workshop will create a space for discussion on environmental politics and its impact on design for sustainable transitions. It will help participants identify different sustainability discourses; create a space for reflection on how these discourses influence design practice; and consider the environmental and social implications of different discourses. The workshop will do this work by encouraging knowledge sharing, reflection and interpretative mapping in a participatory space where individuals will create their own discourse maps. This work is informed by my research “Mapping Climate Communication” conducted at the Centre for Science and Technology Policy Research (CSTPR) in the Cooperative Institute for Environmental Sciences (CIRES), the University of Colorado, Boulder. With this research project I developed a discourse mapping method based on the discourse analysis method of political scientists and sustainability scholars. Using my own work as an example, I will facilitate a process that will enable participants to create new discourse maps reflecting their own ideas and agendas.

Sign in / Sign up

Export Citation Format

Share Document