Section: Overall Objectives

Highlights of the year

• Triskell developed a first proof of concept of the models at runtime idea [33] , [21] , [35] to tame the complexity of dynamically adaptive systems by combining model-driven and aspect-oriented techniques and offering a high degree of automation and validation. Triskell has applied it in particular to Software Oriented Architectures in the context of Building Automation [30] , [33] , [47] for AAL (Ambient Assisted Living). A demo of this application has been presented at several venues, including the “Fete de la Science” in Nov. 2009.

• Model transformations constitute a class of programs with unique characteristics that make testing them challenging. We have identified these characteristics [14] and identified promising solutions to overcome these barriers. This work is part of the research developed in the MoCAA Equipe associée in collaboration with Sudipto Ghosh, Robert France from CSU, Franck Fleurey from SINTEF and Jean-Marie Mottu.

• Triskell had 6 papers accepted [29] , [32] , [36] , [31] , [38] , [42] at MODELS'2009, the main conference in our field (248 papers submitted, 45 accepted), including one ACM Best Paper Award [38] . That consolidates our position as the world leading team in the MDE field.