Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom

A new rapid prototyping methodology for embedded system application is introduced. The proposed methodology uses AutoFOCUS3(AF3), which is a model-based development tool for distributed, reactive, embedded software systems, to generate an executable C code for ARM Cortex-M family processors from the verified model. This methodology provides a clean and clear relation between a high-level model and its low-level executable C-code for the target platform. To execute a model on a target platform, the model needs to be accurately translated, and the translation must be based on the hardware resources. In this respect, this work aims to close the gap between high level description and the implementation. As a case study, using the proposed methodology, we implemented a self stabilizing distributed clock synchronization protocol on a FRDM platform.