Portal:Glossary

Offer different classifications and groupings - in main page

Contents of each linked page:

Template for definition pages - please copy the markup from this page into your new definition page

Acceptability: exposure to loss (financial or otherwise) from a risk that an organization is willing to tolerate
Acceptance testing
Accountability
Activity: set of tasks that describe the technical effort to accomplish a process and help generate expected outcome NASA Systems Engineering Handbook
Adaptive
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
Automated: a robot that does not make any decisions. It performs a precise sequence of actions without regard to external input. Even if a robot has sensors, that enable it to gather information about its environment, if they aren't used to modify its behavior, the robot is automated and acts as an automaton.
Automation: allocation of system functions to machines versus humans NASA Systems Engineering Handbook
Anomaly: unexpected performance of intended function NASA Systems Engineering Handbook

Combining V&V Techniques
Contextual reasoning
Correctness verification
Credibility
Cross-domain / multi-domain validation
Cyber-security
Cyborg: a system consisting of a combination of a core biological organism, usually human, and machine or mechanical components.

Failure: inability of a system, subsystem or component to perform its required function within specified limits NASA Systems Engineering Handbook

Failure detection and recovery
Fault: physical or logical cause, which explains a failure NASA Systems Engineering Handbook
Formal methods for autonomous systems
Formal modelling
Formal software verification
Functional assurance
Functional requirements
Functional verification

Objective evidence: ISO 9000:2015 - "data, supporting the existence or verity of something" ISO 9000:2015

Process: "set of interrelated or interacting activities that use inputs to deliver an intended result" ISO 9000:2015

Qualitative assessment
Quality requirement: "requirement related to quality" ISO 9000:2015
Quality plan: "specification of the procedures and associated resources to be applied when and by whom to a specific object" ISO 9000:2015
Quantitative assessment

Requirement: "need or expectation that is stated, generally implied or obligatory" ISO 9000:2015

Requirements development processes
Resilience
Responsibility: Either (a) responsible development and deployment of robotics, see BSI 8611:2016 or; (b) responsible decisions by the autonomous system itself, see ethics for autonomous systems
Robot: See Robotic Systems
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
Semi-autonomous
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: "document stating requirements" ISO 9000:2015
Synthetic environment: to develop high level test scenarios, drive test case development

Teleoperated: a robot whose operator is controlling its every move, but where the command stream is not required to be continuous and the operator is using sensors on-board the robot for situational awareness. The operator may send higher level commands (e.g. "go to waypoint") and the robot will complete the last command it receives before it stops.
Test cases for verification purposes
Testing
Transparency
Trust
Trustworthiness: Generally, "able to be trusted".; In autonomous systems, moving beyond standard cyber-physical systems where trustworthiess is synonymous with reliability and extending this with beneficiality, i.e. evidence that the system is working for our benefit.

Validation: 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
Verification: defines verification as "Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled" ISO 9000: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
Verification and Validation Process: Process of first, identifying the desired functionality and properties of the system, second, verifying that the system provides that functionality and possesses those properties, and third, validating that the system as delivered meets user needs.

Waldo: a mechanism that precisely repeats the actions of its operator (from the Robert Heinlein short story Waldo from the book Waldo & Magic, Inc.)

Notes

Note that we need to discuss how we will handle definitions that are not part of standards and may not have agreed upon definitions