KBS first prototype V&V process plan as a way to produce reliable requirements

被引:0
|
作者
Cardeñosa, J [1 ]
Escorial, D [1 ]
机构
[1] Univ Politecn Madrid, Dept Inteligencia Artificial, Fac Informat, Madrid, Spain
关键词
knowledge based systems; validation & verification; software reliability; methods of processes; requirements;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The Quality Assessment Process is in charge of assuring several performances of the software products and processes. One of them is the Software Reliability, perhaps the closest concept to the more general of Quality. These Quality processes should be integrated with the product development and depend mainly on two issues. One is the development methodology and the other is the type of product. The Knowledge Based Systems (KBS) are products whose software production presents special difficulties for the Validation and Verification (V&) process application. Indeed, the knowledge characteristics they model, often incomplete, imprecise, inconsistent and uncertain, are solved by the application of heuristics whose validation is difficult to carry out without the systematic application of test cases. This makes that often the development of KBS goes through a life cycle based on prototypes to build a consistent core that can be modelled conceptually and formally. This article aims to describe the set of V&V process activities that can be applied to a KBS core, that is, the essential components of a V&V Plan. Indeed although this Plan is often not defined, it is essential to assure the reliability of the system requirements, result of the prototyping phase.
引用
收藏
页码:11 / 24
页数:14
相关论文
共 41 条
  • [1] Optimizing the V&V Process for Critical Systems
    Kiper, James D.
    Feather, Martin S.
    Richardson, Julian
    [J]. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1139 - 1139
  • [2] VERIFICATION AND VALIDATION (V&V) OF GUIDANCE & CONTROL SYSTEMS: RESULTS FROM THE FIRST INTER-AGENCY WORKSHOP ON GNC V&V
    Dennehy, Cornelius
    Bennani, Samir
    Shankar, Uday
    Vandersteen, Jeroen
    VanZwieten, Tannen
    Von der Porten, Paul
    Wolf, Aron
    Girouart, Benedicte
    Casasco, Massimo
    [J]. PROCEEDINGS OF THE 44TH ANNUAL AMERICAN ASTRONAUTICAL SOCIETY GUIDANCE, NAVIGATION, AND CONTROL CONFERENCE, AAS 2022, 2024, : 399 - 432
  • [3] A new step towards the integration of probabilistic μ in the aerospace V&V process
    Roos, Clement
    Biannic, Jean-Marc
    Evain, Helene
    [J]. CEAS SPACE JOURNAL, 2024, 16 (01) : 59 - 71
  • [4] Use of static analysis in the V&V process for critical embedded software
    Leydier, C
    [J]. DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 323 - 330
  • [5] High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V
    Mezzetti, Enrico
    Kosmidis, Leonidas
    Abella, Jaume
    Cazorla, Francisco J.
    [J]. IEEE MICRO, 2018, 38 (01) : 56 - 65
  • [6] Scalable Ontology-Based V&V Process for Heterogeneous Systems and Applications
    Delabeye, Romain
    Penas, Olivia
    Plateaux, Regis
    [J]. ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 341 - 350
  • [7] A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software
    Miao, Weikai
    Yan, Qianqian
    Huang, Yihao
    Feng, Jincao
    Zheng, Hanyue
    [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 15 - 22
  • [8] V&V Plan for FPGA-based ESF-CCS Using System Engineering Approach.
    Maerani, Restu
    Mayaka, Joyce
    El Akrat, Mohamed
    Cheon, Jung Jae
    [J]. INTERNATIONAL CONFERENCE ON NUCLEAR ENERGY TECHNOLOGIES AND SCIENCES (ICONETS 2017), 2018, 962
  • [9] Parametric and V&V study in a fundamental CFD process: revisiting the lid-driven cavity flow
    Ge, Mingming
    Zhang, Xin-Lei
    Brookshire, Kaleb
    Coutier-Delgosha, Olivier
    [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2022, 94 (04): : 515 - 530
  • [10] DISCRETE EVENT SIMULATION OF APPOINTMENTS HANDLING AT A CHILDREN'S HOSPITAL CALL CENTER: LESSONS LEARNED FROM V&V PROCESS
    Pisaniello Jr, Angelo
    da Silva, Willian Borba
    Chwif, Leonardo
    Pereira, Wilson Inacio
    [J]. 2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 3861 - 3872