Filters








116,728 Hits in 5.0 sec

IVVES (Industrial-Grade Verification and Validation of Evolving Systems)

Pekka Aho, Tanja E. J. Vos, Otto Sybrandi, Sorin Patrasoiu, Joona Oikarinen, Olivia Rodriguez Valdes, Lianne V. Hufkens
2022 Research Challenges in Information Science  
IVVES (Industrial-Grade Verification and Validation of Evolving Systems) project aims to address these challenges by researching and developing methods to test ML and AI solutions and evolving systems,  ...  This introduces new challenges for verification, validation and software testing. The traditional way of testing the systems during the development and before the deployment does not suffice anymore.  ...  Acknowledgments This project has been labelled by ITEA3 and funded in the Netherlands by the Netherlands Enterprise Agency (RVO).  ... 
dblp:conf/rcis/AhoVSPOVH22 fatcat:p4n4ox7j2bd6vgcwwwrciutrgy

VERIFICATION AND VALIDATION OF A SOFTWARE: A REVIEW OF THE LITERATURE

Atica M. Altaie, Rasha Gh. Alsarraj, Asmaa H. Al-Bayati
2020 Iraqi Journal for Computers and Informatics  
There is a necessity in delivering software of top quality. It might be accomplished through using the procedures of Verification and Validation (V&V) via development processes.  ...  functioning and validating the product for each one of the client's requirements.  ...  In the same year, Gogolla et al introduced and provided a necessary use cases to modeling software using UML and OCL in many aspects which are model verification, validation, and exploration to assist  ... 
doi:10.25195/ijci.v46i1.249 fatcat:pmw64n2i4zb5xegukcnwuuaefa

Use of C/C++ models for architecture exploration and verification of DSPs

D. Brier, R.S. Mitra
2006 Proceedings - Design Automation Conference  
Thus, high quality design and verification are achieved by the use of valid models and the valid use of models.  ...  Such high-level explorations allow early examination of the algorithms and the architectural trade-offs that must be made for a practical implementation.  ...  The alternative is to perform an adequate bout of validation on the model to achieve a level of assurance that the basic algorithms are correct and thus leaving out corner cases and uninteresting conditions  ... 
doi:10.1109/dac.2006.229169 fatcat:nshvpwxegjatvgoqcap43azzfa

Use of C/C++ models for architecture exploration and verification of DSPs

David Brier, Raj S. Mitra
2006 Proceedings of the 43rd annual conference on Design automation - DAC '06  
Thus, high quality design and verification are achieved by the use of valid models and the valid use of models.  ...  Such high-level explorations allow early examination of the algorithms and the architectural trade-offs that must be made for a practical implementation.  ...  The alternative is to perform an adequate bout of validation on the model to achieve a level of assurance that the basic algorithms are correct and thus leaving out corner cases and uninteresting conditions  ... 
doi:10.1145/1146909.1146935 dblp:conf/dac/BrierM06 fatcat:g2fqqrxklnderlxjucbkusyfn4

EAGLE

Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
producer in creating the appropriate integration means towards G, and validates the quality of the integrated system with respect to G and the current context.  ...  In this paper, we introduce a novel paradigm of software production process that explores available software and assesses its degree of uncertainty in relation to the opportunistic goal G, assists the  ...  Finally, if the validation step shows that the goal is achieved (yes) then an entire explore-integrate-validate iteration is terminated.  ... 
doi:10.1145/2025113.2025199 dblp:conf/sigsoft/AutiliCRIPT11 fatcat:xkorcpfsybempcmmgkgj7mwijq

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification [chapter]

Martin Gogolla, Khanh-Hoang Doan
2017 Conceptual Modeling Perspectives  
Use Cases Applied in a Conceptual Modeling Example This section explores four from the above eight model validation and verification use cases in a conceptual modeling example.  ...  Finding correct and expressive models is important. Common model quality improvement techniques are model validation ("Are we building the right product?")  ... 
doi:10.1007/978-3-319-67271-7_11 dblp:conf/birthday/GogollaD17 fatcat:wmo7f423bngp3apl7p4vutqcye

Acceleration of Košice-Airport-Bound Shuttle Boarding

Gabriel Fedorko, Vieroslav Molnár, Lenka Lacková, L. Bartuška
2018 MATEC Web of Conferences  
Through simulating further two suggested modifications in the placement of ticket validators in the vehicle and through using the same input data, the passenger boarding time has been reduced.  ...  The data in the models can be modified and altered according to various requirements and criteria.  ...  [4] explored the type of bus transport, the quality of bus services that influence a passenger's decision, as well as a bus operator´s and a driver´s roles.  ... 
doi:10.1051/matecconf/201823601002 fatcat:imkv32hasfbdvhzlckk6i6r2xi

A Formal Model for Dynamically Adaptable Services [article]

Jorge Fox
2010 arXiv   pre-print
This paper elaborates a well-founded model and theory of DA, introducing formalisms written using COWS. The model is evaluated for reliability and responsiveness properties with the model checker CMC.  ...  This motivates a need to ensure the correct behaviour of the adapted systems, and its continuing compliance to time bounds and other QoS properties.  ...  to ensure implementations of high quality [1] , verification and validation of the behaviour of adaptive programs [2] , and architecture engineering processes that validate a program against desired  ... 
arXiv:1011.2652v1 fatcat:qx6ywa5fjjbcbh4wuqjg2vllpa

The SMOS Soil Moisture Retrieval Algorithm

Yann H. Kerr, Philippe Waldteufel, Philippe Richaume, Jean Pierre Wigneron, Paolo Ferrazzoli, Ali Mahmoodi, Ahmad Al Bitar, François Cabot, Claire Gruhier, Silvia Enache Juglea, Delphine Leroux, Arnaud Mialon (+1 others)
2012 IEEE Transactions on Geoscience and Remote Sensing  
To achieve this purpose, after checking input data quality and ingesting auxiliary data, the retrieval process per se can be initiated.  ...  We will also be more explicit on the algorithm validation and verification approaches together with the making of test data sets from existing and synthetic data.  ...  To achieve this purpose, after checking input data quality and ingesting auxiliary data, the retrieval process per se can be initiated.  ... 
doi:10.1109/tgrs.2012.2184548 fatcat:22inbo4cvrcbrcbwxnw4lomjvi

REQUIREMENTS DEFINITION AND MANAGEMENT PRACTICE TO IMPROVE PROJECT OUTCOMES / REIKALAVIMŲ APIBRĖŽIMAS IR VADYBA GERINANT PROJEKTO REZULTATUS

Li-Ren Yang, Jieh-Haur Chen, Chung-Fah Huang
2012 Journal of Civil Engineering and Management  
The testing supports a role for requirements quality as a partial mediator in the relationship between RDM practice and project performance.  ...  The primary purpose of this research was to investigate the mediating effect of requirements quality on the relationship between RDM practice and project performance.  ...  Cluster means of discriminating variables Independent variable Cost and schedule success Quality performance Model 1 Model 2 Model 1 Model 2 Verification and validation 0.571 a,*** 0.334 **  ... 
doi:10.3846/13923730.2012.657340 fatcat:iznyv6qyqje6di6l7waq5wjez4

MBSE and V&V: a tool-equipped method for combining various V&V strategies

B. Nastov, V. Chapurlat, F. Pfister, C. Dony
2017 IFAC-PapersOnLine  
Abstract: Model-Based System engineering (MBSE) promotes Verification and Validation (V&V) as crucial activities to demonstrate, during the system design stage and based on models, that a system meets  ...  Abstract: Model-Based System engineering (MBSE) promotes Verification and Validation (V&V) as crucial activities to demonstrate, during the system design stage and based on models, that a system meets  ...  an overall better V&V for the achievement of more valid and less error-prone models. xviCore aims at bridging the gap between the designed SoI models and the existing V&V techniques and tools.  ... 
doi:10.1016/j.ifacol.2017.08.1309 fatcat:5npryo7qm5d2venpjjbenjcn3q

Coverage-Driven Verification — [chapter]

Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder
2015 Lecture Notes in Computer Science  
We demonstrate the validity and feasibility of the proposed approach by constructing a custom CDV testbench and applying it to the verification of an object handover task.  ...  Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification.  ...  We are grateful for the productive discussions with Yoav Hollander, Yaron Kashai, Ziv Binyamini and Mike Bartley.  ... 
doi:10.1007/978-3-319-26287-1_5 fatcat:h3aii4inxnhubihgmqa65uypkm

Advances in Quantitative Verification for Ubiquitous Computing [chapter]

Marta Kwiatkowska
2013 Lecture Notes in Computer Science  
via model checking − quantitative verification Rigorous software engineering • Verification and validation − Derive model, or extract from software artefacts − Verify correctness, validate if  ...  Validation Verification Verification Verification Verification 12 Quantitative verification now Probabilistic model e.g.  ... 
doi:10.1007/978-3-642-39718-9_3 fatcat:emkb7jqcurg37nhkdyeel6icma

Challenges for Addressing Quality Factors in Model Transformation

Eugene Syriani, Jeff Gray
2012 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation  
Verification and validation of these patterns allow us to assess whether the cataloged design patterns are sound and complete with respect to the quality criteria.  ...  This paper proposes solution ideas to assist modelers in developing high quality transformation models. We propose to initiate a design pattern movement in the context of model transformation.  ...  The verification and validation of model transformation has become one of the main challenges in the last years.  ... 
doi:10.1109/icst.2012.198 dblp:conf/icst/SyrianiG12 fatcat:gmokimualzfinoyfjqkiw6iil4

Estimating Project Performance through a System Dynamics Learning Model

Thomas Walworth, Mike Yearworth, Laura Shrieves, Hillary Sillitto
2016 Systems Engineering  
The final validated and verified model overlays the idea of a learning 'S-curve' abstraction onto a rework cycle system archetype.  ...  Once applied in System Dynamics this matched the mental models of experienced managers within the company, and triangulates with validated empirical data from within the literature.  ...  Validation/Verification Application of the model required proper validation and verification, where verification is meeting the needs of the user (and client) and validation is determining the ability  ... 
doi:10.1002/sys.21349 fatcat:3gzkwfeecfaenockugss2cspbe
« Previous Showing results 1 — 15 out of 116,728 results