CHESS seeks industrial-quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems, and supports the description, verification, and preservation of non-functional properties of software components at the abstract level of component design as well as at the execution level. CHESS develops model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains (such as space, railways, telecommunications and automotive), and verifies their performance through the elaboration of industrial use cases.
|Associate Professor,Docent,Head of Research Education
Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems (Jun 2013) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin Information and Software Technology
An Automated Round-trip Support Towards Deployment Assessment in Component-based Embedded Systems (Jun 2013) Federico Ciccozzi, Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin 16th International Symposium on Component-Based Software Engineering (CBSE) 2013
From Models to Code and Back: Correct-by-construction Code from UML and ALF (May 2013) Federico Ciccozzi ACM Student Research Competition (SRC) at ICSE 2013
Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems (Apr 2013) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin 10th International Conference on Information Technology : New Generations (ITNG 2013)