Summary
|
For Full-Text PDF, please login, if you are a member of IEICE, or go to Pay Per View on menu list, if you are a nonmember of IEICE. |
|
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: Special Section 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(1.2MB)>>
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. | ||||||||||
| ||||||||||
