Portal:Glossary

From Verification Body of Knowledge
Revision as of 10:59, 14 June 2022 by Lm2292 (talk | contribs)
Jump to navigation Jump to search

Offer different classifications and groupings - in main page

  • Verification techniques (tree?)
  • Metrics (grouping)
  • Application area (e.g. ML systems, for HRI, for medical robots)

Contents of each linked page:

  • definitions with links to sources
  • short discussion of how topic relates to verification of autonomous systems

Template for definition pages - please copy the markup from this page into your new definition page


Acceptability
Acceptance testing
Accountability
Activity

- set of tasks that describe the technical effort to accomplish a process and help generate expected outcome NASA Systems Engineering Handbook

Assessment
Assurance
Assurance cases
Autonomous System
"system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention" BSI 8611:2016
Autonomous systems design
Autonomy
Automation

- allocation of system functions to machines versus humans NASA Systems Engineering Handbook

Anomaly

- unexpected performance of intended function NASA Systems Engineering Handbook


Behavior verification for autonomous systems and ML systems
Behavioral verification


Combining V&V Techniques
Contextual reasoning
Correctness verification
Credibility
Cross-domain / multi-domain validation
Cyber-security


Dependability


Executable specifications
Experiment design
Explainability


Failure detection and recovery
Formal methods for autonomous systems
Formal modelling
Formal software verification
Functional assurance
Functional requirements
Functional verification


HRI (Human-robot interactions)
HRI verification
Hybrid Logical/Dynamical Planning and Verification


Generalizability


Integrity of autonomous systems


Liability
Licensing and certification


Model-based evaluation



Objective evidence
ISO 9000:2015 - "data, supporting the existence or verity of something" ISO 9000:2015


Operational design domain
Process

ISO 9000:2015 - "set of interrelated or interacting activities that use inputs to deliver an intended result" ISO 9000:2015

Qualitative assessment
Quality requirement

- ISO 9000:2015 - "requirement related to quality" ISO 9000:2015

Quality plan

- ISO 9000:2015 - "specification of the procedures and associated resources to be applied when and by whom to a specific object" ISO 9000:2015

Quantitative assessment


Performance evaluation and benchmarking
Privacy


Redundant robots
Reliability
Replicability
Reproducibility
Requirements
Workspace and conditions/context of operations
Requirement

- ISO 9000:2015 - "need or expectation that is stated, generally implied or obligatory" ISO 9000:2015

Requirements development processes
Resilience
Responsibility
Robot safety
Robotic Systems
Robot systems engineering
Robustness
Run-time verification and monitoring


Safety
Safety and security interaction
Safety in HRI
safety, system function
verification of any function in the system including ML & non-deterministic functions
Safety-centric HRI protocols
Safety requirements
Security
Security requirements
Simulation-based testing
Sim-based evaluation
Social/legal/ethical requirements
Software testing and debugging
Software tools for benchmarking and
Software tools for testing
software testing
Specification

- ISO 9000:2015 - "document stating requirements" ISO 9000:2015

Synthetic environment
to develop high level test scenarios, drive test case development


Test cases for verification purposes
Testing
Transparency
Trust
Trustworthiness


Use-case scenario generation
Use Case testing


Validation

- ISO 9000:2015 defines verification as "Confirmation, through the provision of objective evidence, that the requirements for a specific intended use or application have been fulfilled" ISO 9000:2015 - ISO/IEC/IEEE 15288:2015 further adds as "A system is able to accomplish its intended use, goals and objectives (i.e., meet stakeholder requirements) in the intended operational environment. The right system was built.”

Verification

- ISO 9000:2015 defines verification as "Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled" ISO 9000:2015 - ISO/IEC/IEEE 15288:2015 further adds as "Verification is a set of activities that compare a system or system element against the required characteristics. This includes, but is not limited to specified requirements, design description and the system itself. The system was built right."