Difference between revisions of "Portal:Glossary"
Jump to navigation
Jump to search
(Alphabetized.) |
|||
| Line 1: | Line 1: | ||
Offer different classifications and groupings - in main page | |||
* Verification techniques (tree?) | |||
* Metrics (grouping) | |||
* Application area (e.g. ML systems, for HRI, for medical robots) | |||
;Acceptability | ;Acceptability | ||
Revision as of 12:19, 19 April 2022
Offer different classifications and groupings - in main page
- Verification techniques (tree?)
- Metrics (grouping)
- Application area (e.g. ML systems, for HRI, for medical robots)
- 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