Search Results - "Validation and verification"

A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices

Authors: Cederbladh, Johan Cicchetti, Antonio Jongeling, Robbert

Source: ACM Transactions on Software Engineering and Methodology. 34(5)

Subject Terms: Behaviour, Early, Models, Systems, Validation, Verification, Computer aided software engineering, Computer operating systems, Computer software maintenance, Computer software selection and evaluation, Model checking, Software design, Software quality, Behavior, Engineering best practice, Model-based system engineerings, Roadmap, System, System behaviors, Validation and verification, Verification method, System of systems

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-72169
https://doi.org/10.1145/3708520

FLITESIM: A Comprehensive Verification and Validation Environment for Small Satellite Attitude Determination and Control Systems

Authors: Kai Jie Ethan Foo Mihindukulasooriya Sheral Crescent Tissera Kay Soon Low et al.

Source: IEEE Access, Vol 13, Pp 109069-109086 (2025)

Subject Terms: satellite simulators, small satellites, attitude determination, system validation and verification, hardware-in-the-loop testing, Attitude control, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Access URL: https://doaj.org/article/f20942127331480691c922d4fa0ea22e

Improvement of macroscopic turbulence model for subchannel analysis in the rod bundle array

Authors: Seok Kim Jee Min Yoo Sang-Ki Moon

Source: Nuclear Engineering and Technology, Vol 56, Iss 12, Pp 5118-5135 (2024)

Subject Terms: TK9001-9401, 0103 physical sciences, Validation and verification, 0202 electrical engineering, electronic engineering, information engineering, Nuclear engineering. Atomic power, Turbulence model, 02 engineering and technology, Subchannel analysis, Crossflow, 01 natural sciences, Rod bundle

Access URL: https://doaj.org/article/3830a5127b604a14a016e1730bd29ff5

Digital casting framework design and its application for integrated foundry process system development

Authors: Dong Xiang Shuren Guo Xuanpu Dong et al.

Source: Materials & Design, Vol 260, Iss , Pp 115026- (2025)

Subject Terms: Casting process design, Computer-aided Design, Validation and verification, Digital transformation, Advanced manufacturing, Materials of engineering and construction. Mechanics of materials, TA401-492

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S0264127525014479; https://doaj.org/toc/0264-1275

Access URL: https://doaj.org/article/56411c31e89e434ea1b9925fa2b5ebab

Peculiarities of validation of climate projects, verification of their implementation results and changes in requirements for greenhouse gas validation and verification bodies

Authors: Elena V. Savenkova Ivan A. Kushch Denis V. Sukhetsky et al.

Source: RUDN Journal of Ecology and Life Safety, Vol 33, Iss 2, Pp 132-144 (2025)

Subject Terms: voluntary carbon market, climate project, carbon unit, validation, verification, greenhouse gas validation and verification bodies, accreditation criteria, Environmental sciences, GE1-350

File Description: electronic resource

Relation: https://journals.rudn.ru/ecology/article/viewFile/44828/24914; https://doaj.org/toc/2313-2310; https://doaj.org/toc/2408-8919

Access URL: https://doaj.org/article/6ac551af108348e8964311a47d517b28

Challenges of Virtual Validation and Verification for Automotive Functions

Authors: Cabrero-Daniel, Beatriz Mohamad, Mazen

Source: Etablera Virtuell Validering och Verifiering av ADAS- och AD-funktioner 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, Salerno, Italy Lecture Notes in Computer Science. 16081 LNCS:183-200

Subject Terms: Validation and Verification, Simulation, Challenges, Autonomous Driving

Access URL: https://research.chalmers.se/publication/548365

Shallow channel spillway flow distribution experiments

Authors: Hedberg, Mikael Hellström, Gunnar Andersson, Anders et al.

Contributors: Hedberg, Mikael Hellström, Gunnar Andersson, Anders et al.

Source: Proceedings of the 9th IAHR International Junior Researcher and Engineer Workshop on Hydraulic Structures (IJREWHS 2024)

Subject Terms: Spillway, Open channel, Validation and Verification, Spillways, Non-ideal approach flow

File Description: application/application/pdf

Access URL: http://hdl.handle.net/20.500.11850/727191

Evaluation of SiL Testing Potential—Shifting from HiL by Identifying Compatible Requirements with vECUs

Authors: Rudolf Keil Jan Alexander Tschorn Johannes Tümler et al.

Source: Vehicles, Vol 6, Iss 2, Pp 920-948 (2024)

Subject Terms: 0211 other engineering and technologies, software-in-the-loop, TL1-4050, 02 engineering and technology, virtual electronic control units, automotive software testing, validation and verification, TJ1-1570, 0202 electrical engineering, electronic engineering, information engineering, Mechanical engineering and machinery, AUTOSAR standard, TJ227-240, Machine design and drawing, Motor vehicles. Aeronautics. Astronautics

Access URL: https://doaj.org/article/710606783d744debb1eb709f57ed8895

A Survey of Validation and Verification Methods for AI-Based Vehicle Functions

Authors: Aslandere, Turgay Durak, Umut

Source: SAE International Journal of Connected and Automated Vehicles.

Subject Terms: Vehicle functions, AI, Tests, Machine learning, Validation and verification, Deep learning

Access URL: https://elib.dlr.de/212157/
https://doi.org/10.4271/12-08-04-0031.

Simulation and Testing of Autonomous Cybersecurity Systems: Propose methodologies for simulating cyber-attack scenarios in space environments to test the effectiveness of autonomous cybersecurity systems and human interactions under stress

Authors: Tasdighi, Anahita

Subject Terms: Autonomous systems, Cybersecurity, Space missions, Ethical considerations, Accountability, Machine learning, Adversarial at- tacks, Vulnerability, Human factors, Cognitive overload, Trust in automation, Human-machine collaboration, Validation and verification, Simulation testing, Regulatory compliance, Standardized protocols, Risk management, Incident reporting, Data privacy, Interoperability

Physical modeling and simulation of electro-mechanical actuator-based TVC systems for reusable launch vehicles

Authors: Fari, Stefano Seelbinder, David Theil, Stephan et al.

Source: Acta Astronautica. 214:790-808

Subject Terms: Modelica, Electro-mechanical Actuators, Validation and Verification, Modeling and simulation, Thrust Vector Control, Reusable Launch Vehicles

Resilience and Antifragility of Autonomous Systems

Authors: Burton, Simon Calinescu, Radu Mirandola, Raffaela

Source: ISSN: 2192-5283.

Subject Terms: artificial intelligence, antifragility, autonomous systems, disturbance, ethics, formal methods, machine learning, nondeterminism, resilience, safety, self-adaptive systems, validation and verification, uncertainty, General and reference → Reliability, General and reference → Metrics, General and reference → Validation, Computer systems organization → Embedded and cyber-physical systems, Computer systems organization → Dependable and fault-tolerant systems and networks, Software and its engineering, Theory of computation → Logic, Mathematics of computing → Probability and statistics, Computing methodologies → Artificial intelligence, Computing methodologies → Machine learning, Human-centered computing, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

File Description: application/pdf

Relation: Dagstuhl Reports; info:eu-repo/semantics/altIdentifier/issn/2192-5283; https://publikationen.bibliothek.kit.edu/1000178713; https://publikationen.bibliothek.kit.edu/1000178713/156836327; https://doi.org/10.5445/IR/1000178713

Availability: https://publikationen.bibliothek.kit.edu/1000178713
https://publikationen.bibliothek.kit.edu/1000178713/156836327
https://doi.org/10.5445/IR/1000178713

A Global Survey of Standardization and Industry Practices of Automotive Cybersecurity Validation and Verification Testing Processes and Tools

Authors: Roberts, Andrew Marksteiner, Stefan Soyturk, Mujdat et al.

Contributors: Roberts, Andrew Marksteiner, Stefan Soyturk, Mujdat et al.

Source: SAE MOBILUS

Subject Terms: Cybersecurity standards, Best Practices, 13. Climate action, 11. Sustainability, Validation and verification, Cybersecurity testing, 7. Clean energy

File Description: application/pdf

Responsible use of AI in military systems: prospects and challenges

Authors: Jan Maarten Schraagen DSS - Defence, Safety & Security HMT - Human Machine Teaming

Contributors: Jan Maarten Schraagen DSS - Defence, Safety & Security HMT - Human Machine Teaming

Source: Ergonomics, 66(11), pp. 1719-1729.

Subject Terms: Ethics, Reproducibility of Results, Awareness, 16. Peace & justice, Explainability, Transparency, Automation, Military Personnel, Military systems, Artificial Intelligence, Validation and verification, Humans, Human-machine teaming, Testing and evaluation

Access URL: https://pubmed.ncbi.nlm.nih.gov/37905780
https://resolver.tno.nl/uuid:84cc3d39-a0fe-4190-a0e1-efe85e4e0f7e

Investigating techno-economic effects and environmental impacts of energy renovation of residential building clusters on a district heating system

Authors: Weinberger, Gottfried Amiri, Shahnaz Moshfegh, Bahram

Source: Energy and Buildings. 251

Subject Terms: Building energy simulation, Building LCC optimization, Cluster energy renovation, Cogeneration, District heating, Energy system optimization, Residential buildings, Validation and verification, Sustainable Urban Development, Hållbar stadsutveckling

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-36931
https://doi.org/10.1016/j.enbuild.2021.111327

Learning-Guided Fuzzing for Testing Stateful SDN Controllers

Authors: Raphaël Ollando Seung Yeob Shin Lionel C Briand

Subject Terms: Software testing, verification and validation, Software-defined Networking - SDN, Software Validation and Verification

Availability: https://doi.org/10.6084/m9.figshare.27180477.v1
https://figshare.com/articles/journal_contribution/Learning-Guided_Fuzzing_for_Testing_Stateful_SDN_Controllers/27180477

Putting Methods into Practice to Ensure the Trustworthiness of Highly Automated Maritime Operations

Authors: Feuerstack, Sebastian

Subject Terms: Validation and Verification, Maritime Safety

Access URL: https://elib.dlr.de/206990/

Absicherung assistierter und hoch-automatisierter maritimer Systeme

Authors: Feuerstack, Sebastian

Subject Terms: Validation and Verification, Maritime Safety

Access URL: https://elib.dlr.de/206991/

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

Authors: Calvanese D. De Giacomo G. Montali M. et al.

Source: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. :2553-2560

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Knowledge representation and reasoning, reasoning about actions, validation and verification

File Description: application/pdf

A formal implementation of Behavior Trees to act in robotics

Authors: Ingrand, Félix Équipe Robotique et InteractionS (LAAS-RIS) Laboratoire d'analyse et d'architecture des systèmes (LAAS) et al.

Contributors: Ingrand, Félix Équipe Robotique et InteractionS (LAAS-RIS) Laboratoire d'analyse et d'architecture des systèmes (LAAS) et al.

Source: https://laas.hal.science/hal-04954024 ; 2025.

Subject Terms: Formal model, Runtime Verification, Validation and Verification, Acting in Robotics, Behavior Tree, FOS: Computer and information sciences, Robotics (cs.RO), [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2502.11904; info:eu-repo/grantAgreement//101070596/EU/European ROBotics and AI Network/euROBIN; ARXIV: 2502.11904

Availability: https://laas.hal.science/hal-04954024
https://laas.hal.science/hal-04954024v2/document
https://laas.hal.science/hal-04954024v2/file/arXiv.pdf
https://doi.org/10.48550/arXiv.2502.11904