Abbreviations

AADL	Architecture Analysis and Design Language
APLC	AP-Level Container
ASN.1	Abstract Syntax Notation number One
ASSERT	Automated proof-based System and Software Engineering
	for Real-Time applications
AST	Abstract Syntax Tree
CER	Canonical Encoding Rules
DER	Distinguished Encoding Rules
ENST	Ecole National Superieure des Télécommunications
ESA	European Space Agency
ESTEREL	Esterel Technologies
HOOD	Hierarchical Object Oriented Design
IEEE	Institute of Electrical and Electronics Engineers, Inc.
PBSE	Proof Based System Engineering
PER	Packed Encoding Rules
PI	Provided Interface
PP	Pilot Project
RCM	Ravenscar Computational Model
RI	Required Interface
SCADE	Safety Critical Application Development Environment
SDL	Specification and Description Language
TN	Technical Note
UML	Unified Modeling Language
UPD	Padua University
VM	Virtual Machine
VMLC	VM Level Container