====== Abbreviation ======
^ Abbreviation ^ Meaning |
| AI | Artificial Intelligence |
| AI/ML | Artificial Intelligence / Machine Learning |
| ADAS | Advanced Driver Assistance Systems |
| AV | Autonomous Vehicle |
| AVSC | Autonomous Vehicle Safety Consortium |
| ASIL | Automotive Safety Integrity Level |
| CBMC | C Bounded Model Checker |
| CI/CD | Continuous Integration / Continuous Delivery (or Deployment) |
| CISPR | International Special Committee on Radio Interference |
| CNN | Convolutional Neural Network |
| CMMI | Capability Maturity Model Integration |
| CTL | Computation Tree Logic |
| DAL | Design Assurance Level |
| DDS | Data Distribution Service (for Real-Time Systems) |
| DO-178C | Software Considerations in Airborne Systems and Equipment Certification |
| ECTS | European Credit Transfer and Accumulation System |
| EMC | Electromagnetic Compatibility |
| EMI | Electromagnetic Interference |
| FCC | Federal Communications Commission |
| FSM | Finite State Machine |
| GNSS | Global Navigation Satellite System |
| HIL | Hardware-in-the-Loop |
| HMI | Human–Machine Interface / Interaction |
| IEC | International Electrotechnical Commission |
| IMU | Inertial Measurement Unit |
| ISO | International Organization for Standardization |
| ITC | Industry Technologies Consortia (in SAE ITC) |
| ITU | International Telecommunication Union |
| JAUS | Joint Architecture for Unmanned Systems |
| KITTI | Karlsruhe Institute of Technology and Toyota Technological Institute dataset |
| LiDAR | Light Detection and Ranging |
| LoD | Language of Driving |
| LTL | Linear Temporal Logic |
| MCU | Microcontroller Unit |
| MIL | Model-in-the-Loop |
| MOOC | Massive Open Online Course |
| MPC | Model Predictive Control |
| MQTT | Message Queuing Telemetry Transport |
| NuScenes | “New Scenes” autonomous driving dataset (Motional/nuTonomy) |
| ODD | Operational Design Domain |
| OTA | Over-the-Air (updates) |
| PBE | Physics-Based Execution |
| PX4 | Open-source Autopilot Platform (PX4) |
| QoS | Quality of Service |
| RL | Reinforcement Learning |
| ROS | Robot Operating System (ROS 1) |
| ROS2 | Robot Operating System 2 |
| SBC | Single Board Computer |
| SBOM | Software Bill of Materials |
| SIL | Software-in-the-Loop |
| SLAM | Simultaneous Localization and Mapping |
| SOTIF | Safety Of The Intended Functionality (ISO 21448) |
| SoC | System on Chip |
| SPA | Sense–Plan–Act (paradigm) |
| SPIN | Simple Promela Interpreter (model checker) |
| UML | Unified Modeling Language |
| UAV | Unmanned Aerial Vehicle |
| UL | Underwriters Laboratories |
| UPPAAL | Timed-automata-based model checker (UPPAAL tool) |
| V&V | Verification and Validation |
| V-Model | Verification and Validation V-Model lifecycle |
| Waymo | Waymo Open Dataset (autonomous driving) |