Validation Support Tool to Cross-check the Behavioral Flows on a Requirements Analysis Model using the State Transition Model

Author(s):  
Hikaru Morita ◽  
Saeko Matsuura
2021 ◽  
Author(s):  
Hikaru Morita ◽  
Saeko Matsuura

We propose a method to evaluate and improve the validity of required specifications by comparing models from different viewpoints. Inconsistencies are automatically extracted from the model in which the analyst defines the service procedure based on the initial requirement; thereafter, the analyst automatically compares it with a state transition model from the same initial requirement that has been created by an evaluator who is different from the analyst. The identified inconsistencies are reported to the analyst to enable the improvement of the required specifications. We develop a tool for extraction and comparison and then discuss its effectiveness by applying the method to a requirements specification example.


Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-10
Author(s):  
Hongjian Wang ◽  
Cun Li ◽  
Ying Wang ◽  
Qing Li ◽  
Xicheng Ban

This paper describes a method that addresses the transient loss of observations in sea surface target state estimations. A six degrees of freedom swing platform fixed with a MiniRadaScan is used to simulate the loss of observations. The state transition model based on the historical observation data fit prediction is designed because the existing state estimation method can only use the system model prediction while the observation is missing. An observation data sliding window width adaptive adjustment strategy is proposed that can improve the fitting accuracy of the state transition model. To solve the problem where the weight value of the Gaussian components of the Gaussian mixture filter is not changed in the time update stage while the observation is missing, an adaptive adjustment strategy for the weight is proposed based on the Chapman-Kolmogorov equation, which can improve the estimation precision under the conditions of the missing observation. The simulation test demonstrates the proposed accuracy and real-time performance of the proposed algorithm.


2013 ◽  
Vol 340 ◽  
pp. 255-258
Author(s):  
Yong Sheng Huang ◽  
Hua Mei Du

With the developing of the technologies in the field of the Internet of things, it is much possible to achieve more information about things scattered in a certain zone. Based on the Internet of things, the information zing and modelling of the logistical network are efficient methods for logistical services. In this paper, an approach for the state transition model of logistical network is put forward, in which the sets of key elements and their states, and as well as the correlations between and among the key elements with certain states are used as components to express the states and states transition of the logistical network.


2020 ◽  
Vol 40 (8) ◽  
pp. 1003-1019
Author(s):  
Ingrid E. H. Kremer ◽  
Mickael Hiligsmann ◽  
Josh Carlson ◽  
Marita Zimmermann ◽  
Peter J. Jongen ◽  
...  

Background Up to 31% of patients with relapsing-remitting multiple sclerosis (RRMS) discontinue treatment with disease-modifying drug (DMD) within the first year, and of the patients who do continue, about 40% are nonadherent. Shared decision making may decrease nonadherence and discontinuation rates, but evidence in the context of RRMS is limited. Shared decision making may, however, come at additional costs. This study aimed to explore the potential cost-effectiveness of shared decision making for RRMS in comparison with usual care, from a (limited) societal perspective over a lifetime. Methods An exploratory economic evaluation was conducted by adapting a previously developed state transition model that evaluates the cost-effectiveness of a range of DMDs for RRMS in comparison with the best supportive care. Three potential effects of shared decision making were explored: 1) a change in the initial DMD chosen, 2) a decrease in the patient’s discontinuation in using the DMD, and 3) an increase in adherence to the DMD. One-way and probabilistic sensitivity analyses of a scenario that combined the 3 effects were conducted. Results Each effect separately and the 3 effects combined resulted in higher quality-adjusted life years (QALYs) and costs due to the increased utilization of DMD. A decrease in discontinuation of DMDs influenced the incremental cost-effectiveness ratio (ICER) most. The combined scenario resulted in an ICER of €17,875 per QALY gained. The ICER was sensitive to changes in several parameters. Conclusion This study suggests that shared decision making for DMDs could potentially be cost-effective, especially if shared decision making would help to decrease treatment discontinuation. Our results, however, may depend on the assumed effects on treatment choice, persistence, and adherence, which are actually largely unknown.


Sign in / Sign up

Export Citation Format

Share Document