Highly reliable embedded software development using advanced software technologies

Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani

    Research output: Contribution to journalArticle

    3 Citations (Scopus)

    Abstract

    We have launched "Highly-Reliable Embedded Software Development" Project, held as a part of e-Society Project, supported by Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan. The aim of this project is to enable the industry to produce highly reliable and advanced software by introducing latest software technologies into embedded software development. In this paper, we introduce the overview of the projects and our activities and results so far.

    Original languageEnglish
    Pages (from-to)1105-1116
    Number of pages12
    JournalIEICE Transactions on Information and Systems
    VolumeE88-D
    Issue number6
    DOIs
    Publication statusPublished - 2005 Jun

    Fingerprint

    Embedded software
    Software engineering
    Sports
    Education
    Industry

    Keywords

    • Design verification operating system
    • Embedded software
    • Real-time garbage collection

    ASJC Scopus subject areas

    • Information Systems
    • Computer Graphics and Computer-Aided Design
    • Software

    Cite this

    Highly reliable embedded software development using advanced software technologies. / Katayama, Takuya; Nakajima, Tatsuo; Yuasa, Taiichi; Kishi, Tomoji; Nakajima, Shin; Oikawa, Shuichi; Yasugi, Masahiro; Aoki, Toshiaki; Okazaki, Mitsutaka; Umatani, Seiji.

    In: IEICE Transactions on Information and Systems, Vol. E88-D, No. 6, 06.2005, p. 1105-1116.

    Research output: Contribution to journalArticle

    Katayama, T, Nakajima, T, Yuasa, T, Kishi, T, Nakajima, S, Oikawa, S, Yasugi, M, Aoki, T, Okazaki, M & Umatani, S 2005, 'Highly reliable embedded software development using advanced software technologies', IEICE Transactions on Information and Systems, vol. E88-D, no. 6, pp. 1105-1116. https://doi.org/10.1093/ietisy/e88-d.6.1105
    Katayama, Takuya ; Nakajima, Tatsuo ; Yuasa, Taiichi ; Kishi, Tomoji ; Nakajima, Shin ; Oikawa, Shuichi ; Yasugi, Masahiro ; Aoki, Toshiaki ; Okazaki, Mitsutaka ; Umatani, Seiji. / Highly reliable embedded software development using advanced software technologies. In: IEICE Transactions on Information and Systems. 2005 ; Vol. E88-D, No. 6. pp. 1105-1116.
    @article{7e10cfa6ef1346cb9101733500dce912,
    title = "Highly reliable embedded software development using advanced software technologies",
    abstract = "We have launched {"}Highly-Reliable Embedded Software Development{"} Project, held as a part of e-Society Project, supported by Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan. The aim of this project is to enable the industry to produce highly reliable and advanced software by introducing latest software technologies into embedded software development. In this paper, we introduce the overview of the projects and our activities and results so far.",
    keywords = "Design verification operating system, Embedded software, Real-time garbage collection",
    author = "Takuya Katayama and Tatsuo Nakajima and Taiichi Yuasa and Tomoji Kishi and Shin Nakajima and Shuichi Oikawa and Masahiro Yasugi and Toshiaki Aoki and Mitsutaka Okazaki and Seiji Umatani",
    year = "2005",
    month = "6",
    doi = "10.1093/ietisy/e88-d.6.1105",
    language = "English",
    volume = "E88-D",
    pages = "1105--1116",
    journal = "IEICE Transactions on Information and Systems",
    issn = "0916-8532",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "6",

    }

    TY - JOUR

    T1 - Highly reliable embedded software development using advanced software technologies

    AU - Katayama, Takuya

    AU - Nakajima, Tatsuo

    AU - Yuasa, Taiichi

    AU - Kishi, Tomoji

    AU - Nakajima, Shin

    AU - Oikawa, Shuichi

    AU - Yasugi, Masahiro

    AU - Aoki, Toshiaki

    AU - Okazaki, Mitsutaka

    AU - Umatani, Seiji

    PY - 2005/6

    Y1 - 2005/6

    N2 - We have launched "Highly-Reliable Embedded Software Development" Project, held as a part of e-Society Project, supported by Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan. The aim of this project is to enable the industry to produce highly reliable and advanced software by introducing latest software technologies into embedded software development. In this paper, we introduce the overview of the projects and our activities and results so far.

    AB - We have launched "Highly-Reliable Embedded Software Development" Project, held as a part of e-Society Project, supported by Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan. The aim of this project is to enable the industry to produce highly reliable and advanced software by introducing latest software technologies into embedded software development. In this paper, we introduce the overview of the projects and our activities and results so far.

    KW - Design verification operating system

    KW - Embedded software

    KW - Real-time garbage collection

    UR - http://www.scopus.com/inward/record.url?scp=25844493087&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=25844493087&partnerID=8YFLogxK

    U2 - 10.1093/ietisy/e88-d.6.1105

    DO - 10.1093/ietisy/e88-d.6.1105

    M3 - Article

    AN - SCOPUS:25844493087

    VL - E88-D

    SP - 1105

    EP - 1116

    JO - IEICE Transactions on Information and Systems

    JF - IEICE Transactions on Information and Systems

    SN - 0916-8532

    IS - 6

    ER -