Portal:Glossary

From Verification Body of Knowledge
Revision as of 15:17, 10 April 2022 by Signe (talk | contribs) (Working on alphabetization and organization)
Jump to navigation Jump to search
Acceptability
Assurance
Assurance cases
Behavior verification for autonomous systems and ML systems
Correctness verification
Cyber-security
Dependability
Failure detection and recovery
Formal methods for autonomous systems
Functional assurance
Functional requirements
Human-robot interactions
Qualitative assessment
Quantitative assessment
Redundant robots
Reliability
Requirements
Requirements development processes
Robot safety
Robotic Systems
Robustness
Safety
Safety in HRI
Safety requirements
Security
Security requirements
Specifications
Trust
Trustworthiness
Workspace and conditions/context of operations
Resilience
software testing
Functional verification
safety, system function
Behavioral verification
verification of any function in the system including ML & non-deterministic functions
Cross-domain / multi-domain validation
Safety and security interaction
Social/legal/ethical requirements
Privacy
Responsibility
HRI verification
Safety-centric HRI protocols
Accountability
Liability
Software tools for benchmarking and
Software tools for testing
Explainability
Reproducibility
Hybrid Logical/Dynamical Planning and Verification
Performance evaluation and benchmarking
Robot systems engineering
Software testing and debugging
Experiment design
Acceptance testing
Model-based evaluation
Sim-based evaluation
Performance evaluation
Replicability
Generalizability
Assessment
Transparency
Formal software verification
Licensing and certification
Run-time verification and monitoring
Validation
Integrity of autonomous systems
Verification
Formal modelling
Credibility
Simulation-based testing
Operational design domain
Use Case testing
Testing
Use-case scenario generation
Synthetic environment
to develop high level test scenarios, drive test case development
Test cases for verification purposes
Executable specifications
Combining V&V Techniques
Contextual reasoning
Autonomous systems design