Difference between revisions of "Portal:Glossary"

Revision as of 15:17, 10 April 2022

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

@@ Line 1: / Line 1: @@
-;Human-robot interactions
 ;Acceptability
-;Trust
+;Assurance
-;Safety in HRI
+;Assurance cases
+;Behavior verification for autonomous systems and ML systems
+;Correctness verification
+;Cyber-security
+;Dependability
 ;Failure detection and recovery
-;Redundant robots
+;Formal methods for autonomous  systems
-;Robot safety
-;Robotic Systems
-;Assurance
 ;Functional assurance
-;Assurance cases
-;Specifications
-;Requirements
-:workspace and conditions/context of operations
 ;Functional requirements
-;Safety requirements
-;Security requirements
+;Human-robot interactions
-;Requirements development processes
 ;Qualitative  assessment
 ;Quantitative  assessment
-;Dependability
+;Redundant robots
 ;Reliability
-;Security
+;Requirements
-;Cyber-security
+;Requirements development processes
+;Robot safety
+;Robotic Systems
 ;Robustness
 ;Safety
+;Safety in HRI
+;Safety requirements
+;Security
+;Security requirements
+;Specifications
+;Trust
 ;Trustworthiness
-;Formal methods for autonomous  systems
+:Workspace and conditions/context of operations
 ;Resilience
-;Behavior verification for autonomous systems and ML systems
-;Correctness verification
 :software testing
 ;Functional verification