PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Improving the Quality of Embedded Systems by Formal Design and Systematic Testing

Jun Pang
( Chinese )

CWI
Kruislaan 413, 1098 SJ, Amsterdam The Netherlands
tel: 0031205924221
fax: 0031205924199
Jun.Pang@cwi.nl

Keywords:

analysis/design concurrency formal calculus software engineering

Abstract:

Weidm¨¹ller is a typical instance of a medium sized enterprise (SME) that produces programmed embedded controllers for small and medium size applications. One can think, for instance, of complex hydraulic lift systems and valves. An important activity of Weidm¨¹ller is to produce software for such controllers. Weidm¨¹ller wants to deliver products of the highest quality but experienced that this is almost unattainable with software. It happens too often that finalized software still contains bugs, which probably could often be avoided by using better methods for design and testing. Therefore, Weidm¨¹ller set up a project to automatically test the software, in order to make testing reproducable, to allow testing of series of events occuring in small time intervals, and to increase the number of tests considerably. This proposal is intended to go beyond the current ambitions of Weidm¨¹ller by introducing formal specification, formal analysis and formal test generation techniques for developing embedded software. The goal of this project is to establish whether it is possible to achieve reliable quality of software for medium size embedded systems in this way, and to better utilize the formal methods in industry. The formal methods we refer to have already proven their usefulness for several years, although mainly from an academic perspective. Supported by earlier experiences with research for products of Weidm¨¹ller, the expectation that the outcome of the project will be positive is fairly reasonable. When successful, the project will yield the backbone of a practically tested development environment for reliable embedded software. In any case it will provide a thorough analysis of the potentials of formal analysis techniques for small and medium size embedded systems, which must be regarded a relevant application domain.

The PhD work started: 08/2000

NO HTML3
JAVA

 

Last modified on Mon Aug 15 14:59:24 2005