VERITY: VERIfication of fault-tolerant advanced Transactional distributed sYstems

The VERITY project is a 3 years long research project that aims at developing tool support for (semi) formal languages to allow software engineers to model and verify secure and dependable advanced transactional distributed systems.The purpose of this project is to develop tools to support the use and validation of the novel concepts and techniques introduced in the context of the current research that is carried out at the LASSY laboratory.

• One of the tools to be implemented consists in a compiler for a programming language which is under construction at LASSY Laboratory.
• Another tool to be developed, as a plug-in, will support the formal transformation from the (semi) formal modelling language to the formal verification language and to test case generation.
• Another important purpose of this project is to provide case-studies in the context of e-Health systems to validate theoretical results.

The VERITY project is designed to reuse and enhance the results of the two previous projects funded by our ministry - FIDJI and CORRECT – and to complement some parts of the FNR funded project RESIST. This is achieved thanks to a high focus on software engineering and product line of e-health applications. VERITY is also defined in order to be integrated in an international setting through the ERCIM working group RISE (Rapid Integration of Software Engineering Techniques).

Contact: Federico Wiecko - Nicolas Guelfi

Home Page: VERITY