Probabilistically Analysable Real-Time Systems

University of Padua, Italy

Established in 1222, the “Università degli studi di Padova” is one of the most famous and oldest universities in Europe. It has an outstanding number of fields of expertise, ranging from Biology to Philosophy and Psychology and fast-growing curricula in Information Technology under the Faculties of Engineering and of Science. The Pure and Applied Mathematics Department has more than 100 teachers and 35 PhD students, which shows an outstanding spread of research a dynamic activity. Research groups address pure Mathematics, such as the Algebra, Analysis, Geometry, Logic, Probability and Statistics and Topology groups, as well as more applied Mathematics such as Education, Numerical Analysis, Operations Research and Optimisation, and a fast-growing Computer Science groups. The Computer Science research group has an acknowledged track-record and expertise in Artificial Intelligence, Theory of Computation and Algorithm, Programming Languages, Real-time Systems and Software Engineering, the latter with particular relation to software methods, languages and tools for high-integrity systems.

Main tasks attributed in the project.

The University of Padova will lead WP2 and will contribute collaborative effort to WP1 (predominantly in T1.3, which most directly feeds into the work of WP2), WP3 (predominantly to T3.1, on the scientific foundation of the analysis methods and techniques that will be devised) and WP4, in support of the case studies.

Previous experiences relevant to those tasks.

UNIPD has recently been conducting a series of investigations on the impact of the cache jitters on the timing predictability of on-board applications, on commission by the European Space Agency. In addition to that, the key personnel of UNIPD in the PROARTIS project has been active in the real-time system community, with contributions ranging from the definition of programming language profiles for attaining efficient time-predictable execution, to the exploration of software development methods that factor best practices in real-time and high-integrity software architectures.