Probabilistically Analysable Real-Time Systems

Tullio Vardanega

Tullio Vardanega is with the Computer Science faculty at the Dept. of Pure and Applied Maths, College of Science, University of Padua, Italy, in the position of Associate Professor since 2002. His prime research interests include methods, languages and tools for the engineering of high-integrity real-time systems. He is also an advisor, reviewer and consultant for the European Space Agency as well as the European Commission (Directorate-General, Information Technology, Embedded Systems Unit). He is also a member of various international program committees and working groups. In particular, as a member of a rapporteur group under ISO/IEC JTC1/SC22/WG9, he was co-author of two major technical reports: Guide for the use of the Ada Ravenscar Profile in High Integrity Systems (ISO number to be defined), and Guide for the use of the Ada programming language in High Integrity Systems (ISO/IEC JTC1/SC22 TR 15492, October 1999). From July 1991 to December 2001, he was at the European Space Agency at their Technical and Research Center (ESTEC) in the Netherlands, where he was a key staff member in the area of methods, languages and tools for the engineering of on-board embedded software systems. From December 1987 to June 1991, he was a project leader at Intecs, Italy, a private company engaged in R&D and consulting for leading-edge software technology, where he managed a number of research projects for a total funding in excess of 4M€.