CONTESSE - Contract-Based Components for Embedded Software
Status:
Start date:
End date:
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.
Limited Preemptive Scheduling in Real-time Systems (May 2016) Abhilash Thekkilakattil
Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling (Dec 2015) Rob Davis , Abhilash Thekkilakattil, Oliver Gettings , Radu Dobrin, Sasikumar Punnekkat The 36th IEEE Real-Time Systems Symposium (RTSS'15)
What is the Exact Speedup Factor for Fixed Priority Pre-emptive versus Fixed Priority Non-pre-emptive Scheduling? (Jul 2015) Rob Davis , Oliver Gettings , Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat The 6th International Real-Time Scheduling Open Problems Seminar (RTSOPS'15)
Ethics Aspects Of Embedded And Cyber-Physical Systems (Jul 2015) Abhilash Thekkilakattil, Gordana Dodig-Crnkovic The 39th Annual International Computers, Software & Applications Conference (COMPSAC'15)
The Limited-preemptive Feasibility of Real-time Tasks on Uniprocessors (Apr 2015) Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)
Fault Tolerant Scheduling of Mixed Criticality Real-Time Tasks under Error Bursts (Dec 2014) Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat The International Conference on Information and Communication Technologies (ICICT'14)
