Bibliography

1

ITU-T:
Rec. X.680-X.683, ISO/IEC: Abstract Syntax Notation One (ASN.1).
(2002)

2

APLCs:
Daniela Cancila, Tullio Vardanega, AP-Level Containers: a Survival Kit.
(ASSERT Technical Note.)

3

AADL:
Architecture Analysis and Design Language.
(http://www.aadl.info)

4

UML:
The Unified Modeling Language.
(http://www.uml.org)

5

Lustre:
Declarative synchronous language, kernel language of SCADE.
(
 http://www-verimag.imag.fr/ synchron/index.php?page=lang-design)

6

SCADE:
Safety Critical Application Development Environment.
(
 http://www.esterel-technologies.com/products/scade-suite/)

7

Mathworks:
MATLAB/Simulink, a tool for modeling, simulating and analyzing multidomain dynamic systems.
(http://www.mathworks.com/products/simulink/)

8

Jerome Hugues, Laurent Pautet, Khaled Barbaria, Bechir Zalila (ENST), Juan Zamorano, Santiago Urueña, José Pulido, Juan Antonio de la Puente (UPM), Stuart D. Fowell (SciSys Ltd):
D3.3.2-2: Virtual Machine Architecture Definition.
(July 23rd, 2007)

9

Daniela Cancila, Tullio Vardanega (UPD), Irfan Hamid, Elie Najm (ENST):
D3.1.2-1 + D3.1.1-3 An HRT-UML/RCM Interface Grammar for AP-Level Modeling.
(November 19th, 2006)

10

Peter H. Feiler, David P.Gluch, John J. Hudak:
The Architecture Analysis and Design Language (AADL): An Introduction.
(February 2006)

11

ObjectGeode:
Verilog ObjectGeode, a tool set dedicated to analysis, design, verification and validation.
(http://www.spacetools.com/tools4/space/213.htm)

12

ISO SC22/WG9:
Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1.
(2005)

13

SDL:
Specification and Description Language.
(http://www.sdl-forum.org/)

14

ESA:
ASSERT System Family Independent Middleware. System Inputs to the ASSERT Middleware Definition.
(March 21st, 2005)

15

asn1Scc:
Semantix Space Certifiable ASN.1 compiler, http://www.semantix.gr/asn1scc/.
(2002-2007)

16

LEON:
The LEON processor, a 32-bit synthesisable processor core.
(http://www.gaisler.com/leonmain.html)

17

Olivier Dubuisson:
ASN.1 - Communication between heterogeneous systems, http://www.oss. com/asn1/dubuisson.html.
(2000)

18

ITU-T:
Rec. X.690, ISO/IEC: ASN.1 encoding rules: Specification of Basic Encoding Rules (BER), Canonical Encoding Rules (CER) and Distinguished Encoding Rules (DER).
(2002)

19

ITU-T:
Rec. X.691, ISO/IEC: ASN.1 encoding rules: Specification of Packed Encoding Rules (PER).
(2002)

20

ITU-T:
Rec. X.693, ISO/IEC: ASN.1 encoding rules: XML Encoding Rules (XER).
(2002)