diff options
Diffstat (limited to 'eng/glossary.rst')
-rw-r--r-- | eng/glossary.rst | 61 |
1 files changed, 44 insertions, 17 deletions
diff --git a/eng/glossary.rst b/eng/glossary.rst index d0fc1eb..a015eda 100644 --- a/eng/glossary.rst +++ b/eng/glossary.rst @@ -1,6 +1,7 @@ .. SPDX-License-Identifier: CC-BY-SA-4.0 -.. Copyright (C) 2017, 2019 embedded brains GmbH (http://www.embedded-brains.de) +.. Copyright (C) 2022, 2023 Trinity College Dublin +.. Copyright (C) 2017, 2019 embedded brains GmbH & Co. KG .. Copyright (C) 1988, 1998 On-Line Applications Research Corporation (OAR) Glossary @@ -9,11 +10,8 @@ Glossary .. glossary:: :sorted: - ABI - An acronym for Application Binary Interface. - API - An acronym for Application Programming Interface. + This term is an acronym for Application Programming Interface. assembler language The assembler language is a programming language which can be translated very @@ -29,28 +27,32 @@ Glossary The standard ISO/IEC 9899:2011. CCB - An acronym for Change Control Board. + This term is an acronym for Change Control Board. Doorstop `Doorstop <https://github.com/doorstop-dev/doorstop>`_ is a requirements management tool. EARS - An acronym for Easy Approach to Requirements Syntax. + This term is an acronym for Easy Approach to Requirements Syntax. ELF - An acronym for + This term is an acronym for `Executable and Linkable Format <https://en.wikipedia.org/wiki/Executable_and_Linkable_Format>`_. + formal model + A model of a computing component (hardware or software) that has a + mathematically based :term:`semantics`. + GCC - An acronym for `GNU Compiler Collection <https://gcc.gnu.org/>`_. + This term is an acronym for `GNU Compiler Collection <https://gcc.gnu.org/>`_. GNAT *GNAT* is the :term:`GNU` compiler for Ada, integrated into the :term:`GCC`. GNU - An acronym for `GNU's Not Unix <https://www.gnu.org/>`_. + This term is an acronym for `GNU's Not Unix <https://www.gnu.org/>`_. interrupt service An *interrupt service* consists of an @@ -64,14 +66,39 @@ Glossary An ISR is invoked by the CPU to process a pending interrupt. ISVV - An acronym for Independent Software Verification and Validation. + This term is an acronym for Independent Software Verification and Validation. + + Linear Temporal Logic + This is a logic that states properties about (possibly infinite) sequences of + states. + + LTL + This term is an acronym for :term:`Linear Temporal Logic`. + + refinement + A *refinement* is a relationship between a specification and its + implementation as code. + + reification + Another term used to denote :term:`refinement`. ReqIF - An acronym for + This term is an acronym for `Requirements Interchange Format <https://www.omg.org/spec/ReqIF/About-ReqIF/>`_. RTEMS - An acronym for Real-Time Executive for Multiprocessor Systems. + This term is an acronym for Real-Time Executive for Multiprocessor Systems. + + scenario + In the context of formal verification, in a setting that involves many + concurrent tasks that interleave in arbitrary ways, a scenario describes a + single specific possible interleaving. One interpretation of the behaviour + of a concurrent system is the set of all its scenarios. + + semantics + This term refers to the meaning of text or utterances in some language. In a + software engineering context these will be programming, modelling or + specification languages. software component This term is defined by ECSS-E-ST-40C 3.2.28 as a "part of a software @@ -103,9 +130,6 @@ Glossary linker) such as jump tables, linker trampolines, exception frame information, etc. - software item - This term has the same meaning as :term:`software product`. - software product The *software product* is the :term:`RTEMS` real-time operating system. @@ -128,6 +152,9 @@ Glossary software as it is originally written (i.e., typed into a computer) by a human in plain text (i.e., human readable alphanumeric characters)." + target + The system on which the application will ultimately execute. + task This project uses the `thread definition of Wikipedia <https://en.wikipedia.org/wiki/Thread_(computing)>`_: @@ -147,4 +174,4 @@ Glossary This term has the same meaning as :term:`task`. YAML - An acronym for `YAML Ain't Markup Language <https://yaml.org/>`_. + This term is an acronym for `YAML Ain't Markup Language <https://yaml.org/>`_. |