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  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E88-D   No.6   pp.1105-1116
Publication Date: 2005/06/01
Online ISSN: 
DOI: 10.1093/ietisy/e88-d.6.1105
Print ISSN: 0916-8532
Type of Manuscript: INVITED PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
embedded software,  design verification operating system,  real-time garbage collection,  

Full Text: PDF>>
Buy this Article




Summary: 
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.