64 citations · 69 across the 4 of their papers we have counts for
4 papers
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Matt Luckcuck, Ana Cavalcanti, Andy Wellings
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 does not…
Safety-Critical Java: Level 2 in Practice
Matt Luckcuck, Andy Wellings, Ana Cavalcanti
Safety Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three complia…
Architecting Time-Critical Big-Data Systems
Pablo Basanta-Val, Neil Audsley, Andy Wellings +2
- Current infrastructures for developing big-data applications are able to process --via big-data analytics-huge amounts of data, using clusters of machines that collaborate to per…
Transparent hardware synthesis of Java for predictable large-scale distributed systems
Ian Gray, Yu Chan, Jamie Garside +2
The JUNIPER project is developing a framework for the construction of large-scale distributed systems in which execution time bounds can be guaranteed. Part of this work involves t…