Marco Panunzio

Post-doc research fellow in Computer Science
Supervisor: Tullio Vardanega

Page Contents


Affiliation

Marco Panunzio
Department of Mathematics, University of Padova
via Trieste 63
35121 Padova
Italy

Research Interests

My research interests include:

High-Integrity Real-Time Systems
  • Schedulability Analysis
  • Hierarchical Real-Time Systems
  • Ada Ravenscar Profile

    • Software Engineering
  • Model-Driven Engineering
  • Component-based Software Engineering
  • Domain-specific modeling
  • Correctness by Construction
  • Software reference architectures

    • Curriculum Vitae

    I was born in Padova (Italy) September 28, 1982.

    I received the "Laurea" (B.Sc.) degree in Computer Science on July 21, 2004. The title of my thesis is: "Infrastruttura di Presentazione per un sistema di Identity Management in ambiente J2EE con l'utilizzo del Framework Struts" ( "Presentation Layer for an Identity Management System on J2EE Platform using Struts Framework" ). It was written together with Riccardo Cardin, and it is available in Italian only.

    On December 20, 2006, I received the "Laurea Specialistica" (M.Sc.) degree in Computer Science (cum laude) from the University of Padova. My graduation thesis is : "Teorie e Strumenti per l'Analisi Temporale di Sistemi Real-Time a Struttura Gerarchica" ("Theories and Tools for the Schedulability Analysis of Hierarchical Real-Time Systems").

    The research work from which the thesis has originated was carried out in part in the ASSERT project (IST-FP6-2004 004033) partially funded by the European Commission as part of the 6th Framework Programme, in which I worked for 17 months until December 2007.

    From January 2008 to May 2011, I was enrolled in the Ph.D. program in Computer Science at the University of Bologna. Nevertheless, my work activities were carried out at the University of Padova.

    During my Ph.D. I spent several periods working at ESTEC, the research center of the European Space Agency (Noordwijk, The Netherlands) in the scope of the Networking/Partnering Initiative (NPI) of the "Directorate of Technical and Quality Management".

    During the PhD and now as post-doc research fellow, I am mainly investigating the definition, realization and evaluation of a software reference architecture for use in on-board software.

    Since January 2009, I am the News Editor of the Ada User Journal, produced by Ada-Europe.

    Curriculum Vitae

    Publications

    Journals

    1. D. Cancila, R. Passerone, T. Vardanega, M. Panunzio: Toward Correctness in the Specification and Handling of Nonfunctional Attributes of High-Integrity Real-Time Embedded Systems . IEEE Transactions on Industrial Informatics, Volume 6, No. 2, pp. 181-194, May 2010.

    International Conferences

    1. M. Panunzio, T. Vardanega: A Component Model for On-board Software Applications . 36th Euromicro Conference on Software Engineering and Advanced Applications, Lille, France, September 1-3, 2010.

    2. E. Mezzetti, M. Panunzio, T. Vardanega: Preservation of Timing Properties with the Ada Ravenscar Profile . 15th International Conference on Reliable Software Technologies - Ada-Europe 2010, Valencia, Spain, June 14-18, 2010. "Best paper" award 2010.

    3. M. Panunzio, T. Vardanega: On Component-Based Development and High-Integrity Real-Time Systems . 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Beijing, China, August 24-26, 2009.

    4. M. Bordin, M. Panunzio, S. Puri: Rapid Model-Driven Prototyping and Verification for High-Integrity Real-Time Systems . 23rd IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstration Session), L'Aquila, Italy, September 15-19, 2008.

    5. M.Bordin, M. Panunzio, T. Vardanega: Fitting Schedulability Analysis Theory into Model-Driven Engineering . 20th Euromicro Conference on Real-Time Systems, Prague, Czech Republic, July 2-4, 2008.

    6. M. Panunzio, T. Vardanega: An Approach to the Timing Analysis of Hierarchical Systems . 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, August 21-24, 2007.

    7. M. Panunzio, T. Vardanega: A Metamodel-driven Process Featuring Advanced Model-based Timing Analysis . 12th International Conference on Reliable Software Technologies - Ada-Europe 2007, Geneva, Switzerland, June 25-29, 2007.

    Workshops and work-in-progress papers

    1. M. Panunzio, T. Vardanega: Charting the evolution of the Ada Ravenscar code archetypes . Proceedings of the 15th International Real-Time Ada Workshop, to appear on ACM SIGAda Ada Letters, 2011.

    2. M. Panunzio, T. Vardanega: Common pitfalls and misconceptions of component-oriented approaches for real-time embedded systems: lessons learned and solutions . 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, held in conjunction with The 31st IEEE Real-Time Systems Symposium, San Diego, California - USA, November 30, 2010.

    3. E. Mezzetti, M. Panunzio, T. Vardanega: Bounding the Effects of Resource Access Protocols on Cache Behavior . 10th International Workshop on Worst-Case Execution-Time Analysis, Brussels, Belgium, July 6, 2010.

    4. M. Panunzio, C. Santamaria, A. Zovi, T. Vardanega: Correctness by Construction and Separation of Concerns in a MDE Design Infrastructure . 1st Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, held in conjunction with the 6th European Conference on Modelling Foundations and Applications, Paris, France, June 15, 2010.

    5. E. Mezzetti, M. Panunzio, T. Vardanega: Temporal Isolation with the Ravenscar Profile and Ada 2005 . Proceedings of the 14th International Real-Time Ada Workshop, published on ACM SIGAda Ada Letters, Volume XXX(1), April 2010.

    6. M. Bordin, M. Panunzio, C. Santamaria, T. Vardanega: A Reinterpretation of Patterns to Increase the Expressive Power of Model-Driven Engineering . 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, held in conjunction with "The ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems", Toulouse, September 29, 2008.

    7. M. Bordin, M. Panunzio, T. Vardanega: A Metamodel-driven Development for Statically Verifiable Real-Time Systems . 19th Euromicro Conference on Real-Time Systems (Work-in-Progress track), Pisa, Italy, July 4, 2007.

    8. M. Bordin, M. Panunzio, O. Rohlik: An Integrated Metamodel-Driven Process focusing on Reuse and Correctness . 1st Workshop on Model and Analysis for Automotive Systems, held in conjunction with "The 27th IEEE Real-Time Systems Symposium", Rio de Janeiro, Brazil, December 5, 2006.

    Others

    1. SAVOIR-FAIRE working group (Jean-Loup Terraillon (ESA), Andreas Jung (ESA), Paul Arberet (CNES), Sergio Montenegro (DLR), Alain Rossignol (Astrium), Gérald Garcia (TAS), Jianning Li (SSC), Ana Isabel Rodriguez (GMV), Silvia Mazzini (Intecs), Poul Hougaard (Terma), Stuart Fowell (SciSys), Massimo Ferraguto (SSF)) and Marco Panunzio (University of Padua): Space On-Board Software Reference Architecture . 14th Eurospace Conference on Data Systems in Aerospace, Budapest, Hungary, June 1-4, 2010.

    2. M. Bordin, M. Panunzio, T. Vardanega: Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering . 13th Eurospace Conference on Data Systems in Aerospace, Istanbul, Turkey, May 26-29, 2009.

    Presentations

    International Conferences and Workshops

    1. M. Panunzio, T. Vardanega: Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges. ESA Workshop on Avionics Data, Control and Software Systems, ESA/ESTEC, Noordwijk, The Netherlands, October 29-31, 2008.

    2. D. Thomas, J-P. Blanquart, M. Panunzio: Advanced Real-Time Analysis in ASSERT - Application on Satellite Central Flight Software. 15th International Conference on Reliable Software Technologies - Ada-Europe 2008, Venice, Italy, June 16-20, 2008.

    3. M. Panunzio, J.A. Pulido, T. Vardanega: The Priority-band Architecture: a Partitioning Approach to the Definition of Avionics Reference Architectures. ESA Workshop on Avionics Data, Control and Software Systems, ESA/ESTEC, Noordwijk, The Netherlands, October 3-5, 2007.

    Personal Interests

  • Astronomy
  • History of the Roman Republic and Roman Empire
  • Contemporary History
  • History of the Antimafia
  • Piano and Electric Guitar

    • Aphorism of the day

    Live as if you were to die tomorrow. Learn as if you were to live forever. (M.K. Gandhi)

    Marco Panunzio, 2006-2012 (c)