Filters








60,708 Hits in 6.3 sec

On the Verification and Validation of AI Navigation Algorithms [article]

Ivan Porres, Sepinoud Azimi, Sébastien Lafond, Johan Lilius, Johanna Salokannel, Mirva Salokorpi
2021 arXiv   pre-print
This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships.  ...  We perform a systematic mapping study to find research works published in the last 10 years proposing new algorithms for autonomous navigation and collision avoidance and we have extracted what verification  ...  CONCLUSIONS This paper explores the state of the art on the methods to verify and validate navigation algorithms for autonomous surface ships by carrying out a systematic mapping study.  ... 
arXiv:2101.06091v1 fatcat:pm5gcn4lavaw3bkspfto3eqede

Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns [article]

Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos, Patrizio Pelliccione, Danny Weyns, Thorsten Berger
2021 arXiv   pre-print
The goals of the system can be specified as formal properties that are verified against models of the system.  ...  Then, we consolidate the solution by mapping the properties in both worlds using specification patterns as common language and we verify the correctness of this mapping.  ...  ACKNOWLEDGMENT This work is supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation.  ... 
arXiv:2108.08139v1 fatcat:al7kfnrqxrc6xg2wsbmgymindm

The engineering of concurrent simulations of complex systems

Fiona A. C. Polack, Paul S. Andrews, Adam T. Sampson
2009 2009 IEEE Congress on Evolutionary Computation  
the emphasis on the need to validate all aspects of the simulation.  ...  In the context of simulation work to support immunological research, we explore relevant approaches to modelling, and draw on concepts from dependable and high-integrity systems engineering, including  ...  In engineering terms, we construct an occam-π simulation according to simple mapping assumptions -that states map to processes and that a lymphocyte maps to a process connected to a state process, and  ... 
doi:10.1109/cec.2009.4982951 dblp:conf/cec/PolackAS09 fatcat:4zntgjirgbdovinkvl7ad5ewom

The Integrated Vehicle Health Management Development Process: Verification and Validation of Simulation Models

O. Niculita, I. Jennions, P. Irving
2013 Chemical Engineering Transactions  
This paper describes an end-to-end Integrated Vehicle Health Management (IVHM) development process with a strong emphasis on the verification and validation of simulation models constructed during its  ...  This verification and validation process enables the development of an automated Functional FMECA (Failure Modes Effects and Criticality Analysis) by systematically capturing all the effects of the considered  ...  The first type of model is usually verified and validated against existing data from previous products and the first prototype version of the new system.  ... 
doi:10.3303/cet1333021 doaj:10af038ac80b4faf8511debd06f646d8 fatcat:zouelzpjwzbzxh6mw4uknyhqqa

Unification of verification and validation methods for software systems: progress report and initial case study formulation

J.C. Browne, C. Lin, K. Kane, Yoonsik Cheon, P. Teller
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
This paper presents initial research on unification of methods for verification and validation (V&V)of software systems. The synergism among methods for V&V are described.  ...  The initial steps of a case study of application of the unified approach to V&V is sketched including definition of the problem domain, the approach and some details of a property specification language  ...  process to verify and validate the properties and behaviors of the software.  ... 
doi:10.1109/ipdps.2006.1639582 dblp:conf/ipps/BrowneLKCT06 fatcat:dhgbuo5xlbdb5dxifdszcmkt74

Model transformation specification for automated formal verification

Asmiza Abdul Sani, Fiona A. C. Polack, Richard F. Paige
2011 2011 Malaysian Conference in Software Engineering  
The paper introduces a process for planning transformation and a language for capturing structural and behavioural characteristics of a model transformation, that supports templates which, when instantiated  ...  The development of model transformations is commonly an ad-hoc activity in MDE. Transformations are engineering artefacts, and can be developed in a disciplined way, like other software artefacts.  ...  Adapting activities from conventional software engineering, Trans-DV covers the process from A.  ... 
doi:10.1109/mysec.2011.6140647 fatcat:qj6x4o7byzbtzoqzd5o2gz4e3q

Are We Prepared for Simulation Based Studies in Software Engineering Yet?

Breno Bernard Nicolau de França, Guilherme Horta Travassos
2013 CLEI Electronic Journal  
procedures for the verification and validation of simulation models in the Software Engineering context.  ...  OBJECTIVE: To characterize simulation-based studies and identify the common simulation strategies in Software Engineering. METHOD: To undertake a quasi-Systematic Review.  ...  We should like to acknowledge and thank Dr. Marco Antonio Araújo for his assistance as second researcher, supporting the selection stage of this work's protocol trial.  ... 
doi:10.19153/cleiej.16.1.8 fatcat:j7dkbf5yc5c5lnkecec434kwhm

A systematic IP and bus subsystem modeling for platform-based system design

Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-Taek Kim, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo, Taewhan Kim
2006 Proceedings of the Design Automation & Test in Europe Conference  
Here, one critical factor required for a successful system modeling is a systematic modeling of the IP blocks and bus subsystem connecting the IPs.  ...  The second step then refines the models of the software and hardware blocks (i.e., IPs) to increase the simulation accuracy for the system performance analysis.  ...  Kim is supported by the Ministry of Science and Technology / Korea Science and Engineering Foundation through the Advanced Information Technology Research Center (AITrc).  ... 
doi:10.1109/date.2006.243954 dblp:conf/date/UmKHKCKEK06 fatcat:7zoi7zd6gjhqlaoqi6haz4lh7u

A Framework for Integrating Web Accessibility Requirements in Agile Methodologies

Darliane G Miranda, João Araujo
2020 Zenodo  
The framework consists, primarily, of an accessibility requirements model defined by extending (systematically) a goal-oriented model (the iStar framework).  ...  We propose the development and assessment of a framework to support the elicitation and analysis of web accessibility requirements, in an agile context.  ...  they are often difficult to interpret and understand by developers or software State of the Art After conducting a systematic mapping study (see section 3.1), it was feasible to identify some relevant  ... 
doi:10.5281/zenodo.4618348 fatcat:jghfvjhuufbondu4w6blvbns4u

A Proposed Model for Simulation Validation Process Maturity

S. Y. Harmon, Simone M. Youngblood, David C. Gross
2005 The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology  
process maturity model itself, and the implications of that model on validation processes and products.  ...  The development of this model begins by recognizing validation as a process that generates information as its sole product and therefore resembles a systematic quest for truth.  ... 
doi:10.1177/154851290500200402 fatcat:xqgcp2wtvbb4blc2kyogoahvoe

Systematic Mapping Study of Model Transformations for Concrete Problems

Edouard Batot, Houari Sahraoui, Eugene Syriani, Paul Molins, Wael Sboui
2016 Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development  
In this paper, we report on a systematic mapping study that aims at understanding the trends and characteristics of concrete model transformations published in the past decade.  ...  As a contribution to the adoption of the Model-Driven Engineering (MDE) paradigm, the research community has proposed concrete model transformation solutions for the MDE infrastructure and for domain-specific  ...  and Systems Modeling (SOSYM) Screening Procedure Screening is the most crucial phase in the systematic mapping process [14] .  ... 
doi:10.5220/0005657301760183 dblp:conf/modelsward/BatotSSMS16 fatcat:xufngqy5kza6hhkhu6vzxfwzpq

A systematic literature review on the industrial use of software process simulation

Nauman Bin Ali, Kai Petersen, Claes Wohlin
2014 Journal of Systems and Software  
Context -Software process simulation modelling (SPSM) captures the dynamic behavior and uncertainty in the software process.  ...  Method -A systematic literature review was performed to identify, assess and aggregate empirical evidence on the usefulness of SPSM.  ...  This work has been supported by ELLIIT, a Strategic Area within IT and Mobile Communications, funded by the Swedish Government.  ... 
doi:10.1016/j.jss.2014.06.059 fatcat:zq7coamd55btzkko2tuygwcxkq

Multilevel Design Validation in a Secure Embedded System

P. Schaumont, D. Hwang, Shenglin Yang, I. Verbauwhede
2006 IEEE transactions on computers  
We discuss how the ThumbPod-2 design is partitioned into a side-channel-free implementation, and how a codesign environment called GEZEL is used to validate this partitioning process at each abstraction  ...  By using multi-level validation, we can observe the flow of sensitive information through the system as it takes on multiple forms, from software variables to hardware bus-signals.  ...  withstand a wide range of security attacks. VII.  ... 
doi:10.1109/tc.2006.184 fatcat:ra7zvrwknbep5b67byuzdk54lq

A Systematic Mapping Study of Empirical Studies on Software Cloud Testing Methods

Amro Al-Said Ahmad, Pearl Brereton, Peter Andras
2017 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)  
Objective: The purpose of this systematic mapping study is to provide an overview of the empirical research in the area of software cloud-based testing, in order to build a classification scheme.  ...  With the increasing interest in the development of cloud computing, and increasing demand for cloud-based services, it has become essential to systematically review the research in the area of software  ...  A systematic mapping study is reported in two research papers, [6] [12] , using the 5W+1H model for reporting systematic reviews.  ... 
doi:10.1109/qrs-c.2017.94 dblp:conf/qrs/AhmadBA17 fatcat:qemz4oinz5clhcculuigri3kp4

Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface [article]

Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
2022 arXiv   pre-print
Finally, we show checking the correctness of the resulting code through formal verification of individual matched operations and fully automated simulation-based validation of complete applications.  ...  The evaluation of the prototype compiler is based on six different DL applications and three different accelerators.  ...  Acknowledgments This work was supported in part by the Applications Driving Architectures (ADA) Research Center, a JUMP Center cosponsored by SRC and DARPA.  ... 
arXiv:2203.00218v1 fatcat:xorbvhk6efbupfnlfq5pwj37h4
« Previous Showing results 1 — 15 out of 60,708 results