Project report: high-reliable object-oriented embedded software design

The high-reliable object-oriented embedded software design project is an industry-university joint research project and has been launched in 2003 as a part of e-society project, supported by Ministry of Education, Culture, Sports, Science and Technology, Japan. The target of this five-year project is to develop the method and environment for high-reliable embedded software development for civilian industry such as automobile, communication, and control and consumer-electronics fields. The challenge of the project is to establish the practical usage of the latest achievement of software science and software engineering at the reasonable cost for actual development practice. In this paper, we introduce the approach, vision and plan of the project.