Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel

Ricardo Maia; Francisco Moreira; Ricardo Barbosa; Diamantino Costa; Patricia Rodriguez; Kjeld Hjortnaes; Luis Miguel Pinho

doi:10.1145/959222.959236

Home PublicationsPaper

Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel
Ref: HURRAY-TR-0312 Publication Date: 15, Sep, 2003

Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel

Ref: HURRAY-TR-0312 Publication Date: 15, Sep, 2003

Authors:

Ricardo Maia

Francisco Moreira

Ricardo Barbosa

Diamantino Costa

Patricia Rodriguez

Kjeld Hjortnaes

Luis Miguel Pinho

12th International Real-Time Ada Workshop (IRTAW '03), ACM New York, pp 74-81.
Viana do Castelo, Portugal.

DOI:10.1145/959222.959236.

Notes: Also in ACM Ada Letters, Volume XXIII, Number 4, Dec 2003, pp. 74-81.

Record Date: 1, Dec, 2003

Short links for this page: www.cister-labs.pt/docs/10_1145_959222_959236 www.cister-labs.pt/docs/hurray_tr_0312 www.cister-labs.pt/docs/164

Previous Paper Next Paper

Verifying, Validating and Monitoring the Open Ravenscar Real Time KernelRef: HURRAY-TR-0312 Publication Date: 15, Sep, 2003

Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel

Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel
Ref: HURRAY-TR-0312 Publication Date: 15, Sep, 2003