Validation of the model-based approach
A model-based approach for automatic validation of protection settings
... the validation of protection settings A more suitable approach for checking settings against policies is the RB approach, since most of the setting policies can be represented readily in the style of ...
8
Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
... a model-based approach for depend- ability system and software engineering that uses patterns to rep- resent dependability solutions and knowledge, which fosters ...a model-based ...
36
Model Based Approach for the Integration of ECUs
... Automatic Model Validation offers a technology for performing model-based automatic formal verification by model checking for reactive embedded systems designed using ...a model, ...
5
A model-based approach for robustness testing
... A robustness requirement aims at ensuring that the software will preserve an “acceptable behavior” under non nominal execution conditions. This notion of “acceptable behavior” may not only correspond to safety properties ...
16
Risk-Based Validation The Benefits of the GAMP Approach
... This model better illustrates scalability options for phases • Blended specifications (e.g. URS/FS, FS/DS, even URS/FS/DS) • Design review as opposed to formal DQ • Blending of “classical” qualification (e.g. IOQ, ...
59
Spatiotemporal analysis of an agent-based model of a colony of keratinocytes: a first approach for the development of validation methods
... computational model allows the user to access several variables associated with each cell in the dish (position, type, number of intercellular bonds, etc) for each iteration ...the model represents ...
11
IDD-based model validation of biochemical networks
... to model and analyse biochemical networks using (stochastic) Petri nets, molecules or concentration levels are represented by tokens on ...new approach for an IDD-based matrix–vector multiplication ...
25
A DFIM Sensor Faults Multi Model Diagnosis Approach Based on an Adaptive PI Multiobserver—Experimental Validation
... is based on unknown input proportional integral (PI) ...DFIM model based on mul- ti-model approach and, on the other hand, the synthesis of an adaptive PI ...Lyapunov’s based ...
18
GOAL-ORIENTED MODEL DRIVEN ENTERPRISE ARCHITECTURE VALIDATION APPROACH
... is based on the desired behavior with attributes set for the related motivational ...The validation scenarios describe the behavior and attributes of the component to be validated in order to realize set ...
8
Model driven validation approach for enterprise architecture and motivation extensions
... EA validation by use of objective evidence to confirm that a model meets the intrinsic goals defined by their ...the model artifacts with the aim to answer some critical questions such as “how can an ...
239
An approach to select linear regression model in bioanalytical method validation
... statistical approach for the selection of linear regression model during bioanalytical method ...proposed approach was based on the study of heteroscedasticity for the calibration data by ...
7
AN APPROACH FOR ADAPTIVE MODEL PERFORMANCE VALIDATION WITHIN DIGITAL TWINNING
... the approach needs to be implemented in more complex model to have the benchmark of validation required on aligning route for its parametric calibration/adapta- ...The approach implementation ...
13
Model development and validation of bituminous-based crack sealants
... 46 Installation Notes Installation took place during the week of September 11, 2011. Traffic control was provided by MNDOT. The driving lane was closed to traffic during installation. Two contractors worked on the test ...
236
Title: A Validation Approach for Checking Mobile Agents based UML
... Figure 13. Formalization of interdependence between role and organization diagrams Figure 14. Formalization of interdependence between static and sequence diagrams 5.2 T HE D ESIGN G UIDELINES The set of design rules is ...
11
Development and validation of a prediction model with missing predictor data: a practical approach
... However, this is a practical case study and generalization of the results is not possible. Each of the three methods has it own advantages. Estimation of the Wald statistic in the WALD method follows Rubin’s rules and is ...
10
Animation-based Validation of a Formal Model of Dynamic Virtual Organisations
... In VDM, proof obligations embody internal consistency constraints on models. For example, the satisfiability proof obligation requires that any operation specification should be capable of being realised by an ...
6
Model-Based Proactive Read-Validation in Transaction Processing Systems
... be based on runtime feedback-oriented ...climbing approach, can be used to test new values and decide when to ...the model and setting a threshold only for a subset of the ...
8
Validation and application of agent-based electric vehicle charging model
... this approach. In this study, we evaluate an agent based EV model against real data observed during the “My Electric Avenue” project; an Ofgem funded 3 year trial aiming to identify the impacts of ...
11
Model-assisted validation of a strain-based dense sensor network
... the validation of these ...a model-assisted approach to validate a DSN of strain gauges under ...created based on the sensor network con- ...state-space model, coupled with an adaptive ...
14
Construct validation of judgement-based assessments of medical trainees’ competency in the workplace using a “Kanesian” approach to validation
... good model-fit to the data, and a better fit than all alternative ...models. Model fit indices were χ 2/df = ...optimal model had adequate measurement invariance with nested analysis of important ...
11