Developing safety critical Java applications with oSCJ/L0

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10021469" target="_blank" >RIV/00216208:11320/10:10021469 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Developing safety critical Java applications with oSCJ/L0

Popis výsledku v původním jazyce

We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specifi cation. SCJ is designed to make Java amenable to writing mission- and safety-critical software. It does this by de fining a subset of the Real-time Specifi cation for Java that trades expressiveness for verifiability. This paper gives a high-level description of our implementation of the first compliance level of the SCJ specifi cation, a library called oSCJ, and reports on performance evaluation on the Ovm real-time Java virtual machine. We compare SCJ to C on both a real-time operating system on the LEON3 platform and Linux on a x86. Our results suggest that a high degree of predictability and competitive performance can indeed be achieved.

Název v anglickém jazyce

Developing safety critical Java applications with oSCJ/L0

Popis výsledku anglicky

We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specifi cation. SCJ is designed to make Java amenable to writing mission- and safety-critical software. It does this by de fining a subset of the Real-time Specifi cation for Java that trades expressiveness for verifiability. This paper gives a high-level description of our implementation of the first compliance level of the SCJ specifi cation, a library called oSCJ, and reports on performance evaluation on the Ovm real-time Java virtual machine. We compare SCJ to C on both a real-time operating system on the LEON3 platform and Linux on a x86. Our results suggest that a high degree of predictability and competitive performance can indeed be achieved.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems

ISBN

978-1-4503-0122-0

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

—

Název nakladatele

ACM

Místo vydání

New York, NY, USA

Místo konání akce

Praha, Česká republika

Datum konání akce

19. 8. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—