Difference between revisions of "Portal:Glossary"
Jump to navigation
Jump to search
(Alphabetized.) |
|||
| Line 11: | Line 11: | ||
;Behavior verification for autonomous systems and ML systems | ;Behavior verification for autonomous systems and ML systems | ||
;Behavioral verification | ;Behavioral verification | ||
;Combining V&V Techniques | ;Combining V&V Techniques | ||
| Line 18: | Line 19: | ||
;Cross-domain / multi-domain validation | ;Cross-domain / multi-domain validation | ||
;Cyber-security | ;Cyber-security | ||
;Dependability | ;Dependability | ||
;Executable specifications | ;Executable specifications | ||
;Experiment design | ;Experiment design | ||
;Explainability | ;Explainability | ||
;Failure detection and recovery | ;Failure detection and recovery | ||
| Line 32: | Line 36: | ||
;Functional requirements | ;Functional requirements | ||
;Functional verification | ;Functional verification | ||
;HRI (Human-robot interactions) | ;HRI (Human-robot interactions) | ||
;HRI verification | ;HRI verification | ||
;Hybrid Logical/Dynamical Planning and Verification | ;Hybrid Logical/Dynamical Planning and Verification | ||
;Generalizability | ;Generalizability | ||
;Integrity of autonomous systems | ;Integrity of autonomous systems | ||
;Liability | ;Liability | ||
;Licensing and certification | ;Licensing and certification | ||
;Model-based evaluation | ;Model-based evaluation | ||
;Operational design domain | ;Operational design domain | ||
;Qualitative assessment | ;Qualitative assessment | ||
;Quantitative assessment | ;Quantitative assessment | ||
;Performance evaluation and benchmarking | ;Performance evaluation and benchmarking | ||
;Privacy | ;Privacy | ||
;Redundant robots | ;Redundant robots | ||
| Line 59: | Line 72: | ||
;Reproducibility | ;Reproducibility | ||
;Requirements | ;Requirements | ||
: Workspace and conditions/context of operations | |||
;Requirements development processes | ;Requirements development processes | ||
;Resilience | ;Resilience | ||
| Line 67: | Line 81: | ||
;Robustness | ;Robustness | ||
;Run-time verification and monitoring | ;Run-time verification and monitoring | ||
;Safety | ;Safety | ||
| Line 87: | Line 102: | ||
;Synthetic environment | ;Synthetic environment | ||
: to develop high level test scenarios, drive test case development | : to develop high level test scenarios, drive test case development | ||
;Test cases for verification purposes | ;Test cases for verification purposes | ||
| Line 94: | Line 110: | ||
;Trustworthiness | ;Trustworthiness | ||
;Use-case scenario generation | ;Use-case scenario generation | ||
;Use Case testing | ;Use Case testing | ||
;Validation | ;Validation | ||
;Verification | ;Verification | ||
Revision as of 13:49, 11 April 2022
- Acceptability
- Acceptance testing
- Accountability
- Assessment
- Assurance
- Assurance cases
- Autonomous systems design
- 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
- Operational design domain
- Qualitative assessment
- Quantitative assessment
- Performance evaluation and benchmarking
- Privacy
- Redundant robots
- Reliability
- Replicability
- Reproducibility
- Requirements
- Workspace and conditions/context of operations
- 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
- Specifications
- 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
- Verification