Difference between revisions of "Portal:Glossary"
Jump to navigation
Jump to search
| Line 66: | Line 66: | ||
;Model-based evaluation | ;Model-based evaluation | ||
;Objective evidence: | |||
- ISO 9000:2015 - "data, supporting the existence or verity of something" | |||
| Line 85: | Line 89: | ||
;Requirements | ;Requirements | ||
: Workspace and conditions/context of operations | : Workspace and conditions/context of operations | ||
;Requirement | |||
- ISO 9000:2015 - "need or expectation that is stated, generally implied or obligatory" | |||
;Requirements development processes | ;Requirements development processes | ||
;Resilience | ;Resilience | ||
| Line 111: | Line 119: | ||
;Software tools for testing | ;Software tools for testing | ||
: software testing | : software testing | ||
; | ;Specification | ||
- ISO 9000:2015 - "document stating requirements" | |||
;Synthetic environment | ;Synthetic environment | ||
: to develop high level test scenarios, drive test case development | : to develop high level test scenarios, drive test case development | ||
| Line 128: | Line 137: | ||
;Validation: | ;Validation: | ||
- | - ISO 9000:2015 defines verification as "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.” | - 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: | ;Verification: | ||
- | - ISO 9000:2015 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." | - 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." | ||
;Quality requirement | |||
- ISO 9000:2015 - "requirement related to quality" | |||
Revision as of 11:30, 17 May 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)
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
- Objective evidence
- ISO 9000:2015 - "data, supporting the existence or verity of something"
- Operational design domain
- Qualitative assessment
- Quantitative assessment
- Performance evaluation and benchmarking
- Privacy
- Redundant robots
- Reliability
- Replicability
- Reproducibility
- Requirements
- Workspace and conditions/context of operations
- Requirement
- ISO 9000:2015 - "need or expectation that is stated, generally implied or obligatory"
- 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
- Specification
- ISO 9000:2015 - "document stating requirements"
- 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:2015 defines verification as "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:2015 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."
- Quality requirement
- ISO 9000:2015 - "requirement related to quality"