AADL modeling of M2M terminal

This work presents the application of Architecture Analysis and Design Language (AADL) for the modeling of Machine to Machine talk (M2M) terminal. Examined terminal is used in telemetry, utilizing GSM network and GPRS/EDGE services for the data transmission. The AADL model is used to apply mapping of the embedded software to the hardware of the terminal. Embedded software is designed as a multi-threaded application. Threads are described using AADL at the system level and through their implementations. Interaction between the threads is also discussed in terms of AADL behavior analysis.