Mapping Functional Behavior onto Architectural Model in a Model Driven Embedded System Design
Résumé
The ever-increasing complexity in embedded systems espe-
cially in the automobile industry in the recent years has
necessitated model-driven engineering. In this paper, we
consider the problem of mapping functional behavior onto
an architectural model captured in AADL in order to op-
timize end-to-end delay in executing a distributed function
on the specied platform architecture. Our work presup-
poses that an architectural platform model is xed due to
existing hardware platform that the designers have to work
with, whereas a specic functional feature is being designed
in software, and implemented on the given platform. We
therefore, consider the problem as a behavior modeling fol-
lowed by mapping of behavioral components including com-
putation, and communication. This mapping requires both
spatial mapping as well as temporal mapping. Spatial map-
ping means binding of computational nodes in the behav-
ioral model to processors/controllers etc., communications
to the platform bus; and the temporal binding is done by
scheduling the computation on the platform. We explain
our method by way of a case study of an adaptive cruise
control(ACC) system whose behavior model is represented
with a data-
ow graph(DFG) captured in LUSTRE. A static
schedule is derived from the DFG and then mapped to the
platform architecture model by formulating a non-linear op-
timization problem. The resulting problem being at least
NP-hard, we propose use of simulated annealing or other
heuristic algorithms to solve the optimization problem. The
limitations of our method are discussed as well.