Project Start Date : 01/01/2008
Project End Date : 31/12/2010
Abstract
The VERITY project is a 3 year 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.
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).
Keywords:
Software Engineering, Dependability, Model Driven Engineering, Model Transformations, Simulation, Domain Specific Languages (DSL)
You are not logged in. Log in 