Related Experiment Video
Updated: May 10, 2026
19:44
A Tactile Automated Passive-Finger Stimulator (TAPS)
Published on: June 3, 2009
Definition and application of an assurance case development method (d*)
Takuya Saruwatari1, Shuichiro Yamamoto
1Graduate School of Information Science, Nagoya University, Chikusa-ku, Nagoya, Japan.
Springerplus
|June 7, 2013
Summary
This study formally defines the D*Framework, a method for creating assurance cases to confirm the dependability of interconnected open information systems. The framework was then applied and discussed through a case study.
Area of Science:
- Computer Science
- Software Engineering
- Systems Engineering
Background:
- Modern information systems are increasingly designed as interdependent open systems.
- Assurance cases are crucial for verifying the dependability of these complex, interconnected systems.
Purpose of the Study:
- To formally define the D*Framework, a novel method for constructing assurance cases.
- To demonstrate the applicability and effectiveness of the D*Framework through a practical case study.
Main Methods:
- Formal definition of the D*Framework.
- Application of the D*Framework in a real-world case study.
- Discussion and analysis of the case study results.
Main Results:
- The D*Framework was formally specified, providing a structured approach to assurance case development.
- The case study successfully applied the D*Framework, illustrating its practical utility for open systems.
Conclusions:
- The formally defined D*Framework offers a robust method for ensuring the dependability of open, interconnected information systems.
- The case study validates the D*Framework's effectiveness and provides insights for its further application and refinement.
Related Concept Videos
01:15Methods of Documentation VI: Case Management Model
The case management model is a multidisciplinary approach that involves healthcare professionals from diverse disciplines, such as physicians, nurses, therapists, social workers, and pharmacists, working collaboratively to address the various needs of patients. Each healthcare professional brings unique expertise and perspectives, contributing to a more comprehensive understanding of the patient's condition and tailoring treatment plans accordingly.
For example, a patient with a chronic illness...
For example, a patient with a chronic illness...
01:19Quality Assurance
Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
01:14Decision Making: Traditional Method
The process of hypothesis testing based on the traditional method includes calculating the critical value, testing the value of the test statistic using the sample data, and interpreting these values.
First, a specific claim about the population parameter is decided based on the research question and is stated in a simple form. Further, an opposing statement to this claim is also stated. These statements can act as null and alternative hypotheses, out of which a null hypothesis would be a...
First, a specific claim about the population parameter is decided based on the research question and is stated in a simple form. Further, an opposing statement to this claim is also stated. These statements can act as null and alternative hypotheses, out of which a null hypothesis would be a...
01:27Dimensional Analysis
Dimensional analysis is a valuable technique in fluid mechanics for simplifying complex problems by reducing them into dimensionless groups. These groups capture the essential relationships between the variables involved, allowing researchers and engineers to analyze fluid flow without dealing with each variable individually. This approach reduces the number of independent variables, allowing for easier analysis and better understanding of physical phenomena.
In fluid mechanics, dimensional...
In fluid mechanics, dimensional...
01:23Dimensional Analysis
Dimensional analysis is a powerful tool that is used in physics and engineering to understand and predict the behavior of physical systems. The basic idea behind dimensional analysis is to express physical quantities in terms of fundamental dimensions such as the mass, length, and time. Derived dimensions like the velocity, acceleration, and force are derived from the combinations of these fundamental dimensions.
Dimensional analysis allows us to analyze and compare physical quantities on a...
Dimensional analysis allows us to analyze and compare physical quantities on a...
02:19Dimensional Analysis
The concept of dimension is important because every mathematical equation linking physical quantities must be dimensionally consistent, implying that mathematical equations must meet the following two rules. The first rule is that, in an equation, the expressions on each side of the equal sign must have the same dimensions. This is fairly intuitive since we can only add or subtract quantities of the same type (dimension). The second rule states that, in an equation, the arguments of any of the...