Private Memory Allocation Analysis for Safety-Critical Java

Andreas E. Dalsgaard, René Rydhof Hansen, Martin Schoeberl

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    Safety-critical Java (SCJ) avoids garbage collection and uses a scope based memory model. This memory model is based on a restricted version of RTSJ [2] style scopes. The scopes form a clear hierarchy with different lifetimes. Therefore, references between objects in different scopes are only allowed from objects allocated in scopes with a shorter lifetime to objects allocated in scopes with a longer lifetime.

    To ensure memory safety, programmers are required to either manually annotate the application with complex annotations, rely on a runtime test of each reference assignment, or statically analyze all reference assignments and avoid runtime checks when all assignments are proven to be correct. A violation of the assignment rule at runtime leads to an unchecked exception. For safety-critical code that needs to be certified, runtime exceptions must be avoided and the absence of illegal reference assignments needs to be proven. In this paper we present a static program analysis tool that automates the proof that no illegal assignments occur.
    Original languageEnglish
    Title of host publicationProceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012)
    PublisherAssociation for Computing Machinery
    Publication date2012
    Pages9-17
    ISBN (Print)978-1-4503-1688-0
    DOIs
    Publication statusPublished - 2012
    Event10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012) - Technical University of Denmark, Copenhagen, Denmark
    Duration: 24 Oct 201226 Oct 2012
    http://jtres2012.imm.dtu.dk/

    Workshop

    Workshop10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012)
    LocationTechnical University of Denmark
    CountryDenmark
    CityCopenhagen
    Period24/10/201226/10/2012
    Internet address

    Fingerprint Dive into the research topics of 'Private Memory Allocation Analysis for Safety-Critical Java'. Together they form a unique fingerprint.

    Cite this