DECODER Objectives

The DECODER project addresses code and resources abstraction, and advanced software systems development. The DECODER consortium is providing productive and effective development tools for safe and secure ICT systems.

One of the main goals of the project is to leverage existing code bases for easier reusing, thanks to documentation generation.

The DECODER project improves productivity by increasing the abstraction level, at specification stage, using requirements engineering techniques to integrate more complete specifications into the development process, and formal methods to reduce the time and efforts for integration testing, replacing it by formal analyses

The project team is developing new abstract specification languages, a key solution to raising the productivity and reliability problems: 

  1. ASFM, an abstract formal design language to navigate between different levels of abstractions defined by the formal and informal requirements, the specification, the user documentation, the developer documentation and the formal annotations and the code.
  2. GSL, an abstract graphical specification language, capable of intuitively specifying some code and generating detailed specifications in ACSL/ACSL++ and JML. These abstractions concern the code as well as the data.

Project Methodology

New methods for describing software, data and requirements are necessary to advance software application development, in particular in SDI (Software-Defined Infrastructures). DECODER focuses on new means of describing software requirements, by proposing new languages and methods to formalise these requirements that are often informal. These new languages allow to describe data and processes amenable for specification and refinements.

DECODER provides general-purpose languages and methods that are expected to be applicable to multiple application domains. Innovative tools and methods are being experimented on several DECODER use-cases such as IoT/embedded systems, computer vision through Artificial Intelligence and IoT, enterprise computing including Cloud computing/Big Data and Middleware/Cloud computing.

Site maintained by OW2