Checking Memory Safety of Level 1 Safety-Critical Java Programs using Static-Analysis without Annotations
C Marriott - 2014 - etheses.whiterose.ac.uk
Safety-Critical Java (SCJ) has been designed specifically to ring performance and reliability
to the development of safety-critical Java programs. SCJ introduces a novel programming …
to the development of safety-critical Java programs. SCJ introduces a novel programming …
JCopter: Reliable UAV Software Through Managed Languages
A Czerniejewski, JH Burns, F Ghanei… - 2021 IEEE/RSJ …, 2021 - ieeexplore.ieee.org
UAVs are deployed in various applications including disaster search-and-rescue, precision
agriculture, law enforcement and first response. As UAV software systems grow more …
agriculture, law enforcement and first response. As UAV software systems grow more …
[BOOK][B] Formal Methods and Software Engineering
The International Conference on Formal Engineering Methods (ICFEM) is a premier
conference for research in all areas related to formal engineering methods, such as …
conference for research in all areas related to formal engineering methods, such as …
[HTML][HTML] SCJ-Circus: specification and refinement of Safety-Critical Java programs
Abstract Safety-Critical Java (SCJ) is a version of Java for real-time, embedded, safety-
critical applications. It supports certification via abstractions that enforce a particular program …
critical applications. It supports certification via abstractions that enforce a particular program …
Safety-Critical Java Level 2: Applications, Modelling, and Verification
M Luckcuck - 2016 - etheses.whiterose.ac.uk
Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that
must be certified. To aid certification, SCJ is organised into three compliance levels, which …
must be certified. To aid certification, SCJ is organised into three compliance levels, which …
A formal model of the safety-critical java level 2 paradigm
Abstract Safety-Critical Java (SCJ) introduces a new programming paradigm for applications
that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it …
that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it …
Providing Reliable Execution in Robotic Systems with Real-Time Managed Languages
A Czerniejewski - 2022 - search.proquest.com
The utility of robotic systems is undeniable, they can be deployed for various forms (air, land,
sea, etc.) for many useful applications including disaster search-and-rescue, precision …
sea, etc.) for many useful applications including disaster search-and-rescue, precision …
Safety-Critical Java for Embedded Systems
JRR Rivas - 2014 - orbit.dtu.dk
Safety-critical systems are real-time systems whose failure can have severe or catastrophic
consequences, possibly endangering human life. Many safety-critical systems incorporate …
consequences, possibly endangering human life. Many safety-critical systems incorporate …
[PDF][PDF] Safety-Critical Java Level 2 Application Model: FlatBuffer
M Luckcuck - 2016 - cs.york.ac.uk
Safety-Critical Java (SCJ)[1] is a Java-based language for applications that must be certified.
To aid certification efforts, SCJ is organised into three compliance levels. Level 0 …
To aid certification efforts, SCJ is organised into three compliance levels. Level 0 …
[PDF][PDF] A Formal Model for the SCJ Level 2 Paradigm
M Luckcuck - 20th International Symposium on Formal …, 2015 - pdfs.semanticscholar.org
A Formal Model for the SCJ Level 2 Paradigm - Doctoral Symposium FM2015 Page 1 A Formal
Model for the SCJ Level 2 Paradigm A Formal Model for the SCJ Level 2 Paradigm Doctoral …
Model for the SCJ Level 2 Paradigm A Formal Model for the SCJ Level 2 Paradigm Doctoral …