Presentazione

Dettaglio Docente

VARDANEGA TULLIO

Professore associato confermato

Dipartimento di Matematica

0498271359

tullio.vardanega@unipd.it

http://www.math.unipd.it/~tullio

INF/01

Curriculum Scientifico

uglio 1986: laurea a pieni voti in Scienze dellInformazione presso lUniversit di Pisa dicembre 1987 - giugno 1991: Intecs Sistemi SpA, Pisa. Capo progetto nell'area Sistemi Operativi luglio 1991 - dicembre 2001: European Space Agency Research and Technology Centre (ESA/ESTEC), Noordwijk (Olanda). (Senior) Software engineer nel settore On-board Control and Data Systems ottobre 1998: dottorato (PhD) in Scienze dellInformazione presso la Delft University of Technology (Olanda) gennaio 2002 oggi : Universit di Padova, professore associato da ottobre 2004.

Pubblicazioni più Rilevanti

1. A. Burns, B. Dobbing and T. Vardanega, Guide for the Use of the Ada Ravenscar Pro.le in High Integrity Systems, University of York (UK) Technical Report YCS-2003-348, gennaio 2003. http://www.cs.york.ac.uk/ftpdir/reports/YCS-2003-348.pdf (Pubblicato anche da ISO/ IEC: http://standards.iso.org/ittf/PubliclyAvailableStandards/index.html alla voce ISO/IEC TR 24718:2005 2. T. Vardanega, Development of On-Board Embedded Real-Time Systems: An Engineering Approach, Rapporto Tecnico No. STR-260, (ISBN: 90-9092-334-2) Agenzia Spaziale Europea, ottobre 1999 3. T. Vardanega, J. Zamorano, J.A. de la Puente, On the Dynamic Semantics and the Timing Behaviour of Ravenscar Kernels, Real-Time Systems, 29(1):5989, 2005. Kluwer Academic Publishers (ISSN: 0922-6443) 4. T. Vardanega, G. Caspersen, Engineering Reuse for On-board Embedded Real-Time Systems, Software Practice and Experience, John Wiley & Sons. 32(3):233264, marzo 2002 (ISSN: 0038-0644). 5. M. Bordin, M. Panunzio, T. Vardanega, Fitting Schedulability Analysis Theory into Model-Driven Engineering. Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS 08), 135-144. 2-4 luglio 2008. (DOI: 10.1109/ECRTS.2008.30)