Portal:Glossary
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
- 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
- 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
- ISO 9000:2005 (now deprecated, ISO 9000:2015 cannot access) "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:2005 (now deprecated, ISO 9000:2015 cannot access) 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."