Project report

Toward the realization of highly reliable embedded systems

Takuya Katayama, Taiichi Yuasa, Tomoji Kishi, Shintaro Hosoai, Midori Sugaya, Tatsuo Nakajima, Tomoharu Ugawa

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    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.

    Original languageEnglish
    Title of host publicationProceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
    Pages105-111
    Number of pages7
    DOIs
    Publication statusPublished - 2009
    Event2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 - Tokyo
    Duration: 2009 Mar 172009 Mar 20

    Other

    Other2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
    CityTokyo
    Period09/3/1709/3/20

    Fingerprint

    Embedded systems
    Embedded software
    Ubiquitous computing
    Model checking
    Application programs
    Industry
    Experiments

    ASJC Scopus subject areas

    • Computer Science Applications
    • Software

    Cite this

    Katayama, T., Yuasa, T., Kishi, T., Hosoai, S., Sugaya, M., Nakajima, T., & Ugawa, T. (2009). Project report: Toward the realization of highly reliable embedded systems. In Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 (pp. 105-111). [5232024] https://doi.org/10.1109/ISORC.2009.33

    Project report : Toward the realization of highly reliable embedded systems. / Katayama, Takuya; Yuasa, Taiichi; Kishi, Tomoji; Hosoai, Shintaro; Sugaya, Midori; Nakajima, Tatsuo; Ugawa, Tomoharu.

    Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 105-111 5232024.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Katayama, T, Yuasa, T, Kishi, T, Hosoai, S, Sugaya, M, Nakajima, T & Ugawa, T 2009, Project report: Toward the realization of highly reliable embedded systems. in Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009., 5232024, pp. 105-111, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, 09/3/17. https://doi.org/10.1109/ISORC.2009.33
    Katayama T, Yuasa T, Kishi T, Hosoai S, Sugaya M, Nakajima T et al. Project report: Toward the realization of highly reliable embedded systems. In Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 105-111. 5232024 https://doi.org/10.1109/ISORC.2009.33
    Katayama, Takuya ; Yuasa, Taiichi ; Kishi, Tomoji ; Hosoai, Shintaro ; Sugaya, Midori ; Nakajima, Tatsuo ; Ugawa, Tomoharu. / Project report : Toward the realization of highly reliable embedded systems. Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. pp. 105-111
    @inproceedings{67f289016a814d6e8dc80a45b5abde73,
    title = "Project report: Toward the realization of highly reliable embedded systems",
    abstract = "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.",
    author = "Takuya Katayama and Taiichi Yuasa and Tomoji Kishi and Shintaro Hosoai and Midori Sugaya and Tatsuo Nakajima and Tomoharu Ugawa",
    year = "2009",
    doi = "10.1109/ISORC.2009.33",
    language = "English",
    isbn = "9780769535739",
    pages = "105--111",
    booktitle = "Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009",

    }

    TY - GEN

    T1 - Project report

    T2 - Toward the realization of highly reliable embedded systems

    AU - Katayama, Takuya

    AU - Yuasa, Taiichi

    AU - Kishi, Tomoji

    AU - Hosoai, Shintaro

    AU - Sugaya, Midori

    AU - Nakajima, Tatsuo

    AU - Ugawa, Tomoharu

    PY - 2009

    Y1 - 2009

    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

    SN - 9780769535739

    SP - 105

    EP - 111

    BT - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009

    ER -