Index Symbols | A | C | D | E | F | G | I | L | R | S | T | Y Symbols : A model of a computing component (hardware or software) that has a : A refinement is a relationship between a specification and its : An interrupt service consists of an : An ISR is invoked by the CPU to process a pending interrupt. : Another term used to denote refinement. : Doorstop is a : GNAT is the GNU compiler for Ada, integrated into the : In the context of formal verification, in a setting that involves many : The assembler language is a programming language which can be translated very : The C language for this project is defined in terms of : The software product is the RTEMS real-time operating system. : The standard ISO/IEC 9899:2011. : The system on which the application will ultimately execute. : This is a logic that states properties about (possibly infinite) sequences of : This project uses the : This project uses the source code definition of the : This term has the same meaning as task. : This term is an acronym for, [1] : This term is an acronym for Application Programming Interface. : This term is an acronym for Change Control Board. : This term is an acronym for Easy Approach to Requirements Syntax. : This term is an acronym for GNU Compiler Collection. : This term is an acronym for GNU’s Not Unix. : This term is an acronym for Independent Software Verification and Validation. : This term is an acronym for Linear Temporal Logic. : This term is an acronym for Real-Time Executive for Multiprocessor Systems. : This term is an acronym for YAML Ain’t Markup Language. : This term is defined by ECSS-E-ST-40C 3.2.24 as a "separately compilable : This term is defined by ECSS-E-ST-40C 3.2.28 as a "part of a software : This term refers to the meaning of text or utterances in some language. In a A API assembler language C C language C11 CCB D Doorstop E EARS ELF F formal model G GCC GNAT GNU I interrupt service Interrupt Service Routine ISVV L Linear Temporal Logic LTL R refinement reification ReqIF RTEMS S scenario semantics software component software product software unit source code T target task thread Y YAML
