In this paper, we show how soft errors can affect the integrity of the type system. Furthermore, we provide means to secure it against these faults, thus ...
A JVM for soft-error-prone embedded systems - ResearchGate
www.researchgate.net › publication › 25...
In this paper, we show how soft errors can affect the integrity of the type system. Furthermore, we provide means to secure it against these faults, thus ...
In the absence of transient errors, a type-safe software system, for instance, could already provide constructively ensured spatial isolation of software.
Most techniques concentrate on application protection. • Previous work: employ a type-safe language (Java) for SW-based FT. • Use the type system for ...
In this paper, it is shown how soft errors can affect the integrity of the type system and means to secure it against these faults are provided, ...
It facilitates an easy evaluation of the protection characteristics and costs as well as the migration of software to new hardware platforms with different ...
In this paper, we propose a novel fault tolerant technique for Java Virtual Machine (JVM) called the warm-JVM rejuvenation, which can proactively correct soft ...
Bibliographic details on A JVM for soft-error-prone embedded systems.
#embedded · #virtual machine · Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
In the paper named “A JVM for Soft-. Error-Prone Embedded system” [3] describes an automated application of fault detection and tolerance measures based on the ...