3/2015 - 19 |
Extensible Software Synthesis for Embedded Ubiquitous Learning SystemsFAN, Y.-H. |
Extra paper information in |
Click to see author's profile in SCOPUS, IEEE Xplore, Web of Science |
Download PDF (1,321 KB) | Citation | Downloads: 754 | Views: 2,846 |
Author keywords
embedded system, embedded software, portable computers, portable media players, software synthesis
References keywords
embedded(13), systems(12), software(12), middleware(9), distributed(7), oriented(6), design(6), time(5), system(5), real(5)
Blue keywords are present in both the references section and the paper title.
About this article
Date of Publication: 2015-08-31
Volume 15, Issue 3, Year 2015, On page(s): 133 - 140
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: 10.4316/AECE.2015.03019
Web of Science Accession Number: 000360171500019
SCOPUS ID: 84940762307
Abstract
Embedded systems are generally designed for specific purpose such as alarm systems and learning systems. These devices work in particular scenario and repeatedly perform a few particular tasks, which result in the shortage of extensible ability to execute diverse tasks. This work proposes software synthesis algorithms for generating code which can execute on embedded ubiquitous learning system. Moreover, the extensible problem is solved by extensible software synthesis (E2S) technique. The E2S comprises CEO, CEOAS, CBOAS and CTOAS procedures that are developed for synthesizing software with extensible ability. Each procedure first separately synthesizes its extensible component, so-called EC, and then applies it to construct the various tasks. Next, the E2S synthesizes various ECs to generate codes to serve complex and diverse functionalities. The synthesis codes are verified on an ARM emulation platform. Experimental results on benchmarks show the E2S achieves not only extensible ability but also the time of software synthesis which meets the requirement of specification. |
References | | | Cited By «-- Click to see who has cited this paper |
[1] F. Rincon, J. Barba, F. Moya, F. J. Villanueva, D. Villa, J. Dondo, and J. C. Lopez, "System-Level Middleware for Embedded Hardware and Software Communication," in Proc. of the Intelligent Solutions in Embedded Systems, 2007, pp. 127-138. [CrossRef] [SCOPUS Times Cited 2] [2] W. Cesario, L. Gauthier, D. Lyonnard, G. Nicolescu and A. A. Jerraya, "Object-Based Hardware/Software Component Interconnection Model for Interface Design in System-on-a-Chip Circuits," Journal of Systems and Software, vol. 70, no 3, pp. 229-244, Mar. 2004. [CrossRef] [Web of Science Times Cited 8] [SCOPUS Times Cited 13] [3] R. Hecht, S. Kubish, H. Michelsen, E. Zeeb and D. Timmermann, "A Distributed Object System Approach for Dynamic Reconfiguration," in Proc. of the Parallel and Distributed Processing Symposium (IPDPS), 2006. [CrossRef] [SCOPUS Times Cited 10] [4] A. Gerstlauer, "Communication Abstractions for System-Level Design and Synthesis," Technical Report CECS-TR-03-30, UC Irvine, 2003. [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.55 [5] C. Schulz-Key, M. Winterholer, T. Schweizer, T. Kuhn, and W. Rosenstiel, "Object-Oriented Modeling and Synthesis of SystemC Specifications," in Proc of the Asia and South Pacific Design Automation Conference (ASP-DAC), 2004, pp. 238-243. [CrossRef] [Web of Science Times Cited 23] [6] V. Issarny, M. Caporuscio and N. Georgantas, "A Perspective on the Future of Middleware-Based Software Engineering," in Proc. of the IEEE Conf. on Future of Software Engineering (FOSE'07), 2007, pp. 244-258. [CrossRef] [Web of Science Times Cited 47] [SCOPUS Times Cited 106] [7] J. K. H. Wang, Y. Wei and X. Jia, "The Design and Implementation of EMP: A Message-Oriented Middleware for Mobile Cloud Computing," in Proc. of the International Conf. on Global High Tech Congress on Electronic, 2013, pp. 78-81. [CrossRef] [SCOPUS Times Cited 1] [8] A. Zarras and V. Issarny, "A Framework for Systematic Synthesis of Transactional Middleware," in Proc. of the International Conf. on Distributed Systems Platforms and Open Distributed Processing, 1998, pp. 257-272. [CrossRef] [9] V. Subramonian, L. J. Shen, C. Gill and N. Wang, "The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems," in Proc. of the International Conf. on Real-Time Systems Symposium, 2004, pp. 252-261. [CrossRef] [Web of Science Times Cited 9] [SCOPUS Times Cited 11] [10] Y. H. Fan and J. O. Wu, "Middleware Software for Embedded Systems," in Proc. of the IEEE Conference on Advanced Information Networking and Applications Workshops (WAINA2012), 2012, pp. 61-65. [CrossRef] [SCOPUS Times Cited 4] [11] W. Wolf, "Middleware Architectures for Distributed Embedded Systems," in Proc. of the IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC2008), 2008, pp. 377-380. [CrossRef] [Web of Science Times Cited 3] [SCOPUS Times Cited 5] [12] Y. H. Fan, J. O. Wu and S. F. Wang, "Software Synthesis of Middleware for Heterogeneous Embedded Systems," in Proc. of the IEEE Conference on the 2nd Consumer Electronics, Communications and Networks (CECNet2012), 2012, pp. 2084-2087. [CrossRef] [SCOPUS Times Cited 3] [13] A. Wolff, S. Michaelis, J. Schmutzler and C. Wietfeld, "Network-Centric Middleware for Service Oriented Architectures Across Heterogeneous Embedded Systems," in Proc. of the IEEE EDOC Conference (EDOC 2007), 2007, pp. 105-108. [CrossRef] [Web of Science Times Cited 15] [SCOPUS Times Cited 35] [14] F. Irmert, T. Fischer and K. Meyer-Wegener, "Runtime Adaptation in a Service-Oriented Component Model," in Proc of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '08), 2008, pp. 97-104. [CrossRef] [15] M. Papazoglou and D. Georgakopoulos, "Service-Oriented Computing," Communication of the ACM, vol. 46, no. 10, pp. 25-28, Oct. 2003. [CrossRef] [16] Y. H. Fan, T. Y. Lee and T. H. Yang, "RCG: Retargetable Code Generation Methodology for Embedded Processors", Journal of Convergence Information Technology (JCIT), vol. 6, no. 2, pp. 260-271, Feb. 2011. [CrossRef] [SCOPUS Times Cited 3] [17] T. Y. Lee, Y. H. Fan, T. H. Yang, C. C. Tsai, W. T. Lee and Y. S. Hwang, "RCGES: Retargetable Code Generation for Embedded Systems," Lecture Notes in Computer Science on Automated Technology for Verification and Analysis, vol. 3299, 2004, pp. 415-425. [CrossRef] [SCOPUS Times Cited 2] [18] P. A. Hsiung, T. Y. Lee and F. S. Su, "Formal Synthesis and Code Generation of Real-Time Embedded Software Using Time-Extended Quasi-Static Scheduling," in Proc. of the IEEE Conference on 9th Asia-Pacific Software Engineering (APSE'02), 2002, pp. 395-404. [CrossRef] [Web of Science Times Cited 4] [SCOPUS Times Cited 10] [19] T. Y. Lee and P. A. Hsiung, "Embedded Software Synthesis and Prototyping," IEEE Transactions on Consumer Electronics, vol. 50, no. 1, pp. 386-392, Feb. 2004. [CrossRef] [Web of Science Times Cited 4] [SCOPUS Times Cited 8] [20] K. Kwon, Y. Yi, D. Kim and S. Ha, "Embedded Software Generation from System Level for Multi-Tasking Embedded Systems," in Proc. of the Asia and South Pacific Design Automation Conference (ASP-DAC), 2005, pp. 145-150. [CrossRef] Web of Science® Citations for all references: 113 TCR SCOPUS® Citations for all references: 213 TCR Web of Science® Average Citations per reference: 5 ACR SCOPUS® Average Citations per reference: 10 ACR TCR = Total Citations for References / ACR = Average Citations per Reference We introduced in 2010 - for the first time in scientific publishing, the term "References Weight", as a quantitative indication of the quality ... Read more Citations for references updated on 2024-11-19 20:45 in 138 seconds. Note1: Web of Science® is a registered trademark of Clarivate Analytics. Note2: SCOPUS® is a registered trademark of Elsevier B.V. Disclaimer: All queries to the respective databases were made by using the DOI record of every reference (where available). Due to technical problems beyond our control, the information is not always accurate. Please use the CrossRef link to visit the respective publisher site. |
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania
All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.
Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.
Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.