UML for SOC design

UML for SOC Design

Volumn , Issue , 2005, Pages 1-272

  Martin, Grant ^a   Müller, Wolfgang ^b  

^a Tensilica Inc   (United States)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892794433     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-25745-4     Document Type: Book

References (238)

1. Action Semantics Consortium - UML Subcommittee Webpage. www.kabira.com/as/home.html
2. J. Alderman, M. London, S. Sorensen, and D. Yang. SHOOT-EMU-Software/ Hardware Object Oriented Tool for Executable Modelling. Fourth Year Group Project Report, Department of Computation, UMIST, June 2000.
3. P. Alexander, R. Kamath, and D. Barton. System Specification in Rosetta. In IEEE Engineering of Computer Based Systems Symposium, Edinburgh, Scotland, 2000.
4. M. Ardis. A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. In IEEE Transactions on Software Engineering, 22(6), IEEE Press, 1996.
5. M. Awad, J. Kuusela, and J. Ziegler Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice-Hall, Eaglewood Cliffs, NJ, USA, 1996.
6. ARM Limited. AMBA AHB Cycle Level Interface Specification, 2003.
7. D. I. August, K. Keutzer, S. Malik, and A. R. Newton. A Disciplined Approach to the Development of Platform Architectures. In Microelectronics Journal, 33(11), November 2002.
8. J. Axelsson. Real-World Modeling in UML. In 13th International Conference on Software and Systems Engineering and their Applications, Paris, France, December 2000.
9. A. T. Bahill and B. Gissing. Re-evaluating Systems Engineering Concepts Using Systems Thinking. In IEEE Transactions on Systems, Man, and Cybernetics-Part C: Applications and Reviews, 1998.
10. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki and B. Tabbara. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers, Boston/Dordrecht/London, 1997.
11. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. Metropolis: An Integrated Electronic System Design Environment. In IEEE Computer, 36(4), April 2003.
12. L. Baresi, F. Bruschi, E. Di Nitto, and D. Sciuto. SystemC Code Generation from UML Models. In Ch. Grimm (ed.): System Specification & Design Languages. Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
13. A. S. Basu, M. Lajolo, and M. Prevostini. UML in an Electronic System Level Design Methodology. In UML for SoC Design Workshop at DAC'04 (UML-SoC'04), San Diego, CA, USA, June 2004.
14. Th. Beierlein, D. Fröhlich, and B. Steinbach. UML Based Codesign of Reconfigurable Architectures. In Forum on Specification and Design Languages (FDL'03), Frankfurt, Germany, September 2003.
15. K. Berkenkötter, S. Bisanz, U. Hannemann, and J. Peleska. Hybrid UML Profile for UML 2.0. In Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS 2003), San Francisco, CA, USA, October 2003.
16. S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee. Software Synthesis from Dataflow Graphs. Kluwer Academic Publishers, Boston/Dordrecht/London, 1996.
17. L. Bichler, A. Radermacher, and A. Schürr. Integrating Data Flow Equations with UML/Realtime. In Real-Time Systems, 26(1), Kluwer Academic Publishers, Boston/Dordrecht/London, January 2004.
18. M. Björkander and C. Kobryn. Support for Embedded Systems in UML 2.0. In E. Villar and J. Mermet (eds.): System Specification and Design Languages: Best of FDL2002, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
19. D. Björklund and J. Lilius. From UML Behavioral Descriptions to Efficient Synthesizable VHDL. In IEEE Norchip Conference, Copenhagen, Denmark, November 2002.
20. D. Bjorklund, J. Lilius, and I. Porres. A Unified Approach to Code Generation from Behavioral Diagrams. In Forum on Specification and Design Languages (FDL'03), Frankfurt, Germany, September 2003.
21. C. Bock. UML2 Activity and Action Models Part 3 Control Nodes. Journal of Object Technology, 12(6), ETH Swiss Federal Institute of Technology, 2003.
22. B. W. Boehm. A Spiral Model of Software Development and Enhancement. In IEEE Computer, 21(5), May 1988.
23. A. Bona, M. Sami, D. Sciuto, C. Silvano, V. Zaccaria, and R. Zafalon. Energy Estimation and Optimization of Embedded VLIW Processors based on Instruction Clustering. In 39th Design Automation Conference (DAC'02), New Orleans, LA, USA, 2002.
24. G. Booch, J. Rumbaugh, and I. Jacobson. Unified Modeling Language User Guide. Addison-Wesley, Boston, 1999.
25. G. Boyd. Executable UML: Diagrams for the Future. In devX.com, February 5, 2003. www.devx.com/enterpresi/Article/10717
26. F. Bruschi. A SystemC Based Design Flow Starting from UML Models. In 9th European SystemC Users Group Meeting, Paris, France, 2004.
27. F. Bruschi, E. di Nitto, and D. Sciuto. SystemC Code Generation from UML Models. In System Specification and Design Languages: Best of FDL'02, Kluwer Academic Publishers, Boston/Dordrecht/London, January 2003.
28. F. Bruschi and D. Sciuto. A SystemC Based Design Flow Starting from UML. In 6th European SystemC Users Meeting, Stresa, Italy, October 2002. www-ti.informatik.uni-tuebingen. de/?systemc
29. T. Burd, T. Pering, A. Stratakos, and R. Brodersen. A Dynamic Voltage Scaled Microprocessor System. In IEEE Journal of Solid-State Circuits, 35(11), IEEE CS Press, November 2000.
30. L. Cai and D. D. Gajski. Transaction Level Modeling: An Overview. In 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign & System Synthesis, Newport Beach, CA, USA, October 2003.
31. M. Caldari, M. Conti, M. Coppola, S. Curaba, L. Pieralisi, and C. Turchetti. Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0. In DATE'03 Designers' Forum, Munich, Germany, 2003.
32. Celoxica. Agility Compiler for SystemC Synthesis. 2005. www.celoxica.com/agility/FlashLoader.htm
33. A. Chandrakasan and R. Brodersen. Low-Power CMOS Design. Wiley-IEEE Press, 1998.
34. H. Chang, L. Cooke, M. Hunt, G. Martin, A. McNelly, and L. Todd. Surviving the SOC Revolution. Kluwer Academic Publishers, Boston/Dordrecht/ London, 1999.
35. W. H. Chen, C. H. Smith, and S. C. Fralick. A Fast Computational Algorithm for the Discrete Cosine Transform. In IEEE Trans. on Commununications, vol. COM-25, 1977.
36. R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. Sangiovanni-Vincentelli, and J. Rabaey. Embedded System Design Using UML and Platforms. In Forum on Specification and Design Languages (FDL'02), Marseille, France, September 2002.
37. R. Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-Vincentelli, and J. Rabaey. UML and Platform-Based Design. In L. Lavagno, G. Martin, and B. Selic (eds.): UML for Real: Design of Embedded Real-Time Systems, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
38. K. Choi, K. Kim, and M. Pedram. Energy-Aware MPEG-4 FGS Streaming. In 40th Design Automation Conference (DAC'03), Anaheim, CA, USA, 2003.
39. P. Clarke. Bridging the Divide Between Design and Manufacturing. Silicon Strategies, November 2003.
40. A. Clouard, K. Jain, F. Ghenassia, L. Maillet-Contoz, and J.-P. Strassen. Using Transactional Level Models in a SoC Design Flow. In W. Mueller, W. Rosenstiel, J. Ruf (eds.): SystemC: Methodologies and Applications, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
41. A. Cockburn. Writing Effective Use Cases. Addison-Wesley, Boston, 2000.
42. A. Cockburn. Use Cases, Ten Years Later. STQE Magazine, 4(2), March-April 2002.
43. J. Cohn. Technology Challenges for SoC Design: An IBM Perspective. In G. Martin, H. Chang (eds.): Winning the SoC Revolution, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
44. CriticalBlue Webpage. www.criticalblue.com
45. A. Cuccuru, P. Marquet, and J.-L. Dekeyser. UML2 as an ADL Hierarchical Hardware Modeling. Technical Report5166, Institut National de Recherche en Informatique et en Automatique, April 2004.
46. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In Formal Methods in System Design, 19(1), Kluwer Academic Publishers, Boston/Dordrecht/London, 2001.
47. G. de Jong. A UML-Based Design Methodology for Real-Time and Embedded Systems. In Design Automation and Test in Europe (DATE'02), Paris, France, March 2002.
48. DOM Webpage. www.w3.org/DOM
49. B. P. Douglass. Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley, Boston, 2004.
50. B. P. Douglass. Rhapsody 5.0 Breakthroughs in Software and Systems Engineering. White Paper. I-Logix, 2005. www.ilogix.com/whitepapers/whitepapers. cfm
51. Doulos. SystemC in Europe - Current Usage and Future Requirements. Technical Report, Doulos, May 2003. [52]
52. I. Drost. Estimation of Execution Probabilities and Frequencies of OO Models. Diploma Thesis, University of Applied Sciences Mittweida, Germany, 2003.
53. dSPACE GmbH. AutomationDesk Guide Release 4.2. Paderborn, Germany, March 2005. www.dspace.com
54. M. D. Edwards and P. N. Green. UML for Hardware and Software Object Modeling. In L. Lavagno, G. Martin, and B. Selic (eds.): UML for Real: Design of Embedded Real-Time Systems, Kluwer Academic Publishers, Boston/Dordrecht/ London, 2003.
55. M. D. Edwards and P. N. Green. Run-time Support for Dynamically Reconfigurable Computing. In Journal of Systems Architecture: the EU-ROMICRO Journal, 49(4-6), Elsevier North-Holland, New York, NY, 2003. [56]
56. S. Edwards, L. Lavagno, E A. Lee, and A. Sangiovanni-Vincentelli. Design of Embedded Systems: Formal Models, Validation, and Synthesis. In Proceedings of IEEE, 85(3), March 1997.
57. A. Eliens. Principles of Object-Oriented Software Development. Addison-Wesley, Boston, 2000.
58. J. P. Elliott. Understanding Behavioral Synthesis. Kluwer Academic Publishers, Boston/Dordrecht/London, 2000.
59. H. E. Eriksson, M. Penker, B. Lyons, and D. Fado. UML 2 Toolkit. John Wiley & Sons, 2004.
60. Y. Fei, S. Ravi, A. Raghunathan, and N. Jha. Energy Estimation for Extensible processors. In Design, Automation and Test in Europe (DATE'03), Munich, Germany, 2003.
61. S. Flake and W. Mueller. An OCL Extension for Real-Time Constraints. In T. Clark and J. Warmer (eds.): Advances in Object Modelling with the OCL, Springer Verlag, Berlin, 2001.
62. C. Flanagan. Extended Static Checking for Java. In ACM SIGPLAN Programming Language Design and Implementation (PLDI). Berlin, Germany, 2002.
63. Forte Design Systems. Cynthesizer. 2005. www.forteds.com/products/ cynthesizer.asp
64. Fujitsu. New SoC Design Methodology Based on UML and C Programming Languages. Fujitsu Electronic Devices News (FIND), 20(4), 2002.
65. Fujitsu Limited, IBM Corporation, NEC Corporation. A UML Extension Profile for SoC. Draft RFC Submission to OMG, 2005-01-01, January 2005.
66. D. D. Gajski. Principles of Digital Design. Prentice Hall Inc., Eaglewood Cliffs, NJ, USA, 1997.
67. D. D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Boston/Dordrecht/London, 2000.
68. A. Girault, B. Lee, and E. A. Lee. Hierarchical Finite State Machines with Multiple Concurrency Models. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(6), June 1999.
69. Ch. A. Giumale and H. J. Kahn. Information Models of VHDL. In 32nd International Design Automation Conference (DAC'95), San Francisco, CA, USA, 1995.
70. M. Glinz. Problems and Deficiencies of UML as a Requirement Specification Language. In International Workshop on Software Specification, November 2000.
71. R. Goering. Next-Generation Verilog Rises to Higher Abstraction Levels. EE Times, March 15, 2002
72. H. Gomaa. Designing Concurrent Distributed, and Real-Time Applications with UML. Addison-Wesley, Boston, 2000.
73. P. N. Green and M. D. Edwards. Platform Modelling with UML and SystemC. In Forum on Specification and Description Languages (FDL'02), Marseilles, France, 2002.
74. P. N. Green and M. D. Edwards. The Modelling of Embedded Systems Using HaSoC. In Design Automation and Test in Europe (DATE'02), Paris, France, March 2002.
75. P. N. Green and M. D. Edwards. The Modeling of Embedded Systems Using HASoC. In Design, Automation and Test in Europe (DATE'02), Paris, France, March 2002.
76. P. N. Green and S. Essa. Integrating the Synchronous Dataflow Model with UML. In Design, Automation and Test in Europe (DATE'04), Paris, France, 2004.
77. P. N. Green, M. D. Edwards, and S. Essa. Enhancing UML to Support the Specification of Behavior for Embedded Systems-on-a-Chip. In UML for SoC Design Workshop at DAC'04 (UML-SoC'04), San Diego, CA, USA, June 2004.
78. P. N. Green, M. D. Edwards, and S. Essa. HASOC - Towards a New Method for System-on-a-Chip Development. In Design Automation for Embedded Systems, 6(4), July 2002.
79. Th. Grötker. Modeling Software with SystemC 3.0. In 6th European SystemC Users Group Meeting, Stresa, Italy, October 2002.
80. Th. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, Boston/Dordrecht/London, 2002.
81. Y. Ha, P. Schaumont, M. Engels, S. Vernalde, F. Potargent, L. Rijnders, and H. de Man. A Hardware Virtual Machine for the Networked Reconfiguration. In 11th IEEE International Workshop on Rapid System Prototyping (RSP2000), Montreal, Canada, 2000.
82. A. Habibi and S. Tahar. A Survey on System-on-a-Chip Design Languages. In IEEE International Workshop on System-on-Chip for Real-Time Applications, Calgary, Alberta, Canada, July 2003.
83. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The Synchronous Data Flow Programming Language LUSTRE. In Proceedings of the IEEE, 79(9), 1991
84. M. Hans and R. W. Schafer. Lossless Compression of Digital Audio. Technical Report, Client and Media Systems Laboratory, HP Laboratories Palo Alto, 1999.
85. D. Harel. Statecharts: A Visual Formalism for Complex Systems. In Science of Computer Programming, 8(3), June 1987.
86. D. Harel and R. Marelly. Come, Let's Play. Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, Berlin, 2003.
87. D. Harel and B. Rumpe. Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff, Faculty of Mathematics and Conputer Science, The Weizmann Insitute of Science, Israel, September 2000.
88. T. Hasegawa. An Introduction to the UML for SoC Forum in Japan. In UML for SoC Design Workshop at DAC'04 (UML-SoC'04), San Diego, CA, USA, June 2004.
89. Ø. Haugen, B. Møller-Pederson, and Th. Weigert. Structural Modelling with UML 2.0: Classes, Interactions and State Machines. In L. Lavagno, G. Martin, and B. Selic (eds.): UML for Real: Design of Embedded Real-Time Systems, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
90. J. Henkel, Th. Benner, R. Ernst, W. Ye, N. Serafimov, and G. Glawe. COSYMA: A Software-OrientedApproachto Hardware/Software Codesign. In Journal of Computer and Software Engineering, 2(3), Ablex Publishing Corp., Norwood, NJ, USA, March 1994.
91. T. Heverhagen, R. Tracht, and R. Hirschfeld. A Profile for Integrating Function Blocks into the Unified Modeling Language. In UML2003 Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS 2003), San Francisco, CA, USA, October 2003.
92. R. Hilderink and S. Klostermann. Transaction Level Modeling of SoC Platforms Using SystemC. In Design Automation, and Test in Europe (DATE'02), Paris, France, March 2002.
93. R. R. Hurlbut. A Survey of Approaches For Describing and Formalizing Use Cases. Technical Report, XPT-TR-97-03, Expertech, Ltd., 1997.
94. H.-P. Hoffmann. UML 2.0-Based Systems Engineering Using a Model-Driven Development Approach. I-Logix, White Paper, 2004
95. E. Hubbers and M. Oostdijk. Generating JML Specifications from UML State Diagrams. In Forum on Specification and Design Languages (FDL'03), Frankfurt, Germany, September 2003.
96. IEEE. WirelessLAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications: High-speed Physical Layer in the 5 GHz Band, IEEE Std 802.11a, June 2003.
97. IEEE. WirelessLAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications: Further Higher Data Rate Extension in the 2.4 GHz Band, IEEE Std 802.11g, June 2003.
98. INCOSE Webpage. What is Systems Engineering? www.incose.org/practice/ whatissystemseng.aspx
99. I-Logix Webpage. www.ilogix.com
100. S. A. Ito, L. Carro, and R. Jacobi. Making Java Work for Microcontroller Applications. In IEEE Design and Test, 18(5), IEEE Press, Sept-Oct. 2001.
101. B. Jacobs, J. van den Berg, M. Huisman, M. van Berkum, U. Hensel, and H. Tews. Reasoning about (Java) Classes. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'98), Vancouver, Canada, 1998.
102. I. Jacobson, M. Ericsson, and A. Jacobson. The Object Advantage: Business Process Reengineering With Object Technology. Addison-Wesley, Boston, 1995.
103. K. John and M. Tiegelkamp. IEC61131-3: Programming Industrial Automation Systems: Concepts and Programming Languages, Requirements for Programming Systems, Aids to Decision-Making. Springer-Verlag, Berlin, 2001.
104. C. Kobryn. UML 3.0 and the Future of Modeling. In Software and System Modeling, 3(1), Springer-Verlag, Berlin, March 2004.
105. F. Kordon and J. Henkel. An Overview of Rapid System Prototyping Today. In Journal on Design Automation for Embedded Systems (DAES), 8(4), Kluwer Academic Publisher, Boston/Dordrecht/London, December 2003.
106. P. Kruchten. The Rational Unified Process: An Introduction (3rd Ed.). Addison-Wesley, Boston, 2003.
107. K. Lahiri, A. Raghunathan, and S. Dey. Communication Architecture Based Power Management for Battery Efficient System Design. In 39th Design Automation Conference (DAC'02), New Orleans, LA, USA, 2002.
108. K. Lahiri, A. Raghunathan, and S. Dey. Fast System-Level Power Profiling for Battery-Efficient System Design. In 10th International Symposium on Hardware/Software Codesign (CODES'02), Estes Park, Colorado, USA, 2002.
109. M. Lajolo. IP-Based SoC Design in a C-Based Design Methodology. In IP Based SoC Design2003, Grenoble, France, November 2003.
110. M. Lajolo, A. S. Basu, and M. Prevostini. UML Specifications Towards a Codesign Environment. In Forum on Specification and Design Languages (FDL'04), Lille, France, 2004.
111. S. Lange and U. Kebschull. Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems. In Design, Automation, and Test in Europe (DATE'03), Munich, Germany, 2003.
112. C. Larman. Use-Case Model: Writing Requirements in Context. In Applying UML and Patterns (2nd Ed.), Prentice Hall, Eaglewood Cliffs, NJ, USA, 2001.
113. R. Y. W. Lau and H. J. Kahn. Information Modelling of EDIF. In 30th International Design Automation Conference (DAC'93), Dallas, TX, USA, 1993.
114. L. Lavagno, G. Martin, and B. Selic. UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
115. E. A. Lee. Overview of the Ptolemy Project. Technical Memorandum No. UCB/ERL M03/25. University of California, Berkeley, CA, 94720, USA, July 2, 2003.
116. E. A. Lee and D. Messerschmitt. Synchronous Dataflow. In Proceedings of the IEEE, 75(9), September 1987.
117. F. Legrand, I. Bucaille ans S. Héthuin, L. De Nardis, G. Giancola, M.-G. Di Benedetto, L. Blazevic, and P. Rouzet. U. C. A. N.'s Ultra Wide Band System: MAC and Routing Protocols. In International Workshop on Ultra Wideband Systems, June 2003.
118. C. K. Lennard, P. Schaumont, G. de Jong, A. Haverinen, and P. Hardee. Standards for System-Level Design: Practical Reality or Solution in Search of a Question? In Design, Automation and Test in Europe (DATE' 00), Paris, France, 2000.
119. R. Leupers and P. Marwedel. Retargetable Compiler Technology for Embedded Systems. Kluwer Academic Publishers, Boston/Dordrecht/London, 2001.
120. S. Lilly. Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases. In Proceedings of Technology of Object Oriented Languages and Systems, August 1999.
121. Y. C. Lin, C. C. Yang, M. Y. Hwang, and Y. T. Chang. Simulation and Experimental Verification of Micro Polymerase Chain Reaction Chip. In Fifth International Conference on Modeling and Simulation of Microsystems (MSM 2000), San Juan, Puerto Rico, April 2000.
122. T. Lindholm and F. Yellin. Java Virtual Machine Specification. Second Edition, Addison-Wesley, Boston, 1999.
123. K. Marent. SoC++: A Unified Design Method from Concept to Implementation. In Tech OnLine Journal, September 18, 2000. www.techonline.com
124. G. Martin. SystemC and The Future of Design Languages: Opportunities for Users and Research In The 16th Symposium on Integrated Circuits and Systems Design. Sao Paulo, Brazil, 2003.
125. G. Martin. UML for Embedded Systems Specification and Design: Motivation and Overview. In Design, Automation and Test in Europe (DATE' 02), Paris, France, March 2002.
126. G. Martin, L. Lavagno, and J. Louis-Guerin. Embedded UML: A Merger of Real-time UML and Co-design. In Ninth International Symposium onHardware/SoftwareCo-Design (CODES'01), Copenhagen, Denmark, 2001.
127. G. Martin and Ch. Lennard. Improving Embedded SW Design and Integration for SOCs. In Custom Integrated Circuits Conference, Orlando, FL, USA, May 2000.
128. P. Marwedel. Embedded Systems Design. Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
129. A. Massa. Embedded Software Development with eCos. Prentice Hall, Eaglewood Cliffs, NJ, USA, 2002
130. W. E. McUmber and B. H. C. Cheng. UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. In IEEE International Symposium on High-Assurance Systems Engineering HASE'99, IEEE CS Press, November 1999.
131. S. Mellor and M. Balcer. Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Boston, 2002.
132. S. Mellor, K. Scott, A. Uhl, and D. Weise. MDA Distilled: Principles of Model-Driven Development. Addison-Wesley, Boston, 2004.
133. Mentor Graphics. Mentor's Application Specific Assistant Processor. www.mentor.com/asap
134. Microelectronic Embedded Systems Laboratory (MESL), University of California, San Diego. SPARK: High-Level Synthesis using Parallelizing Compiler Techniques. April 2004. mesl.ucsd.edu/spark
135. MIPS Technologies, Inc. MIPS Webpage. www.mips.com
136. D. Morris, D. G. Evans, P. N. Green, and C. J. Theaker. Object-Oriented Computer Systems Engineering. Springer-Verlag, Berlin, 1996.
137. E. Moser and W. Nebel. Case Study: System Model of Crane and Embedded Control. In Design, Automation and Test in Europe (DATE'99), Munich, Germany, March 1999.
138. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997.
139. W. Mueller and G. Martin. UML for SoC Design Workshop at DAC'04 (UML-SoC'04), San Diego, CA, June 2004. www.c-lab.de/uml-soc
140. A. Nacul and T. Givargis. Code Partitioning for Synthesis of Embedded Applications with Phantom. In International Conference on Computer Aided Design (ICCAD'04), San Jose, CA, USA, November 2004.
141. T. Nakata, A. Matsuda, M. Shoji, S. Kuwamura, and Q. Zhu. An Object-Oriented Design Process for System-on-Chip Using UML. In 15th International Symposium on System Synthesis, Kyoto, Japan, October 2002.
142. S. Narayan, F. Vahid, and D. Gajski. System Specification with the SpecCharts Language. In IEEE Design & Test, 9(4), October 1992.
143. K. D. Nguyen, Z. Sun, P. S. Thiagarajan, W. F. Wong. Model-Driven SoC Design Via Executable UML to SystemC, In 25th International Real-Time Systems Symposium (RTSS'04), Lisbon, Portugal, December 2004
144. Object Management Group (OMG) Webpage. www.omg.org
145. Object Management Group (OMG). OMG XML Metadata Interchange (XMI) Specification, Version 1.2, OMG Specification, 2000. www.omg.org/xml
146. Object Management Group (OMG). OMG Unified Modelling Language Specification (Action Semantics). Version 1. 4, January 2002.
147. Object Management Group (OMG). Model Driven Architecture (MDA). ormsc/2001-07-01, July 2001.
148. Object Management Group (OMG). Action Semantics for the UML. ad/2001-08-04, August 2001.
149. Object Management Group (OMG). Meta-Object Facility (MOF). formal/2001-11-02, November 2001.
150. Object Management Group (OMG). Unified Modelling Language Specification Version 1.5. OMG Adopted Specification, formal/03-03-01, March 2003.
151. Object Management Group (OMG). Platform Independent Model (PIM) and Platform Specific Model (PSM) for Super Distributed Objects (SDO) Specification. dtc/03-09-01, OMG Adopted Specification, September 2003.
152. Object Management Group (OMG). MOF Model to Text Transformation RfP, April 2004. www.omg.org/cgi-bin/doc?ad/04-04-07
153. Object Management Group (OMG). Human-Usable Textual Notation (HUTN) Specification. formal/04-08-01, OMG Adopted Specification, August 2004.
154. Object Management Group (OMG). UML 2.0 Superstructure Specification. Revised Final Adopted Specification, ptc/04-10-02, October 2004.
155. Object Management Group (OMG). Unified Modeling Language: Diagram Interchange Version 2.0. OMG Draft Adopted Specification, ptc/03-07-03, July 2003.
156. Object Management Group (OMG). UML 2.0 OCL Specification. OMG Adopted Specification, ptc/03-10-14, October 2003.
157. Object Management Group (OMG). UML 2.0 Infrastructure Specification. OMG Adopted Specification, ptc/03-09-15, August 2003
158. Object Management Group (OMG). UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics & Mechanisms. Final Adopted Specification, ptc/04-09-01, September 2004.
159. Object Management Group (OMG). UML Profile for Schedulability, Performance, and Time Specification. OMG Adopted Specification, formal/03-09-01, September 2003.
160. Object Management Group (OMG). UML Testing Profile, Proposed Specification. OMG document ptc/04-04-02, April 2004.
161. Open SystemC Initiative (OSCI). SystemC Version 2.0 beta-1 User's Guide, 2001. www.systemc.org
162. Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0, 2001. www.systemc.org
163. S. Pasricha. Transaction Level Modeling of SoC with SystemC 2.0. In Synopsys User Group Conference (SNUG'02), Bangalore, India, May 2002.
164. M. Pauwels, Y. Vanderperren, G. Sonck, P. van Oostende, W. Dehaene, and T. Moore. A Design Methodology for the Development of a Complex System-on-Chip Using UML and Executable System Models. In E. Villar and J. Mermet (eds.): System Specification and Design Languages: Best of FDL2002, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
165. S. Pees, A. Hoffmann, V. Zivojnovic, and H. Meyr. Lisa Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures. In 36th Design Automation Conference (DAC'99), New Orleans, LA, USA, 1999.
166. Project Technology Webpage. www.projtech.com
167. W. Qin and S. Malik. Architecture Description Languages for Retargetable Compilation. In Y. N. Srikant and P. Shankar (eds.): The Compiler Design Handbook-Optimizations and Machine Code Generation, CRC Press, 2003.
168. C. Raistrick. Developing Embedded Systems Using Model-Driven Architecture and Executable UML. In Forum on Specification and Design Languages (FDL'02), Marseilles, France, 2002.
169. C. Raistrick, P. Francis, and J. Wright. Model Driven Architecture with Executable UML. Cambridge University Press, 2004.
170. C. Reichmann, D. Gebauer, and K. Müller-Glaser. Model Level Coupling of Heterogeneous Embedded Systems. In 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
171. W. Reisig. Petri Nets: An Introduction. Springer-Verlag, Berlin, 1985.
172. Rhapsody Webpage. www.ilogix.com/rhapsody/rhapsody.cfm
173. E. Riccobene, A. Rosti, and P. Scandurra. Improving SoC Design Flow by Means of MDA and UML Profiles. In 3rd UML Workshop in Software Model Engineering (WiSME'2004), Lisbon, Portugal, October 2004.
174. H. Riedel. Design and Implementation of a Run-Time Environment for RTR-Systems. Diploma Thesis, University of Applied Sciences Mittweida, Germany, January 2004.
175. L. Rioux, T. Saunier, S. Gerard, A. Radermacher, R. de Simone, T. Gautier, Y. Sorel, J. Forget, J.-L. Dekeyser, A. Cuccuru, C. Dumoulin, and C. Andre. MARTE: A New Profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. In UML for SoC Design Workshop at DAC'05 (UML-SoC'05), Anaheim, June 2005. www.c-lab.de/uml-soc
176. P. Rong and M. Pedram. Extending the Lifetime of a Network of Battery-Powered Mobile Devices by Remote Processing: a Markovian Decisionbased Approach. In 40th Design Automation Conference (DAC'03), Anaheim, CA, USA, 2003.
177. J. Rowson and A. Sangiovanni-Vincentelli. Interface-Based Design. In 34th Design Automation Conference (DAC'97), Anaheim, CA, USA, 1997.
178. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Boston, 1998.
179. M. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz. Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models. In IEEE Real-Time Systems Symposium (RTSS'98), Madrid, Spain, 1998.
180. T. Sakurai. Perspectives on Power-Aware Electronics. In Digest of IEEE International Solid-State Circuits Conference, February 2003.
181. A. Sangiovanni-Vincentelli. Defining Platform-based Design. EEDesign of EETimes, February 2002.
182. A. Sardini. SoC Design with UML and SystemC. In 6th European SystemC Users Meeting, Stresa, Italy, October 2002. www-ti.informatik.uni-tuebingen. de/?systemc
183. SAX Website. www.saxproject.org
184. T. Schattkowsky and A. Rettberg. UML for FPGA Synthesis. In UML for SoC Design Workshop at DAC'04 (UML-SoC'04), San Diego, CA, USA, June 2004.
185. T. Schattkowsky, W. Mueller, and A. Rettberg. A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. In Design, Automation and Test in Europe (DATE'05), Munich, Germany, 2005.
186. T. Schattkowsky and W. Mueller. Model-Based Design of Embedded Systems. In 7th IEEE International Symposium on Object-oriented Realtime distributed Computing (ISORC'04), Vienna, Austria, 2004.
187. T. Schattkowsky and W. Mueller. Model-Based Specification and Execution of Embedded Real time Systems. In Design, Automation and Test in Europe (DATE'04), Paris, France, 2004.
188. C. Schulz-Key, M. Winterholer, T. Schweizer T. Kuhn, and W. Rosenstiel. Object-Oriented Modeling and Synthesis of SystemC Specifications. In Asia South Pacific Design Automation Conference (ASP-DAC'04), Yokohama, Japan, 2004.
189. K. Scott. Fast Track UML 2.0. Apress, 2004.
190. B. Selic. Using UML for Modeling Complex Real-Time Systems. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98), Montreal, Canada, June 1998.
191. B. Selic. Models, Software Models and UML. In L. Lavagno, G. Martin, and B. Selic (eds.): UML for Real: Design of Embedded Real-Time Systems, Kluwer Academic Publishers, 2003.
192. B. Selic. Turning Clockwise: Using UML in the Real-Time Domain. In Communications of the ACM, 42(10), October 1999.
193. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley, 1994.
194. B. Selic and J. Rumbaugh. Using UML for ModelingComplex Real-Time Systems. ObjecTime Limited/Rational Software White Paper, 1998
195. M. Sgroi, L. Lavagno, and A. Sangiovanni-Vincentelli. Formal Models for Embedded System Design. In IEEE Design & Test, 17(2), June 2000.
196. S. Shlaer and S. Mellor. Object Lifecycles - Modeling the World in States. Yourdon Press, Prentice Hall, Eaglewood Cliffs, NJ, USA, 1992.
197. Silicore and OPENCORES. ORG. Specification for the: WISHBONE System-on-Chip (SoC) Interconnection Architecture for Portable IP Cores. Revision B.3, September 2002. www.opencores.org
198. A. Sinha and A. Chandrakasan. JouleTrack - A Web Based Tool for SoftwareEnergyProfiling. In 38th Design AutomationConference (DAC'01), Las Vegas, NV, USA, 2001.
199. V. Sinha, F. Doucet, C. Siska, and R. Gupta. YAML: A Tool for Hardware Design Visualization and Capture. In 13th International Symposium on System Synthesis (ISSS'00), Madrid, Spain, 2000.
200. SpecC Technology Open Consortium (STOC) Webpage. www.specc.org.
201. L. Starr. Executable UML How to Build Class Models. Prentice Hall, Eaglewood Cliffs, NJ, USA, 2001.
202. L. Starr. Executable UML: The Models are the Code, A Case Study. Model Integration Llc, 2001.
203. B. Steinbach, D. Fröhlich, and Th. Beierlein. UML-Based Codesign for Run-Time Reconfigurable Architectures. In Ch. Grimm (ed.): Languages for System Specification, Kluwer Academic Publishers, Boston/Dordrecht/London, 2004.
204. P. Stevens and R. Pooley. Using UML: Software Engineering with Objects and Components. Addison-Wesley, Boston, 2000.
205. Sun Microsystems, Inc. The Java Language Specification, Second Edition, 2000.
206. Synfora Webpage. www.synfora.com
207. SysML Partners. Systems Modeling Language (SysML) Specification, version 0.9 (DRAFT), January 10, 2004.
208. Synopsys. Synopsys CoCentric SystemC Compiler Behavioral User and Modeling Guide, 2001.
209. Synopsys. DesignWare Building Block IP User Guide. 2004. www.synopsys.com/products/designware/docs/doc/dwf/manuals/dwug.pdf
210. SystemC Webpage. www.systemc.org
211. W. H. Tan, P. S. Thiagarajan, W. F. Wong, Y. Zhu, and S. K. Pilakkat. Synthesizable SystemC Code from UML Models. In UML for SoC Design Workshop at DAC'04 (UML-SoC'04), San Diego, CA, USA, June 2004.
212. K. Tasie-Amadi and P. N. Green. Establishing the Correctness of Embedded Software. Seminar Digest, IEE Postgraduate Seminar on Systemon-Chip Design Test and Technology, Loughborough, UK, 2004.
213. Texas Instruments. Programmable Double Biquad Filter for Tone Detection on Fixed Point DSPs. Application Report SPRA482, February 1999.
214. The Embedded Linux Consortium Webpage. www.embedded-linux.org
215. The Open Group and IEEE. IEEE Std 1003.1, 2004.
216. www.opengroup.org/onlinepubs/009695399/toc.htm
217. V. Tiwari, S. Malik, and A. Wolfe. Power Analysis of Embedded Software: A First Step Towards Software Power Minimization. In IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2(4), 1994.
218. UML Webpage. www.uml.org
219. A. Vachoux, C. Grimm, and K. Einwich. Towards Analog and Mixed-Signal SoC Design with SystemC-AMS. In IEEE International Workshop on Electronic Design, Test and Applications (DELTA'04), Perth, Australia, January 2004.
220. Y. Vanderperren, M. Pauwels, W. Dehaene, A. Berna, and F. O zdemir. A SystemC Based System On Chip Modelling and Design Methodology. In W. Mueller, W. Rosenstiel, J. Ruf (eds.): SystemC: Methodologies and Applications, Kluwer Academic Publishers, Boston/Dordrecht/London, 2003.
221. Y. Vanderperren and W. Dehaene. UML for SoC: One More Language at System Level? In DAK Forum, Trondheim, Norway, October 2004.
222. Y. Vanderperren, G. Sonck, P. Oostende, M. Pauwels, W. Dehaene, and T. Moore. A Design Methodology for the Development of a Complex System-On-Chip using UML and Executable System Models. In Forum on Specification and Design Languages (FDL'02), Marseilles, France, 2002.
223. S. Vauttier, M. Magnan, and C. Oussalah. Extended Specification of Composite Objects in UML. Journal of Object Oriented Programming, 12(2), 1999.
224. C. Veith, K. Buchenreider, and A. Pytell. Mapping Statechart Models onto an FPGA-based ASIP Architecture. In European Design Automation Conference (EURODAC'96), Geneva, Switzerland, 1996.
225. Velocity Home Page. jakarta.apache.org/velocity
226. W3C. XSL Transformations (XSLT) Version 1.0., W3C Recommendation, November 1999.
227. K. Wakabayashi and T. Okamoto. C-Based SoC Design Flow and EDA Tools: An ASIC and System Vendor Perspective. In IEEE Trans. Computer-Aided Design, 19(12), December 2000.
228. Z. Wang. Fast Algorithms for the Discrete W Transform and for the Discrete Fourier Transform. In IEEE Transactions on Acoustics, Speech, and Signal Processing, vol. ASSP-32, August 1984.
229. M. A. Wehrmeister, L. B. Becker, and C. E. Pereira. Optimizing Real-Time Embedded Systems Development Using a RTSJ-based API. In Workshop On Java Technologies For Real-Time And Embedded Systems. Lecture Notes in Computer Science3292, Springer-Verlag, Heidelberg, 2004.
230. M. Williamson. Synthesis of Parallel Hardware Implementations from Synchronous Dataflow Graph Specifications. Ph. D. Thesis, University of California at Berkeley, 1998.
231. D. Wu, B. Al-Hashimi, and P. Eles. Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems. In Design, Automation and Test in Europe (DATE'03), Munich, Germany, 2003.
232. Xilinx Inc. Forge Compiler for High-Level Language Design. 2003. www.xilinx.com/ise/advanced/forge.htm
233. Xilinx. Xilinx ISE. www.xilinx.com
234. P. Yang, C. Wong, P. Marchal, F. Catthoor, D. Desmet, D. Verkest, and R. Lauwereins. Energy-Aware Runtime Scheduling for Embedded-Multiprocessor SoCs. In IEEE Design & Test, 18(5), Sept-Oct, 2001.
235. S. Yoo, G. Nicolescu, D. Lyonnard, A. Baghdadi, and A. A. Jerraya. A Generic Wrapper Architecture for Multi-Processor SoC Cosimulation and Design. In Ninth International Symposium on Hardware/Software Codesign (CODES'01), Copenhagen, Denmark, 2001.
236. J. Zhu, D. D. Gajski, and R. Doemer. Syntax and Semantics of the SpecC+ Language. In SASIMI Workshop, Nara, Japan, 1997.
237. Q. Zhu, A. Matsuda, S. Kuwamura, T. Nakata, and M. Shoji. An Object-Oriented Design Process for System-on-Chip Using UML. In Digest of IEEE International Solid-State Circuits Conference, October 2002.
238. V. Zivojnovic, S. Pees, and H. Meyr. Lisa - Machine Description Language and Generic Machine Model for Hw/Sw Co-Design. In IEEE Workshop on VLSI Signal Processing, San Francisco, CA, USA, 1996