Projects - Phasing Out Objectif 1

The importance of certification and labeling is crucial for the regional market which is characterized by a large number of SMEs often in an improvement phase and, therefore, seeking recognition and solid partnerships in a market still wider. The mission of this project was to become a regional reference point for the software certification in a broad sense, ie to provide objective evaluation criteria, stable and consistent, which facilitate the exchange of products and services in ICT domain.

Requirements engineering is a key step in the development of a computer-based system. The success of this step is crucial. However the state of practice reveals many weaknesses both in small and big companies. The CEDIE cell contributes to the improvement of the requirements engineering practices through a number of instruments such as templates, advices, training, review or coaching in requirements writing.

The objective of the RETICOM project (REal TIme COMmunications) is to study and develop a set of tools to ease the implementation of flexible and powerful communicating embedded systems.

The FAUST toolset was developed to help reaching high quality in requirements document, especially for complex systems with critical aspects. FAUST provides tools for the validation, verification and test generation based on requirements of such systems. The formal level of analysis is made accessible through a natural integration within text and graphical notations. Moreover, an graphical animation tool also allow the stakeholders to have a direct understanding based on domain specific visualizations. The integration in industrial methods and tool chains was also addressed.