Portal:Glossary

If you want to add a new term, please use the template here (TODO: put link to template)

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

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

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"

Operational design domain

Qualitative assessment

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"

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"

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/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/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."

Quality requirement

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