๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verification and validation of the SACHEM conceptual model

โœ Scribed by M. LE GOC; C. FRYDMAN; L. TORRES

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
611 KB
Volume
56
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

โœฆ Synopsis

We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operationalizing process we propose allows the KADS model to be completed and validated. Upon execution of the operational model, the dynamics of the system can be simulated. Thus the proposed operationalizing process contributed to the validation and verification of the SACHEM conceptual model.

๐Ÿ“œ SIMILAR VOLUMES

Ontology-based verification of core mode
Ontology-based verification of core model conformity in conceptual modeling
โœ Claudia Hess; Christoph Schlieder ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 520 KB

Reference models, often called core models are developed in various application domains. Until now, no computational support exists for the task of verifying the conformity between such core models and their domain models. The approach developed at Bamberg University uses Semantic Web technologies t

On the role of hierarchic spaces and mod
On the role of hierarchic spaces and models in verification and validation
โœ Barna A. Szabรณ; Ricardo L. Actis ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 789 KB

An overview of the general considerations underlying the selection of mathematical models and the methods used for estimation and control of the associated errors and the requisite technical capabilities are presented. An example that illustrates the main points of the paper is presented.

Toward a theory of verification and vali
Toward a theory of verification and validation: Artifacts
โœ Daniel E. O'Leary ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 852 KB

This article uses the notion of artifacts to generate a theory for the verification and validation of intelligent systems. This theory has a number of applications. First, it provides a language and a way of thinking about verification and validation. Second, it suggests that we examine not the proc

Verification and validation of a winter
Verification and validation of a winter driving simulator
โœ Michael W. Parker; Sally A. Shoop; Barry A. Coutermarsh; Kyle D. Wesson; Jesse M ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 797 KB

A full vehicle dynamics simulator was constructed in SimCreator ร’ for the Cold Regions Research and Engineering Laboratory (CRREL) Instrumented Vehicle (CIV) and was used to investigate and validate the newly developed Vehicle Terrain Interaction (VTI) code. The VTI code replaces the tire component