VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development

1. Akhter, S.: Multi-core Programming: Increasing Performance Through Software Multi-threading. Intel Press (2006)

   Google Scholar 

2. Cantrill, B., Bonwick, J.: Real-world concurrency. ACM Queue 6(5), 16–25 (2008)

   Article  Google Scholar 

3. de Niz, D., Rajkumar, R.: Time Weaver: A software-through-models framework for embedded real-time systems. In: Proceedings of the International Workshop on Languages, Embedded Systems, pp. 133–143 (June 2003)

   Google Scholar 

4. Hsiung, P.A., Lin, S.W., Tseng, C.H., Lee, T.Y., Fu, J.M., See, W.B.: VERTAF: An application framework for the design and verification of embedded real-time software. IEEE Transactions on Software Engineering 30(10), 656–674 (2004)

   Article  Google Scholar 

5. Kodase, S., Wang, S., Shin, K.G.: Transforming structural model to runtime model of embedded real-time systems. In: Proceedings of the Design Automation and Test in Europe Conference, March 2003, pp. 170–175 (2003)

   Google Scholar 

6. Lee, E.A.: The problem with threads. IEEE Computer 39(5), 33–42 (2006)

   Article  Google Scholar 

7. OpenMP (2008), http://www.openmp.org/

8. Reinders, J.: Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O’Reilly Media, Inc. (2007)

   Google Scholar 

9. Samek, M.: Practical StateCharts in C/C++. CMP (2002)

   Google Scholar 

10. Tsao, C.-C.: An efficient collaborative verification methodology for multiprocessor soc with run-time task migration. Master thesis, National Chung Cheng University, Taiwan (July 2008)

    Google Scholar 

11. Wang, F., Hsiung, P.-A.: Efficient and user-friendly verification. IEEE Transactions on Computers 51(1), 61–83 (2002)

    Article  MathSciNet  Google Scholar 

Download references