CEOL Centre

CEOL broadly focuses on improvements in static and dynamic analysis of software/hardware systems. The centre developed novel techniques for average-case analysis to complement worst-case information. Application targets include: Real-Time Languages and Power Analysis, areas of growing importance.

Real-Time software can guarantee that deadlines are met in safety critical situations and is widely applied in telephone exchanges, satellite communications, medical equipment, chemical-plant control, stock-market analysis and robotics. CEOL's mission is to improve software timing at source code level for Real-Time Programming Languages. Power Analysis affects a wide range of applications, including battery life, energy dissipation and correctness of computations. Improved power analysis is a second target of the centre.

CEOL research has contributed MOQA, a new domain-specific programming language which guarantees the average-case time analysis of its programs to be modular. "Time" in this context refers to a broad notion of cost, which can be used to estimate the actual running time, but also other quantitative information such as power consumption, while modularity means that the average time of a program can be easily computed from the times of its constituents--something that no programming language of this scope has been able to guarantee so far. MOQA principles can be incorporated in any standard programming language. MOQA supports tracking of data and their distributions throughout computations, based on the notion of random bag preservation. This allows a unified approach to average-case time analysis, and resolves fundamental bottleneck problems in the area.

CEOL collaborates with various industries and currently has a collaborative IDA project with Synopys. Other companies include Sun Microsystems and Xilinx.

CEOL has been established at the Department of Computer Science, University College Cork with initial funding from Science Foundation Ireland in the form of an Investigatorship Award to its director, Prof. M. P. Schellekens. The centre forms part of Ireland's determined large scale investment in ICT and aims to contribute to the ICT 'music'* of the future.

*CEOL, pronounced "kyohl" is the Irish Gaelic word for music.  

Latest News                  All news...   

Funding from SFI

CEOL attracted new funding from Science Foundation Ireland.

IDA/Synopsys Funding

CEOL awarded IDA/Synopsys funding to support collaborative project.

Editorial Board of New Journal

Prof. M. P. Schellekens and Dr. Emanuel Popovici have been invited on the editorial board of new journal,

"International Journal of Design, Analysis and Tools for Integrated Circuits and Systems (IJDATICS)."

Springer Book on MOQA

Springer book on MOQA language.

Research Project with Synopsys

CEOL and the Embedded Systems Group of Microelectronics involved in research project with Synopsys, during a major R&D expansion of the company.

Software and Electronic Engineering Positions

Total of 95 jobs to be created in software engineering and call centre companies.

Best Regular Paper Award

Diploma is awarded to T. English, K.L. Man, E. Popovici and M.P. Schellekens for the best regular paper on IEEE EWDT'08 Symposium.

Sponsors

To contact us:

Phone: + 353 (0)21 490 1917

Fax: +353 (0)21 490 1908

E-mail: ceol@cs.ucc.ie

CEOL, Lancaster Hall,

6 Little Hanover street,

Cork, Ireland.