Section: Overall Objectives
Highlights of the year
Following Naouel Moha's Ph.D. thesis  , we have published this work in the journal of Formal Aspects of Computing Science (ranked A) and the journal of IEEE Transactions on Software Engineering (ranked A+). The first journal paper focuses on the automatic detection of code and design smells in software systems using a domain-specific language  . The second journal paper presents the DECOR method, which embodies and defines all the steps necessary for the specification and detection of code and design smells  .
The work on Soleil is the subject of Aleš Plšek's Ph.D. thesis  and is a component-based software framework to support development of Real-Time Java (RTJ) based applications in the Fractal component model. The goal of the framework is to automatically generate an execution infrastructure of a software system that will be executed under real-time conditions as it is described in  and  . The Soleil framework is able to substantially alleviate the whole process of developing RTSJ-based applications. The key motivation for the project is both to shield developers from the complexities of RTSJ related code and to allow them to focus only on development of the application logic. The Soleil framework is divided into several parts. First, we introduce a component model which is specifically designed for RTSJ and allows designers to manipulate with RTSJ concerns at the architectural level. Second, Soleil proposes a methodology of designing architectures of real-time Java applications. Finally, when the application is designed, the Hulotte framework (see Section 5.6 ) is used to automatically generate an infrastructure that corresponds to this real-time architecture.