Ruizhe

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review 作者是KCL的Hugo Araujo。 Abstraction We perform a systematic literature review on testing, validation, and verification of robotic and autonomous systems (RAS). The scope of this review covers peer-reviewed research papers proposing, improving, or evaluating testing techniques, processes, or tools that address the system-level qualities of RAS.Our survey is performed based on a rigorous methodology structure ...

Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example 作者是KCL的Kevin Lano。 Abstraction In this article, we address how the production of model transformations (MT) can be accelerated by automation of transformation synthesis from requirements, examples, and metamodels. We introduce a synthesis process based on metamodel matching, correspondence patterns between metamodels, and completeness and consistency analysis of matches. We ...

Early Validation and Verification of System Behaviour in Model-based Systems Engineering:A Systematic Literature Review 作者来自瑞典Mälardalen大学和Volvo建筑集团。 Abstraction In the Systems Engineering (SE) domain there has been a paradigm shift from document-based to model-based system development artefacts; in fact, new methodologies are emerging to meet the increasing complexity of current systems and the corresponding growing need of digital workflows. In this regard, Model-Based Systems Engineering (MB ...