TY - GEN
T1 - Project report
T2 - 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
AU - Katayama, Takuya
AU - Yuasa, Taiichi
AU - Kishi, Tomoji
AU - Hosoai, Shintaro
AU - Sugaya, Midori
AU - Nakajima, Tatsuo
AU - Ugawa, Tomoharu
PY - 2009/11/6
Y1 - 2009/11/6
N2 - Our society depend on embedded and ubiquitous computing and the reliability of embedded software becomes more and more important. We have conducted a five years project with industries to develop software for realizing highly reliable embedded systems. We have tackled reliability issues from the following aspects. 1)Design environment: we have developed a UML design verification tool that apply model checking techniques to improve the design quality of application software. 2)Operating environment: we have developed operating system supports that realize multiple execution of real-time operating systems and also developed operating systems with enhanced resource management. Both technologies contribute the realization of robust run-time environment. 3) Real-time environment: we have developed real-time garbage collection techniques for Jave. They prevent the suspension of applications that violates the correct behavior of real-time applications. Also, they reduce the effort of application programmers to avoid garbage-collection during important execution timing. We have obtained fruitful results from these three research themes, and some of them are actually used in industries. Furthermore, we have integrated the results to make syner-getic effect of them. In order to demonstrate the effectiveness, we have conduct an experiment. In this paper, we introduce the project and its results.
AB - Our society depend on embedded and ubiquitous computing and the reliability of embedded software becomes more and more important. We have conducted a five years project with industries to develop software for realizing highly reliable embedded systems. We have tackled reliability issues from the following aspects. 1)Design environment: we have developed a UML design verification tool that apply model checking techniques to improve the design quality of application software. 2)Operating environment: we have developed operating system supports that realize multiple execution of real-time operating systems and also developed operating systems with enhanced resource management. Both technologies contribute the realization of robust run-time environment. 3) Real-time environment: we have developed real-time garbage collection techniques for Jave. They prevent the suspension of applications that violates the correct behavior of real-time applications. Also, they reduce the effort of application programmers to avoid garbage-collection during important execution timing. We have obtained fruitful results from these three research themes, and some of them are actually used in industries. Furthermore, we have integrated the results to make syner-getic effect of them. In order to demonstrate the effectiveness, we have conduct an experiment. In this paper, we introduce the project and its results.
UR - http://www.scopus.com/inward/record.url?scp=70350578960&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350578960&partnerID=8YFLogxK
U2 - 10.1109/ISORC.2009.33
DO - 10.1109/ISORC.2009.33
M3 - Conference contribution
AN - SCOPUS:70350578960
SN - 9780769535739
T3 - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
SP - 105
EP - 111
BT - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
Y2 - 17 March 2009 through 20 March 2009
ER -