Portal:Glossary
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