Mapping functional behavior onto architectural model in a model driven embedded system design