Paper Info
Title
Runtime integrity checking for inter-object connections
Abstract
Ensuring integrity of heap resident data is critical for many embedded systems. Ever-scaling process technology combined with power-saving techniques employed in embedded systems is increasing vulnerability of such systems to hardware-related errors such as soft errors. While such errors are transient and do not harm the architecture, they can corrupt data. In this study, we explore solutions to the inter-object connectivity problem in heap memory of Java-based embedded environments. Our objective is to ensure that the connections between the objects are consistent. In particular, we want to detect the cases where an inter-object link disappears or points to a wrong object. To address this problem, we propose a rule based approach, where the application programmer expresses the important connectivity rules to be satisfied using a special rule language, and a modified JVM (Java virtual machine) checks these rules at runtime.
Year
DOI
Venue
2005
10.1109/ICCAD.2005.1560083
ICCAD
Keywords
Field
DocType
ensuring integrity,special rule language,important connectivity rule,inter-object connection,runtime integrity checking,java-based embedded environment,inter-object connectivity problem,inter-object link,heap resident data,corrupt data,heap memory,embedded system,embedded systems,rule based,java,knowledge based systems,satisfiability,soft error,virtual machines
Embedded Java,Scala,Programming language,Java annotation,Computer science,Java concurrency,Real time Java,Real-time computing,Heap (data structure),Memory management,strictfp,Distributed computing
Conference
ISSN
ISBN
Citations 
1063-6757
0-7803-9254-X
0
PageRank 
References 
Authors
0.34
11
2
Name
Order
Citations
PageRank
Guilin Chen19210.54
Mahmut T. Kandemir27371568.54