2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (2009)
Mar. 17, 2009 to Mar. 20, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.33
Our society depend on embedded and ubiquitous computingand the reliability of embedded software becomesmore and more important. We have conducted a five yearsproject with industries to develop software for realizinghighly reliable embedded systems. We have tackled reliabilityissues from the following aspects. 1)Design environment:we have developed a UML design verification tool thatapply model checking techniques to improve the designquality of application software. 2)Operating environment:we have developed operating system supports that realizemultiple execution of real-time operating systems andalso developed operating systems with enhanced resourcemanagement. Both technologies contribute the realizationof robust run-time environment. 3) Real-time environment:we have developed real-time garbage collection techniquesfor Jave. They prevent the suspension of applications thatviolates the correct behavior of real-time applications. Also,they reduce the effort of application programmers to avoidgarbage-collection during important execution timing. Wehave obtained fruitful results from these three researchthemes, and some of them are actually used in industries.Furthermore, we have integrated the results to make synergeticeffect of them. In order to demonstrate the effectiveness,we have conduct an experiment. In this paper, we introducethe project and its results.
design verificatioin, real-time operating system, real-time garbage collection
S. Hosoai et al., "Project Report: Toward the Realization of Highly Reliable Embedded Systems," 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing(ISORC), Tokyo, Japan, 2009, pp. 105-111.