Difference between revisions of "Portal:Glossary"
Jump to navigation
Jump to search
(Working on alphabetization and organization) |
|||
| Line 1: | Line 1: | ||
;Acceptability | ;Acceptability | ||
;Acceptance testing | |||
;Accountability | |||
;Assessment | |||
;Assurance | ;Assurance | ||
;Assurance cases | ;Assurance cases | ||
;Autonomous systems design | |||
;Behavior verification for autonomous systems and ML systems | ;Behavior verification for autonomous systems and ML systems | ||
;Behavioral verification | |||
;Combining V&V Techniques | |||
;Contextual reasoning | |||
;Correctness verification | ;Correctness verification | ||
;Credibility | |||
;Cross-domain / multi-domain validation | |||
;Cyber-security | ;Cyber-security | ||
;Dependability | ;Dependability | ||
;Executable specifications | |||
;Experiment design | |||
;Explainability | |||
;Failure detection and recovery | ;Failure detection and recovery | ||
;Formal methods for autonomous systems | ;Formal methods for autonomous systems | ||
;Formal modelling | |||
;Formal software verification | |||
;Functional assurance | ;Functional assurance | ||
;Functional requirements | ;Functional requirements | ||
;Functional verification | |||
;Human-robot interactions | ;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 | ;Qualitative assessment | ||
;Quantitative assessment | ;Quantitative assessment | ||
;Performance evaluation and benchmarking | |||
;Privacy | |||
;Redundant robots | ;Redundant robots | ||
;Reliability | ;Reliability | ||
;Replicability | |||
;Reproducibility | |||
;Requirements | ;Requirements | ||
;Requirements development processes | ;Requirements development processes | ||
;Resilience | |||
;Responsibility | |||
;Robot safety | ;Robot safety | ||
;Robotic Systems | ;Robotic Systems | ||
: Robot systems engineering | |||
;Robustness | ;Robustness | ||
;Run-time verification and monitoring | |||
;Safety | ;Safety | ||
;Safety and security interaction | |||
;Safety in HRI | ;Safety in HRI | ||
: safety, system function | |||
: verification of any function in the system including ML & non-deterministic functions | |||
;Safety-centric HRI protocols | |||
;Safety requirements | ;Safety requirements | ||
;Security | ;Security | ||
;Security requirements | ;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 | ;Specifications | ||
;Synthetic environment | |||
: to develop high level test scenarios, drive test case development | |||
;Test cases for verification purposes | |||
;Testing | |||
;Transparency | |||
;Trust | ;Trust | ||
;Trustworthiness | ;Trustworthiness | ||
: Workspace and conditions/context of operations | |||
: | |||
;Use-case scenario generation | |||
;Use Case testing | |||
; | |||
; | |||
;Validation | ;Validation | ||
;Verification | |||
;Verification | |||
Revision as of 13:48, 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
- 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
- Workspace and conditions/context of operations
- Use-case scenario generation
- Use Case testing
- Validation
- Verification