An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

  • Matthias Büker
  • Werner Damm
  • Günter Ehmen
  • Ingo Stierand
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6959)


The approach proposed in this paper forms the front-end of a framework for the complete design flow from specification models of new automotive functions captured in Matlab Simulink to their distributed execution on hierarchical bus-based electronic architectures hosting the release of already deployed automotive functions. The process starts by deriving a task structure from a given Matlab Simulink model. Because the obtained network is typically unbalanced in the sense of computational node weights, nodes are melted following an optimization metric called cohesion where nodes are attracted by high communication density and repelled by high node weights. This reduces task-switching times by avoiding too lightweight tasks and relieves the bus by keeping inter-task communication low. This so-called Task Creation encloses the translation of the synchronous block diagram model of Simulink into a message-based task network formalism that serves as semantic base.


simulink creating tasks design flow distributed systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bao, J., Battram, P., Enkelmann, A., Gabel, A., Heyen, J., Koepke, T., Läsche, C., Sieverding, S.: Projektgruppe ViDAs - Endbericht (2010)Google Scholar
  3. 3.
    Büker, M., Damm, W., Ehmen, G., Metzner, A., Stierand, I., Thaden, E.: Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too. Technical Report 69, SFB/TR 14 AVACS (2011)Google Scholar
  4. 4.
    Büker, M., Metzner, A., Stierand, I.: Testing real-time task networks with functional extensions using model-checking. In: Proc. ETFA (2009)Google Scholar
  5. 5.
    Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From simulink to scade/lustre to tta: a layered approach for distributed embedded applications. In: Proc. ACM SIGPLAN, LCTES (2003)Google Scholar
  6. 6.
    Di Natale, M., Guo, L., Zeng, H., Sangiovanni-Vincentelli, A.: Synthesis of multitask implementations of simulink models with minimum delays. IEEE Transactions on Industrial Informatics (2010)Google Scholar
  7. 7.
    Ferdinand, C.: Worst-case execution time prediction by static program analysis. In: Proc. IPDPS (2004)Google Scholar
  8. 8.
    Fiduccia, C.M., Mattheyses, R.M.: A linear-time heuristic for improving network partitions. In: Proc. DAC 1982, pp. 175–181 (1982)Google Scholar
  9. 9.
    Jersak, M., Richter, K., Ernst, R.: Performance Analysis for Complex Embedded Applications. International Journal of Embedded Systems, Special Issue on Codesign for SoC (2004)Google Scholar
  10. 10.
    Kernighan, B.W., Lin, S.: An efficient heuristic procedure for partitioning graphs. The Bell System Technical Journal 49(1) (1970)Google Scholar
  11. 11.
    Kugele, S., Haberl, W.: Mapping data-flow dependencies onto distributed embedded systems. In: Proc. of SERP 2008 (2008)Google Scholar
  12. 12.
    Lublinerman, R., Tripakis, S.: Modular code generation from triggered and timed block diagrams. In: IEEE Real-Time and Embedded Technology and Applications Symposium, vol. 0, pp. 147–158 (2008)Google Scholar
  13. 13.
    Pouzet, M., Raymond, P.: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. In: Proc. of EMSOFT (2009)Google Scholar
  14. 14.
    Rox, J., Ernst, R.: Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers. In: Proc. ECRTS (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Matthias Büker
    • 1
  • Werner Damm
    • 2
  • Günter Ehmen
    • 2
  • Ingo Stierand
    • 2
  1. 1.OFFIS - Institute for Computer ScienceOldenburgGermany
  2. 2.University of OldenburgGermany

Personalised recommendations