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

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

Fingerprint Dive into the research topics of 'Highly reliable embedded software development using advanced software technologies'. Together they form a unique fingerprint.

  • Cite this

    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, E88-D(6), 1105-1116. https://doi.org/10.1093/ietisy/e88-d.6.1105