14 DO-331 and Model-Based Development and Verification
Acronym
| EASA | European Aviation Safety Agency |
| EUROCAE | European Organization for Civil Aviation Equipment |
| FAA | Federal Aviation Administration |
| HLR | high-level requirement |
| LLR | low-level requirement |
| SC-205 | Special Committee #205 |
| SCADE | standard for the development of critical embedded display software |
| WG-71 | Working Group #71 |
14.1 Introduction
The DO-331 glossary defines a model as follows:
An abstract representation of a given set of aspects of a system that is used for analysis, verification, simulation, code generation, or any combination thereof. A model should be unambiguous, regardless of its level of abstraction.
Note 1: If the representation is a diagram that is ambiguous in ...
Get Developing Safety-Critical Software now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
