Data-flow models ease the task of constructing feasible schedules of computations and
communications of high-assurance embedded applications. One key and open issue is how …

We present an implementation of the Safety-Critical Java profile (SCJ), targeted for low-end
embedded platforms with as little as 16 kB RAM and 256 kB flash. The distinctive features of …

The World Wide Web encourages widely-distributed, open, decentralized systems that span
multiple administrative domains. Recent research has turned to trust management according …

We present HVMTP, a time predictable and portable Java Virtual Machine (JVM)
implementation with applications in resource-constrained, hard real-time embedded …

The ever-increasing functional and nonfunctional requirements in real-time safety-critical
embedded systems call for new design flows that solve the specification, validation, and …

The safety-critical Java (SCJ) specification is developed within the Java Community Process
under specification request number JSR 302. The specification is available as public draft …

Safety-Critical Java (SCJ) is based on the Real-Time Specification for Java. To simplify the
certification of Java programs, SCJ supports only a restricted scoped memory model …

The Java programming language was originally developed for embedded systems, but the
resource requirements of previous and current Java implementations–especially memory …

Safety-critical Java (SCJ) is designed to enable development of applications that are
amenable to certification under safety-critical standards. However, its shared-memory …

It is desirable to bring Java technology to safety-critical systems. To this end The Open
Group has created the safety-critical Java specification, which will allow Java applications …