The research proposed in the COMING project aims at exploiting the interplay between Model-Driven Engineering (MDE) and Component-Based Development (CBD) for an improved embedded systems development process. In particular, it focuses on the precise formalization of CBD concepts in a MDE setting as the definition of corresponding Domain-Specific Languages; moreover, the subsequent exploitation of MDE design/analysis methodologies will disclose the possibility to cope with current challenges in CBD, like domain independence, incremental and distributed development involving language interoperability, system maintenance, and validation.
Automatic Deployment Space Exploration Using Refinement Transformations (Jun 2012) Joachim Denil , Antonio Cicchetti, Matthias Biehl , Paul De Meulenaere , Romina Eramo , Serge Demeyer , Hans Vangheluwe Electronic Communications of the EASST
Towards a Round-Trip Support for Model-Driven Development of Embedded Systems (Aug 2011) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011)
Evolution Management of Extra-Functional Properties in Component-Based Embedded Systems (Jun 2011) Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque, Séverine Sentilles The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011)
Generation of Correct-by-Construction Code from Design Models for Embedded Systems (Jun 2011) Federico Ciccozzi, Antonio Cicchetti, Mikael Krekola, Mikael Sjödin 6th IEEE International Symposium on Industrial Embedded Systems (SIES11)
A Methodology for Designing Energy-aware Secure Embedded Systems (Jun 2011) Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin 6th IEEE International Symposium on Industrial Embedded Systems (SIES11)
Toward a Tailored Modeling of Non-Functional Requirements for Telecommunication Systems (Apr 2011) Mehrdad Saadatmand, Antonio Cicchetti, Diarmuid Corcoran, Mikael Sjödin 8th International Conference on Information Technology : New Generations (ITNG)