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

doi:10.1093/ietisy/e88-d.6.1105

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

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	1105-1116
Number of pages	12
Journal	IEICE Transactions on Information and Systems
Volume	E88-D
Issue number	6
DOIs	https://doi.org/10.1093/ietisy/e88-d.6.1105
Publication status	Published - 2005 Jun

Keywords

Design verification operating system
Embedded software
Real-time garbage collection

ASJC Scopus subject areas

Software
Hardware and Architecture
Computer Vision and Pattern Recognition
Electrical and Electronic Engineering
Artificial Intelligence

Access to Document

10.1093/ietisy/e88-d.6.1105

Cite this

@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 = jun,

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

SN - 0916-8532

VL - E88-D

SP - 1105

EP - 1116

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

IS - 6

ER -

Highly reliable embedded software development using advanced software technologies

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this