PROGRESS research projects

CHESS

Leader: Mikael Sjödin Members: Christer Norström, Mikael Sjödin, Antonio Cicchetti, Daniel Flemström, Sasikumar Punnekkat, Federico Ciccozzi, Mehrdad Saadatmand, Barbara Gallina, Status: finished , start date: 20090101 , End date: 20111231 Partners: Enea AB Ericsson AB Funding: Artemis and VINNOVA Web: Project web page

Overview 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.

Latest project publications [ Show all publications ] An Automated Round-trip Support Towards Deployment Assessment in Component-based Embedded Systems, Federico Ciccozzi, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 16th International Symposium on Component-Based Software Engineering (CBSE) 2013, ACM, Vancouver (Canada), June, 2013 From Models to Code and Back: Correct-by-construction Code from UML and ALF, Federico Ciccozzi, ACM Student Research Competition (SRC) at ICSE 2013, ACM, San Francisco, USA, May, 2013 Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin, 10th International Conference on Information Technology : New Generations (ITNG 2013), IEEE CS, Las Vegas, Nevada, April, 2013