From specification models to distributed embedded applications: A holistic user-guided approach

SAE International Journal of Passenger Cars - Electronic and Electrical Systems

Volumn 6, Issue 1, 2013, Pages 194-212

  Stierand, Ingo ^a   Ehmen, Günter ^a   Damm, Werner ^a   Janssen, Detlef ^a   Büker, Matthias ^b   Henkler, Stefan ^b   Thaden, Eike ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b OFFIS ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CODE GENERATIONS; DRIVER ASSISTANCE SYSTEM; HARDWARE ARCHITECTURE; MATLAB-SIMULINK MODEL; OPTIMIZATION PROCESS; RESTRUCTURING PROCESS; SPECIFICATION MODELS; USER-GUIDED APPROACHES;

ADAPTIVE CRUISE CONTROL; AUTOMOBILE DRIVERS; AUTOMOTIVE INDUSTRY; EMBEDDED SYSTEMS; HARDWARE; OPTIMIZATION; SEMANTICS; SPECIFICATIONS;

SYSTEMS ANALYSIS;

EID: 84878782024     PISSN: 19464614     EISSN: 19464622     Source Type: Journal    
DOI: 10.4271/2013-01-0432     Document Type: Article

References (37)

1. Althaus E., Naujoks R., and Thaden E. A column generation approach to scheduling of periodic tasks. In Proc. 10th Intl. Symposium on Experimental Algorithms, 2011.
2. Altmeyer S., Hümbert C., Lisper B., and Wilhelm R. Parametric Timing Analysis for Complex Architectures. In Proc. 14th International Conference on Embedded and Real-Time Computing Systems and Applications, 2008.
3. Bao J., Battram P., Enkelmann A., Gabel A., Heyen J., Koepke T., Läsche C., and Sieverding S. Projektgruppe ViDAs Endbericht. Technical report, Carl von Ossietzky Universitt Oldenburg, November 2010.
4. Büker M., Damm W., Ehmen G., Metzner A., Stierand I., and 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.
5. Büker M., Damm W., Ehmen G., Metzner A., Stierand I., and Thaden E. Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. In Proc. International Symposium on Industrial Embedded Systems, 2011.
6. Büker M., Damm W., Ehmen G., and Stierand I. An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. In Proc. 16th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2011.
7. Büker M., Metzner A., and Stierand I. Testing real-time task networks with functional extensions using model-checking. In Proc. ETFA, 2009.
8. Caspi P., Curic A., Maignan A., Sofronis C., Tripakis S., and Niebert P. From simulink to scade/lustre to tta: a layered approach for distributed embedded applications. In Proc. ACM SIGPLAN, LCTES, 2003.
9. Clark B., Stierand I., and Thaden E. Cost-minimal preallocation of software tasks under real-time constraints. In Research in Applied Computation Symposium, 2011.
10. Di Natale M., Guo L., Zeng H., and Sangiovanni-Vincentelli A. Synthesis of Multitask Implementations of Simulink Models With Minimum Delays. IEEE Transactions on Industrial Informatics, 2010.
11. Dutt Shantanu. New faster kernighan-lin-type graphpartitioning algorithms. In Proc. Intl. Conf. on Computeraided design (ICCAD), 1993
12. Eisenbrand F., Damm W., Metzner A., Shmonin G., Wilhelm R., and Winkel S. Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. In Proc. Embedded and Real-Time Computing Systems and Applications, 2006.
13. Erbas Cagkan. System-Level Modeling and Design Space Exploration for Multiprocessor Embedded System-on-Chip Architectures. PhD thesis, University of Amsterdam, 2006.
14. Ferdinand C. Worst-case execution time prediction by static program analysis. In Proc. IPDPS, 2004.
15. Fiduccia C. M. and Mattheyses R. M. A linear-time heuristic for improving network partitions. In Proc. DAC'82, pages 175-181, 1982.
16. Forschungsgesellschaft für Straßen-und Verkehrswesen, Arbeitsgruppe Straßenentwurf. Richtlinien für die Anlage von Autobahnen, 2008.
17. Giesa Siegfried. Hinweise für das Anbringen von Verkehrszeichen und Verkehrseinrichtungen. Kirschbaum Verlag, 12 edition, 2002.
18. Hamann Arne, Racu Razvan, and Ernst Rolf. Formal methods for automotive platform analysis and optimization. In Proc. Future Trends in Automotive Electronics and Tool Integration Workshop, 2006.
19. International Organization for Standardization. ISO 15622: Transport information and control systems Adaptive Cruise Control systems Performance requirements and test procedures, 2002.
20. Rosenstiel W. Gerlach J. A methodology and tool for automated transformational high-level design space exploration. In International Conference on Computer Design (ICCD), Austin, Texas, USA, 09 2000.
21. Jersak M., Richter K., and Ernst R. Performance Analysis for Complex Embedded Applications. International Journal of Embedded Systems, Special Issue on Codesign for SoC, 2004.
22. Kernighan B. W. and Lin S. An efficient heuristic procedure for partitioning graphs. The Bell system technical journal, 49(1), 1970.
23. Kuenzli Simon. Efficient Design Space Exploration for Embedded Systems. PhD thesis, Swiss Federal Institute of Technology, 2006.
24. Kugele Stefan and Haberl Wolfgang. Mapping data-flow dependencies onto distributed embedded systems. In Proc. of SERP 2008, 2008.
25. Lublinerman Roberto and Tripakis Stavros. Modular code generation from triggered and timed block diagrams. Real-Time and Embedded Technology and Applications Symposium, IEEE, 0:147-158, 2008.
26. Madsen J., Stidsen T. K., Kjaerulf P., and Mahadevan S. Multiobjective design space exploration of embedded system platforms. In From Model-Driven Design to Resource Management for Distributed Embedded Systems, volume 225 of IFIP, pages 185-194. Springer, 2007.
27. Metzner A., Fränzle M., Herde C., and Stierand I. An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures. In Proc. International Parallel and Distributed Processing Symposium, 2006.
28. Metzner A. and Herde C. RTSAT an optimal and efficient approach to the task allocation problem in distributed architectures. In Proc. RTSS '06, pages 147-158, 2006.
29. Pop Traian, Pop Paul, Eles Petru, and Peng Zebo. Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems. International Journal of Parallel Programming, 36(1):37-67, 2008.
30. Rox J. and Ernst R. Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers. In Proc. ECRTS, 2008.
31. Scaife N. and Caspi P. Integrating model-based design and preemptive scheduling in mixed time and event-triggered systems. In Proceedings of the 16th Euromicro Conference on Real-Time Systems, ECRTS, 2004.
32. Tripakis S., Pinello C., Benveniste A., Sangiovanni-Vincentelli A., Caspi P., and Natale M. Di. Implementing synchronous models on loosely time triggered architectures. IEEE Trans. Comput., 57:1300-1314, 2008.
33. Wilhelm Stephan and Wachter Björn. Symbolic State Traversal for WCET Analysis. In Embedded Software (EMSOFT), October 2009.
34. Winner Hermann, Hakuli Stephan, and Wolf Gabriele. Handbuch Fahrerassistenzsysteme. Vieweg+Teubner Verlag/GWV Fachverlage GmbH, Wiesbaden, 2009.
35. Wirtz Boris, Strazny Tim, Rakow Jan, and Rakow Astrid. A lane change assistance system: Cooperation and hybrid control. Reports of SFB/TR 14 AVACS 78, SFB/TR 14 AVACS, July 2011.
36. Zeng, H., Davare, A., Sangiovanni-Vincentelli, A., Sonalkar, S. et al., "Design Space Exploration of Automotive Platforms in Metropolis," SAE Technical Paper 2006-01-1468, 2006, doi:10.4271/2006-01-1468.
37. Zhu Qi, Yang Yang, Natale Marco Di, Scholte Eelco, and Sangiovanni-Vincentelli Alberto L. Optimizing the software architecture for extensibility in hard real-time distributed systems. IEEE Trans. Industrial Informatics, 6(4):621-636, 2010.