Concept-based partitioning for large multidomain multifunctional embedded systems

ACM Transactions on Design Automation of Electronic Systems

Volumn 15, Issue 3, 2010, Pages

  Ahmed, Waseem ^a   Myers, Douglas ^b  

^a PA College of Engineering   (India)

^b CURTIN UNIVERSITY   (Australia)

Author keywords

Codesign; Embedded system design; Product families; System evolution; System partitioning; UML

Indexed keywords

CO-DESIGNS; COMPONENT INTEGRATION; COMPONENT-BASED DEVELOPMENT; COMPOSABILITY; CONCEPT-BASED; CONFIGURABLE; EMBEDDED SYSTEM DESIGN; EXECUTABLE SPECIFICATIONS; FEATURE VARIATIONS; FINE GRANULARITY; HARDWARE SOFTWARE PARTITIONING; HIGH LEVEL SPECIFICATION; INDUSTRIAL PRODUCT; MULTI DOMAINS; NEW APPROACHES; NEW MEMBERS; NEW PRODUCT; PRODUCT-LINES; SEQUENCE DIAGRAMS; SYSTEM EVOLUTION; SYSTEM SPECIFICATION; UML 2.0;

BIOLOGY; EMBEDDED SOFTWARE; PRODUCT DESIGN; REMOTELY OPERATED VEHICLES; SPECIFICATIONS; UNMANNED AERIAL VEHICLES (UAV);

EMBEDDED SYSTEMS;

EID: 77953582614     PISSN: 10844309     EISSN: 15577309     Source Type: Journal    
DOI: 10.1145/1754405.1754407     Document Type: Article

References (82)

1. AHMED, W. AND MYERS, D. 2005. Design refinement for efficient clustering of objects in embedded systems. In Proceedings of the Design, Automation and Test in Europe (DATE'05).
2. AHMED, W. AND MYERS, D. 2006. Evaluation of design alternatives. In Proceedings of the Design, Automation and Test in Europe (DATE'06).
3. AHMED, W., TAZUDDIN, A. M., MING, W. M., RENN, L. T., AND MYERS, D. 2007. Partitioning for a concept-based soc design to address product evolution. In Proceedings of the International Conference on Intelligent & Advanced Systems (ICIAS07).
4. ATIENZA, D., VALLE, P. G. D., PACI, G., POLETTI, F., BENINI, L., DE MICHELI, G., MENDIAS, J. M., AND HERMIDA, R. 2007. HW-SW emulation framework for temperature-aware design in MPSoCs. ACM Trans. Des. Autom. Electron. Syst. 12, 3.
5. BANERJEE, S. AND DUTT, N. 2004. Efficient search space exploration for HW-SW partitioning. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES + ISSS04).
6. BENNETT, K. AND RAJLICH, V. 2000. Software maintenance and evolution: A roadmap. In Proceedings of the Future of Software Engineering.
7. BERGAMASCHI, R. A. AND LEE, W. R. 2000. Designing systems-on-chip using cores. In Proceedings of the IEEE/ACM Design Automation Conference (DAC'00).
8. BERNSTEIN, L. 1996. Better software through operational dynamics. IEEE Softw. 13, 2, 107-109.
9. BOEGH, J. 2006. Certifying software component attributes. IEEE Softw. 23, 74-81.
10. BRAUDE, E. 2001. Software Engineering - An Object Oriented Perspective, 1st Ed. John Wiley and Sons.
11. BRUNMAYR, P., HAASE, J., AND SCHUPFER, F. 2009. Late hardware/software partitioning by using systemc functional models. In Proceedings of the Asia International Conference on Modelling and Simulation.
12. CESARIO, W., BAGHDADI, A., GAUTHIER, L., LYONNARD, D., AND DIAZ-NAVA, M. 2002a. Component-Based design approach for multicore SoCs. In Proceedings of the IEEE/ACM Design Automation Conference (DAC'02).
13. CESARIO, W. O., LYONNARD, D., NICOLESCU, G., PAVIOT, Y., YOO, S., JERRAYA, A. A., GAUTHIER, L., AND DIAZ-NAVA, M. 2002b. Multiprocessor SoC platforms: A component-based design approach. IEEE Des. Test Comput. 52-63.
14. CHIODO, M., GIUSTO, P., JURECSKA, A., HSIEH, H. C., SANGIOVANNI- VINCENTELLI, A., AND LAVAGNO, L. 1994. Hardware-Software codesign of embedded systems. IEEE Micro, 26-36.
15. CLEMENTS, P. AND NORTHROP, L. 2001. Software Product Lines - Practices and Patterns. Addison Wesley.
16. CUSUMANO, M. A. 1991. Japan's Software Factories. Oxford University Press, Oxford, UK.
17. DOUGLASS, B. P. 2002. Doing Hard Time. Addison-Wesley.
18. DOUGLASS, B. P. 2004. Real Time UML, 3rd ed. Addison-Wesley.
19. EDWARDS, S. H., SITARAM, M., WEIDE, B. W., AND HOLLINSWORTH, J. 2004. Contract-Checking wrappers for C++ classes. IEEE Trans. Softw. Engin. 30, 11.
20. EICK, S. G., GRAVES, T. L., KARR, A. F., MARRON, J., AND MOCKUS, A. 2001. Does code decay? Assessing the evidence from change management data. IEEE Trans. Softw. Engin. 27, 1, 1-12.
21. ERNST, R. AND HENKEL, J. 1993. Hardware-Software cosynthesis for microcontrollers. IEEE Des. Test Comput. 10, 64-74.
22. FIN, A. AND FUMMI, F. 2000. A web-CAD methodology for IP-core analysis and simulation. In Proceedings of the IEEE/ACM Design Automation Conference (DAC'00).
23. FORNACIARI, W., MICHELI, P., SALICE, F., AND ZAMPELLA, L. 2003. A first step towards Hw/Sw partitioning of UML specifications. In Proceedings of the Design, Automation and Test in Europe (DATE'03).
24. FOWLER, M. 1999. Refactoring - Improving the Design of Existing Code. Addison-Wesley.
25. FREEMAN, E. AND FREEMAN, E. 2004. Head First Design Patterns, 1st Ed. O'Reilly.
26. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley.
27. GHARSALI, F., LYONNARD, D., MEFTALI, S., ROUSSEAU, F., AND JERRAYA, A. A. 2002a. Unifying memory and processor wrapper architecture in multiprocessor SoC design. In Proceedings of the International Symposium on Services Science (ISSS'02).
28. GHARSALI, F., MEFTALI, S., ROUSSEAU, F., AND JERRAYA, A. A. 2002b. Automatic generation of embedded memory wrapper for multiprocessor SoC. In Proceedings of the Design Automation Conference (DAC'02).
29. GONZALEZ, I., AGUAYO, E., AND LOPEZ-BUEDO, S. 2007. Self-Reconfigurable embedded systems on low-cost FPGAs. IEEE Micro, 49-57.
30. GREEN, P. N. AND LU, Y. 2007. Hardware/Software partitioning of UML models. In Proceedings of the 4th International DAC Workshop on UML for SoC Design (UML-SoC'07).
31. GUPTA, R. K. AND MICHELI, G. D. 1993. Hardware-Software cosynthesis for digital systems. IEEE Des. Test Comput., 29-41.
32. GUPTA, R. K. AND ZORIAN, Y. 1997. Introducing core-based system design. IEEE Des. Test Comput. 15-25.
33. GKTOGAN, A. H. AND SUKKARIEH, S. 2007. Simulation of multi-UAV missions in a real-time distributed hardware-in-the-loop simulator. In Proceedings of the 4th International Symposium on Mechattronics and its Applications (ISMA'07).
34. HA, S., KIM, S., LEE, C., YI, Y., KWON, S., AND JOO, Y.-P. 2007. PeaCE: A hardware-software codesign environment for multimedia embedded systems. ACM Trans. Des. Autom. Electron. Syst. 12, 3.
35. HEINECKE, H., DAMM, W., JOSCO, B., METZNER, A., KOPETZ, H., SANGIOVANNI-VINCENTELLI, A., AND NATALE, M. D. 2008. Software components for reliable automotive systems. In Proceedings of the Design, Automation and Test in Europe (DATE'08).
36. HEINEMAN, G. T. AND COUNCILL, W. T. 2001. Component-Based Software Engineering - Putting the Pieces Together. Addison Wesley.
37. HENKEL, J. AND ERNST, R. 2001. An approach to automated hardware/software partitioning using a flexible granularity that is driven by high-level estimation techniques. IEEE Trans. VLSI Syst. 9, 2, 273-289.
38. HERRERA, F. AND VILLAR, E. 2007. A framework for heterogeneous specification and design of electronic embedded systems in systemc. ACM Trans. Des. Autom. Electron. Syst. 12, 3.
39. HOLZMANN, G. J. 2007. Conquering complexity. IEEE Comput. 40, 12.
40. JERRAYA, A. A. AND WOLF, W. 2005. Hardware/software interface codesign for embedded systems. IEEE Comput. 38, 2, 63-69.
41. KALAVADE, A. 1995. Ph.D. Dissertation. Ph.D. thesis, University of California, Berkeley.
42. KIM, S. D. AND CHANG, S. H. 2004. A systematic method to identify software components. In Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC'04).
43. KOTONYA, G. AND SOMMERVILLE, I. 1997. Requirements Engineering: Processes and Techniques. John Wiley and Sons, Inc.
44. KRUEGER, C. W. 2006. New methods in software product line development. In Proceedings of the 10th International Software Product Line Conference (SPLC'06).
45. KURIAN, S. AND PONT, M. J. 2006. The maintenance and evolution of resource-constrained embedded systems created using design patterns. The J. Syst. Softw, 80, 1, 32-41.
46. LAPALME, J., ABOOULHAMID, E. M., AND NICOLESCU, G. 2006. Anew efficient EDA tool design methodology. ACM Trans. Embed. Comput. Syst. 5, 2, 408-430.
47. LEE, E. A. 2000. What's ahead for embedded software? IEEE Comput. 18-26.
48. LEE, E. A. 2005. Building unreliable systems out of reliable components: The real time story. Tech. rep., University of California, Berkeley. October.
49. LEE, I., PAPPAS, G. J., CLEAVELAND, R., HATCLIFF, J., KROGH, B. H., LEE, P., RUBIN, H., AND SHA, L. 2006. High-Confidence medical device software and systems. IEEE Comput. 39, 4, 33-38.
50. LOPEZ-VALLEJO, M. AND LOPEZ, J. C. 2003. On the hardware-software partitioning problem: System modeling and partitioning techniques. ACM Trans. Des. Autom. Electron. Syst. 8, 3, 269-297.
51. LYSECKY, R. 2008. Scalability and parallel execution of warp processing - Dynamic hardware/software partitioning. Int. J. Parall. Program 36, 5, 478-492.
52. LYSECKY, R. AND VAHID, F. 2004. A configurable logic architecture for dynamic hardware/software partitioning. In Proceedings of Design, Automation and Test in Europe (DATE'04).
53. MARCULESCU, R., OGRAS, U. Y., AND ZAMORA, N. H. 2006. Computation and communication refinement for multiprocessor SoC design: A system level perspective. ACM Trans. Des. Autom. Electron. Syst. 11, 3.
54. MAURER, S. S. 2002. A survey of embedded systems' programming languages. IEEE Potentials 21.
55. MILI, H., MILI, F., AND MILI, A. 1995. Reusing software: Issues and research directions. IEEE Trans. Softw. Engin. 21, 6.
56. MINDLESS. (1/08). http://www.lysator.liu.se/mbrx/mindless/.
57. OBJECT MANAGEMENT GROUP (OMG). 2004. UML 2.0 sperstructure specification.
58. PINTO, A., BONIVENTO, A., SANGIOVANNI-VINCENTELLI, A. L., PASSERONE, R., AND SGROI, M. 2006. System level design paradigms: Platform based design and communication synthesis. ACM Trans. Des. Autom. Electron. Syst. 11, 3.
59. RAJLICH, V. 2006. Changing the paradigm of software engineering. Comm. ACM 49, 8.
60. RAJLICH, V. AND GOSAVI, P. 2002. A case study of unanticipated incremental change. In Proceedings of the International Conference on Software Maintenance (ICSM'02).
61. RAJLICH, V. AND GOSAVI, P. 2004. Incremental change in object-oriented programming. IEEE Comput.
62. RAMACHER, U. 2007. Software-Defined radio prospects for multistandard mobile phones. IEEE Comput. 40.
63. REPORT. 2005. Bugs check out, but they don't check in. Linux Mag.
64. SANGIOVANNI-VINCENTELLI, A. 2003. Electronic-System design in the automobile industry. IEEE Micro 23, 3.
65. SANGIOVANNI-VINCENTELLI, A. AND NATALE, M. D. 2007. Embedded system design for automotive applications. IEEE Comput. 42-51.
66. SCHACH, S. R. 1999. Classical and Object-Oriented Software Engineering, 4th Ed. McGraw Hill.
67. SOMMERVILLE, I. 2004. Software Engineering, 7th Ed. Addison Wesley.
68. SPECC. http://www.specc.gr.jp/eng/index.html. (1/08).
69. SRINIVASAN, S., LATCHMAN, H., SHEA, J., WONG, T., AND MCNAIR, J. 2004. Airborne traffic surveillance systems - Video surveillance of highway traffic. In Proceedings of the ACM International Workshop on Video Surveillance and Sensor Networks (VSSN'04).
70. STAUNSTRUP, J. AND WOLF, W., EDS. 2002. Hardware/Software Co-Design: Principles and Practice. Kluwer Academic Publishers.
71. STITT, G. AND VAHID, F. 2002. Hardware/Software partitioning of software binaries. In Procedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD'02).
72. STITT, G. AND VAHID, F. 2007. Binary synthesis. ACM Trans. Des. Autom. Electron. Syst. 12,3.
73. STITT, G., VAHID, F., AND NEMATBAKHSH, S. 2004. Energy savings and speedups from partitioning critical software loops to hardware in embedded systems. ACM Trans. Embed. Comput. Syst. 3,1, 218-232.
74. SYSTEMC. http://www.systemc.org/home. (1/08).
75. SZYPERSKI, C. 2002. Component Software - Beyond Object Oriented Programming, 2nd Ed. Addison Wesley.
76. TSENG, C.-H. AND HSIUNG, P.-A. 2006. A UML-based design flow and partitioning methodology for dynamically reconfigurable systems. In Proceedings of the 3rd International Workshop UML for SoC Design (UML-SoC) in DAC'06.
77. VAN OMMERING, R. AND VAN DE LINDEN, F. 2000. The Koala component model for consumer electronics software. IEEE Comput. 78-85.
78. VAHID, F. 1997. Modifying min-cut for hardware and software functional partitioning. In Proceedings of the 5th International Workshop on Hardware/Software Codesign (CODES/CASHE'97).
79. VAHID, F. AND GAJSKI, D. D. 1995. Clustering for improved system-level function partitioning. In IEEE/ACM Proceedings of th 8th International Symposium System Synthesis. 28-33.
80. WAGNER, F. R., CESARIO, W., AND JERRAYA, A. 2007. Hardware/Software IP integration using the ROSES design environment. ACM Trans. Embed. Comput. Syst. 6, 3.
81. WOLF, W. 2003. A decade of hardware/software codesign. IEEE Comput. 36, 4, 38-43.
82. ZHENG, W., CHONG, J., PINELLO, C., KANAJAN, S., AND SANGIOVANNI- VINCENTELLI, A. 2005. Extensible and scalable time-triggered scheduling. In Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD'05).