PROGRESS research projects

CONTESSE - Contract-Based Components for Embedded Software

Leader: Ivica Crnkovic Members: Ivica Crnkovic, Jan Carlson, Radu Dobrin, Björn Lisper, Paul Pettersson, Sasikumar Punnekkat, Heinz Schmidt, Abhilash Thekkilakattil, Juraj Feljan Keywords: Cmponents Contracts Embedded systems Status: active , start date: 2011-01-01 , End date: 202014-12-31 Funding: Swedish Research Council (VR)

Overview Embedded systems make the vast majority of computer systems today. The complexity of software in these systems is growing exponentially. Sound approaches to manage complexity is to use component-based and model-based approach. The aim of the project is to advance state of the art in component- and model-based software development for embedded systems by improving prerequisites for efficient reuse of components. This will be done by introduction of component contracts that define the conditions required by components and provided output. In the existing approaches component contracts specify functional pre- and postconditions of components. Contesse will mange contracts that also include non-functional properties. This will be done through providing formal specification of components contracts, mechanisms for instantiation and verification of the contracts in differentcontexts, then developing a reasoning framework for contract compositions, providing input to the contract specification from components code analysis, and system level analysis based on contracts that ensure system characteristics required. The work will be based on the previous results of the project members: formal analysis and verification, priced timed automata and modelling embedded resources, component models developed, execution time and other resources estimation based on static analysis, compositions of non-functional properties, and building run-time mechanisms to ensure the system quality.

Latest project publications [ Show all publications ] Quantifying the Sub-optimality of Non-preemptive Real-time Scheduling, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, The 25th Euromicro Conference on Real-Time Systems, Paris, France, July, 2013 An Analyzable Model of Automated Service Negotiation, Aida Causevic, Cristina Seceleanu, Paul Pettersson, IEEE SOSE 2013: 7th International Symposium on Service Oriented System Engineering, IEEE, San Francisco Bay, March, 2013 Using Processor Speed-up to Control Preemption Related Costs, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, Technical Report, MRTC, January, 2013