21 papers:
AdaEurope-2012-PanunzioV #ada #component #development- Ada Ravenscar Code Archetypes for Component-Based Development (MP, TV), pp. 1–17.
- AdaEurope-2011-ChouteauR #design #implementation #multi
- Design and Implementation of a Ravenscar Extension for Multiprocessors (FC, JFR), pp. 31–45.
- AdaEurope-2010-MezzettiPV #ada
- Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
DATE-2009-GregertsenS #ada #multi #performance #runtime- An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
- AdaEurope-2008-HamidN #ada #semantics
- Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
- AdaEurope-2008-OberH #on the #verification
- On the Timed Automata-Based Verification of Ravenscar Systems (IO, NH), pp. 30–43.
- AdaEurope-2006-UruenaZBPP #communication #distributed #protocol #realtime
- The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.
- AdaEurope-2005-AtiyaK #csp
- Extending Ravenscar with CSP Channels (DAA, SK), pp. 79–90.
- AdaEurope-2005-BerrendonnerG #benchmark #metric
- The ESA Ravenscar Benchmark (RB, JG), pp. 260–271.
- AdaEurope-2004-ZamoranoAPP #ada #implementation
- Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.
FME-2003-AtiyaKW #semantics- A Circus Semantics for Ravenscar Protected Objects (DAA, SK, JW), pp. 617–635.
- AdaEurope-2003-AmeyD
- High Integrity Ravenscar (PA, BD), pp. 68–79.
- AdaEurope-2003-BurnsL #verification
- Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.
- AdaEurope-2002-PinhoV
- Transparent Environment for Replicated Ravenscar Applications (LMP, FV), pp. 297–308.
- AdaEurope-2001-VardanegaGP #migration
- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (TV, RG, JAdlP), pp. 392–404.
- AdaEurope-2000-PuenteRZ #kernel #realtime
- An Open Ravenscar Real-Time Kernel for GNAT (JAdlP, JFR, JZ), pp. 5–15.
- AdaEurope-1999-KamradS #ada #implementation #runtime
- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.
- AdaEurope-1999-LundqvistAM #ada #formal method
- A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.
SIGAda-1999-LundqvistA #ada #formal method- A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
- AdaEurope-1998-BurnsDR #realtime #source code
- The Ravenscar Tasking Profile for High Integrity Real-Time Programs (AB, BD, GR), pp. 263–275.
- SIGAda-1998-DobbingB #realtime #source code
- The Ravenscar Tasking Profile for High Integrity Real-Time Programs (BD, AB), pp. 1–6.
