Multiparadigm modeling in embedded systems design

IEEE Transactions on Control Systems Technology

Volumn 12, Issue 2, 2004, Pages 279-292

  Müller Glaser, Klaus D ^a   Frick, Gerd ^b   Sax, Eric ^c   Kühl, Markus ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^c MBtech Group   (Germany)

Author keywords

Automatic programming; Code generation; Code integration; Embedded systems; Executable specifications; Model integration; Model based design; Modeling; Multiparadigm modeling; Software requirements and specification; Tool integration

Indexed keywords

AUTOMATIC PROGRAMMING; AUTOMOTIVE INDUSTRY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; ELECTRONIC EQUIPMENT; REQUIREMENTS ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS;

CODE GENERATION; MODEL-BASED DESIGN; MULTIPARADIGM MODELING; TOOL INTEGRATION;

EMBEDDED SYSTEMS;

EID: 11144356551     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2004.824340     Document Type: Article

References (62)

1. Embedded Systems Glossary, M. Barr. [Online]. Available: http://www.netrino.com/Publications/Glossary/
2. A. S. Berger, Embedded Systems Design: An Introduction to Processes, Tools, and Techniques. Lawrence, KS: CMP, 2001.
3. W. Lawrenz, CAN System Engineering: From Theory to Practical Applications. Berlin, Germany: Springer-Verlag, 1997.
4. OSEX/VDX Homepage (2004). [Online]. Available: http://www.osek-vdx.org
5. Das V-Modell (2007) [Online]. Available: http://www.v-modell.iabg.de
6. Systems Engineering Standards and Models Compared, S. A. Shear and J. G. Lake. [Online]. Available: http://www.software.org/pub/externalpapers/9804-2.html
7. K. D. Müller-Glaser, "CAD of microsystems: A challenge for system engineering," in Invited Talk at EURO-DAC'96 With EURO-VHDL'96. Geneva, Switzerland: IEEE Computer Society Press, 1996.
8. Saber Products Home Page (2004). [Online]. Available: http://www.synopsys.com/products/mixedsignal/saber/saber.html
9. IEEE 1076.1 (1999). [Online]. Available: http://www.vhdl.org.analog
10. Specification and description language (SDL) ITU-T Recommendation Z.100 (2000). [Online]. Available: http://www.sdl-forum.org
11. P. Alexander and C. Kong, "ROSETTA: Semantic support for model-centered systems-level design," Comput., vol. 34, no. 11, pp. 64-70, 2001.
12. ____, "Heterogeneous modeling support for embedded systems design," in EMSOFT 2001, ser. Lecture Notes Comput. Sci., Berlin, Germany: Springer-Verlag, 2001, pp. 1-13.
13. Introduction to CDIF, J. Ernst. (1997). [Online]. Available: http://www.eigroup.org/cdif/intro.html
14. EDIF (2000). [Online]. Available: http://www.www.edif.org
15. STEP: Standard for the Exchange of Product Model Data, 1994.
16. Extensible Markup Language (XML) 1.0. W3C Recommendation (1998). [Online]. Available: http://www.w3.org/TR/1998/REC-xml-19980210
17. XML Metadata Iinterchange (XML), Version 1.1 (1999). [Online]
18. The MathWorks, Inc. (2004) [Online]. Available: http://www.mathworks.com
19. MATRIXx (2004). [Online]. Available: http://ni.com/matrixx/
20. SPICE (2004). [Online]. Available: http://bwrc.eecs.berkeley.edu/Classes/IcBook/SPICE/
21. ACSL (2004). [Online]. Available: http://www.ACSL.sim.com
22. Modelica (2004). [Online]. Available: http://www.modelica.org
23. ETAS (2004). [Online]. Available: http://www.etasgroup.com
24. R.O.S.E. INFORMATIK (2002). [Online]. Available: http://www.rose.de
25. AANSYS, Inc. (2004). [Online]. Available: http://www/ansys.com
26. I-Logix (2004). [Online]. Available: http://www.ilogix.com
27. Cadence Design (2004). [Online]. Available: http://www.cadence.com
28. Synopsys, Inc. (2004). [Online]. Available: http://www.synopsys.com
29. Verilog (2004). [Online]. Available: http://www.verilog.com
30. HyPerformix, Inc. (2004). [Online]. Available: http://www.hyperformix.com
31. Foresight-Systems, Inc. (2004). [Online]. Available: http://www.foresight-systems.com
32. OMG Unified Modeling Language Specification, Version 1.3, 1999. OMG Document ad/99-06-08.
33. Rational Rose RealTime (2004). [Online]. Available: http://www.ibm.com/software/awdtools/developer/technical
34. ARTISAN (2004). [Online]. Available: http://www.artisansw.com
35. B. Selic, G. Gullekson, and P. T. Ward, Real-Time Object-Oriented Modeling. New York: Wiley, 1994.
36. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Programming, vol. 8, pp. 231-274, 1987.
37. "Technical Memorandum UCB/ERL M01/11," Univ. California, Berkeley, CA, http://ptolemy.eecs.berkeley.edu/publications/papers/01/overview, 2001. Available.
38. Telegoic AB (2004). [Online]. Available: http://www.telelogic.com
39. G. Low and V. Leenanuraksa, "Software quality and CASE tools," presented at the IEEE Software Technology and Engineering Practice, Pittsburgh, PA, 1998.
40. dSPACE (2004). [Online]. Available: http://www.dspaceinc.com
41. D. Greefhorst, M. van Elswijk, M. Maat, and R. Maijers, Evaluating OO-CASE Tools: OO Research Meets Practice, ser. Lecture Notes Comput. Sci., Berin, Germany: Springer-Verlag, 1998, pp. 486-488.
42. S. Jarzabek and R. Huang, "The CASE for user-centered CASE tools," Commun. ACM, vol. 41, no. 8, pp. 93-99 Aug. 1998.
43. O. L. Madsen, "Toward a unified programming language," in Proc. 2000 Eur. Conf. Object-Oriented Programming (ECOOP'00), Cannes, France, 2000, pp. 1-26.
44. UML Profile for Schedulability, Performance, and Time Specification, 2002, OMG Document ptc/02-03-02.
45. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual. Reading, MA: Addison-Wesley, 1999.
46. M von der Beeck, P. Braun, M. Ralph, and C. Schröder, "Model-based software development for automotive ECU networks," Electron. Syst. Veh., ser. VDI-Berichte, no. 1646, pp. 293-331, 2001.
47. R. M. Fujimoto, Parallel and Distributed Simulation Systems. New York: Wiley, 2000.
48. S. Schmerler, "Prädiktive Methoden für Optimistische Synchronization-sprotokolle in der Verteilten Simulation (Predictive Methods for Optimistic Synchronization Protocols in Distributed Simulation)," Doctoral dissertation (in in German), Univ. Karlsruhe, FZI-Pub. 3/98, Karlsruhe, Germany, 1998.
49. M. Horstmann, S. König, G. Bikker, and A. Wegele, "Model integration by co-simulation applied to hybrid automotive systems," in Proc. 4th Mathmod, I. Troch and F. Breitenecker, Eds., Vienna, Austria, Feb. 2003.
50. (2002) Da Vinci: Function Development of Vehicle Networks [Online]. Available: http://www.vector-informatik.de/kongress/VeCo_Vortrag06_Wernicke.pdf
51. M. Wernicke, "Verteilte systeme im griff (Mastering distributed systems)" (in in German), Automot. Electron. Syst., no. 6/02, pp. 28-30, 2002.
52. U. Freund, et al., "Interface Based Design of Distributed Embedded Automotive Software: The TITUS Approach," ser. VDI-Berichte, 2000.
53. C. Reichmann, M. Kühl, and K. D. Müller-Glaser, "An overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems," in Proc. FASE 2003, Warsaw, Poland, 2003, pp. 52-66.
54. COMTESSA Project (2002). [Online]. Available: http://www.fzi.de/esm/projects/Comtessa/Comtessa_uk.html
55. M. A. P. Remelhe, S. Engell, M. Otter, and P. J. Mostermann, "An environment for the integrated modeling of systems with complex continuous and discrete dynamics," in Modeling, Analysis, and Design of Hybrid Systems. Berlin, Germany: Springer-Verlag, 2002.
56. T. Sheard, "Accomplishments and research challenges in meta-programming," presented at the Proc. SAIG 2001, Florence, Italy, 2001.
57. G. Frick and K. D. Müller-Glaser, "Semantic integration of modeling languages based on a reference language," in Proc. 4th Mathmod, I. Troch and F. Breitenecker, Eds., Vienna, Austria, Feb. 2003, pp. 1564-1573.
58. A. Burst, "Rapid Prototyping eingebetteter elektronischer Systeme auf Bais des CDIF-Datenaustauschformats (rapid prototyping of embedded electronic systems based on the CDIF data interchange format)," Doctoral dissertation (in in German), ITIV, University of Karlsruhe, Karlsruhe, Germany, 2000.
59. Meta Object Facility (MOF) Specification, Version 1.3, 1999, OMG Document ad/99-09-04.
60. Velocity (2004). [Online]. Available: http://jakarta.apache.org/velocity/
61. MEGMA (2004). [Online]. Available: http://www.msr-wg.de/megma/
62. Standardization of Library Blocks for Graphical Model Exchange, Version 1.09 (2000). [Online]. Available: http:www.msr-wg.de/megma/downlo.html