VERTAF/multi-core: A SysML-based application framework for multi-core embedded software development

Journal of Computer Science and Technology

Volumn 26, Issue 3, 2011, Pages 448-462

  Lin, Chao Sheng ^a   Lu, Chun Hsien ^a   Lin, Shang Wei ^a   Chen, Yean Ru ^b   Hsiung, Pao Ann ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

^b NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

design pattern; framework; model driven; multi core; parallel programming; SysML

Indexed keywords

DESIGN PATTERNS; FRAMEWORK; MODEL-DRIVEN; MULTI CORE; SYSML;

COMPUTER GRAPHICS; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; MICROPROCESSOR CHIPS; MIDDLEWARE; MULTIMEDIA SYSTEMS; PARALLEL PROGRAMMING; PERSONAL COMPUTING; RECORDING INSTRUMENTS; SOFTWARE DESIGN; VIDEO RECORDING;

MULTICORE PROGRAMMING;

EID: 79960001487     PISSN: 10009000     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11390-011-1146-3     Document Type: Article

References (23)

1. Akhter S. Multi-Core Programming: Increasing Performance Through Software Multi-Threading. Intel Press, 2006.
2. OpenMP. http://www.openmp.org/, 2008.
3. Intel Inc. http://software.intel.com/en-us/articles/intel-cilkplus/, 2010.
4. Reinders J. Intel Threading Building Blocks: Outfitting C++ for Multi-Core Processor Parallelism. O'Reilly Media, Inc., 2007.
5. PA Hsiung SW Lin CH Tseng TY Lee JM Fu WB See 2004 VERTAF: An application framework for the design and verification of embedded real-time software IEEE Transactions on Software Engineering 30 10 656 674 10.1109/TSE.2004.68 (Pubitemid 40274359)
6. Rumbaugh J, Booch G, Jacobson I. The UML Reference Guide. Addison Wesley Longman, 1999.
7. Samek M. Practical StateCharts in C/C++. CMP Books, 2002.
8. EA Lee 2006 The problem with threads IEEE Computer 39 5 33 42 (Pubitemid 43786509)
9. UML. http://www.omg.org/gettingstarted/what-is-uml.htm, 2010.
10. SysML. http://www.omgsysml.org/, 2010.
11. Model driven development-simplifying multicore systems deployment. Technical Report, IBM Corporation Software Group, October 2009.
12. de Niz D, Rajkumar R. Time Weaver: A software-throughmodels framework for embedded real-time systems. In Proc. LCTES 2003, San Diego, USA, Jun. 11-13, 2003, pp.133-143.
13. Kodase S, Wang S, Shin K G. Transforming structural model to runtime model of embedded real-time systems. In Proc. the Design Automation and Test in Europe Conference, Munich, Germany, Mar. 3-7, 2003, pp.170-175.
14. Wang S, Kodase S, Shin K G. Automating embedded software construction and analysis with design models. In Proc. the International Conference of Euro-uRapid, Frankfurt, Germany, Dec. 2-3, 2002, pp.A/5.1-A/5.6.
15. Piel E, Ben Atitallah R, Marquet P, Meftali S, Niar S, Etien A, Dekeyser J L, Boulet P. Gaspard2: From MARTE to systemc simulation. In Workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML Profile (DATE2008), March 2008.
16. Rioux L, Saunier T, Gerard S, Radermacher A, de Simone R, Gautier T, Sorel Y, Forget J, Dekeyser J L, Cuccuru A, Dumoulin C, Andre C. MARTE: A new profile RFP for the modeling and analysis of real-time embedded systems. In Workshop UML for SoC Design (DAC 2005), June 2005.
17. Bader D, Kanade V, Madduri K. SWARM: A parallel programming framework for multi-core processors. In Proc. IPDPS 2007, Long Beach, USA, Mar. 26-30, 2007, pp.1-8.
18. J Perez P Bellens R Badia J Labarta 2007 Cellss: Making it easier to program the cell broadband engine processor IBM Journal of Research and Development 51 5 593 604 10.1147/rd.515.0593 (Pubitemid 350031358)
19. Wagner J, Jahanpanah A, Traff J. User-land work stealing schedulers: Towards a standard. In Proc. CISIS 2008, Mar. 4-7, 2008, pp.811-816.
20. F Wang PA Hsiung 2002 Efficient and user-friendly verification IEEE Transactions on Computers 51 1 61 83 1873316 10.1109/12.980017 (Pubitemid 34129843)
21. B Cantrill J Bonwick 2008 Real-world concurrency ACM Queue 6 5 16 25 10.1145/1454456.1454462
22. Tsao C C. An efficient collaborative verification methodology for multiprocessor SoC with run-time task migration [Master's Thesis]. "National Chung Cheng University", July 2008.
23. CH Lien YW Bai MB Lin 2007 Estimation by software for the power consumption of streaming-media servers IEEE Transactions on Instrumentation and Measurement 56 5 1859 1870 10.1109/TIM.2007.904554 (Pubitemid 47455910)