Next:
Contents
Contents
Data Modeling Technologies
User Manual
September 4, 2009
Semantix Information Technologies
ESA ESTEC Labs
Contents
List of Tables
List of Figures
Executive summary
Background
Introduction
Bird's eye view - the main idea
Data Modeling in the ASSERT process
ASN.1 and modeling tools
Toolchain usage
Data type definitions
Creating AADL data definitions
Creating UML data definitions
Usage of data types from interfaces
Model mapping and code generation
Data Modeling mapper
Code mapper
Supported modeling tools
SCADE
MATLAB/Simulink
ObjectGeode
Manual code in Ada
Rhapsody / manual code in C/C++
VM integration
Synchronous modeling - how it works
High-level bridges - VM interface
Low-level bridges - internal interface between VM and data mappers
Asynchronous modeling - how it works
Provided Interfaces (PIs)
Required Interfaces (RIs)
Automation
Toolchain internals
Design
Mappers and Code generators: Python modules
Getting the toolchain
Conclusion
Appendix A - ASN.1 usage guidelines
BOOLEANs
INTEGERs
REALs
ENUMERATED
OCTET STRINGs
BITSTRINGs
SEQUENCEs
CHOICEs
SEQUENCE OF
SETs and SET OFs
Appendix B - The ASN.1 Abstract Syntax Tree
AsnBool
AsnInt
AsnReal
AsnString
AsnEnumerated
AsnSequence
AsnSequenceOf
AsnMetaMember
Appendix C - The online gateways
Appendix D - Technical notes on the backends
Model level mappers
ObjectGeode profile
Matlab/SIMULINK profile
SCADE profile
Pragmadev RTDS profile
Code level mappers
Synchronous/Asynchronous APIs
Synchronous API
Asynchronous API
ObjectGeode profile
Matlab/SIMULINK profile
SCADE5/6 profile
Pragmadev RTDS profile
ASN.1 Compilers
Semantix/asn1scc
OSS/Nokalva
Automatically created GUIs
Automatically created Python bridges
Abbreviations
Bibliography
About this document ...
