TKK / Department of Information and Computer Science / Research / Computational Logic / LIME2

LightweIght formal Methods for distributed component-based Embedded systems (LIME2)

Oct 1, 2009 – Sep 30, 2011
This research project is part of the Ubicom project by Tekes, and is done in collaboration with Conformic Software and Space Systems Finland.

Project leader: Prof. Ilkka Niemelä

Research personnel: Prof. Keijo Heljanko, M.Sc. Tuomas Launiainen, Stud.Tech. Janne Kauttio

Summary: The LIME2 project develops a novel lightweight formal method and related tools for distributed component-based embedded systems. The challenge is to enhance the design of such systems so that system validation can be started in an earlier stage of the design cycle when the system has been implemented only partially. This is continuation of the LIME1 project that developed a lightweight interface specification method and some related monitoring and testing tools. The LIME2 project aims to extend the interface specification method and devise novel testing techniques which enable incremental testing for distributed components already in early stages where the systems has been implemented only partially.

Publications of the project


The software released by this project can be found here. New versions have been released when the project ended.

Internal pages

The project deliverables can be found on the internal pages of the project (password required).

Results from the previous LIME1 project

Local information

Project team members:

Latest update: 12. October 2011.