Tullio Vardanega

Publications (6)0 Total impact

• Source

  Available from: ipp.gratisblogs.net

  Conference Proceeding: Hierarchical Scheduling with Ada 2005.

  José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente
  Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings; 01/2006
• Source

  Available from: math.unipd.it

  Article: On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.

  Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente
  Real-Time Systems. 01/2005; 29:59-89.
• Conference Proceeding: Using Object Orientation in High Integrity Applications: A Case Study.

  Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente
  Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings; 01/2002
• Conference Proceeding: An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.

  Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
  Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings; 01/2001
• Chapter: An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

  Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
  [show abstract] [hide abstract]
  ABSTRACT: As Ada compilation systems with specific support for the Ravenscar Profile become available, users have the opportunity to assess the expressive power of the profile and the effectiveness of the relevant technology. User feedback in both respects may significantly contribute to furthering the maturity of the profile and the confidence of the user community. This paper provides some such feedback discussing the lessons learned on the port of a space application to GNAT/ORK, an open-source implementation of the profile.
  12/2000: pages 392-404;
• Article: An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

  Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente, Dirk Craeynest, Alfred Strohmeier