Static checking of safety critical Java annotations

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Java Technologies for Real-time and Embedded Systems

• Publication date

  2010-08-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1850771.1850792
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• High-level programming of embedded hard real-time devices

  2010cited by this paper
• CDx: a family of real-time Java benchmarks

  2009cited by this paper
• A type system to assure scope safety within safety-critical Java modules

  2006cited by this paper
• Safety critical Java™ technology

  2006cited by this paper
• Scoped types and aspects for real-time Java memory management

  2006influential reference
• Scoped types for real-time Java

  2004cited by this paper
• Ownership types for safe region-based memory management in real-time Java

  2003cited by this paper
• SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION

  2001cited by this paper
• The Real-Time Specification for Java

  2000cited by this paper

• Static Analysis of Remote Procedure Call in Java Programs

  2025cites this paper
• Understanding and Detecting Annotation-Induced Faults of Static Analyzers

  2024cites this paper
• Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness

  2019cites this paper
• SCJ-Circus: Specification and refinement of Safety-Critical Java programs

  2019cites this paper
• eFeed-Hungers.com: Mitigating global hunger crisis using next generation technologies

  2018cites this paper
• SCJ-Circus : a refinement-oriented formal notation for Safety-Critical Java Alvaro Miyazawa

  2017cites this paper
• Making Android Run on Time

  2017cites this paper
• Safety‐critical Java for embedded systems

  2017cites this paper
• A Formal Model for the SCJ Level 2 Paradigm

  2016cites this paper
• A Formal Model of the Safety-Critical Java Level 2 Paradigm

  2016cites this paper
• Safelet Setup Mission Initialisation Mission Cleanup Safelet Termination Execute next Mission Event Handlers

  2016cites this paper
• SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

  2016cites this paper
• Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

  2016cites this paper
• Safety-Critical Java Level 2: applications, modelling, and verification

  2016cites this paper
• Proceedings of the Doctoral Symposium of Formal Methods 2015

  2015influential citation
• Adaptive constraint solving for information flow analysis

  2015cites this paper
• Laws of mission-based programming

  2015cites this paper
• Gradual Typing for Annotated Type Systems

  2014cites this paper
• Certifiable Java for Embedded Systems

  2014cites this paper
• Circus Models for Safety-Critical Java Programs

  2014influential citation
• Checking memory safety of level 1 safety-critical Java programs using static-analysis without annotations

  2014cites this paper
• SCJ: Memory-Safety Checking without Annotations

  2014cites this paper
• THÈSE / UNIVERSITÉ DE RENNES 1 sous le sceau de l'Université Européenne de Bretagne pour le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique

  2013cites this paper
• Ownership Types: A Survey

  2013cites this paper
• Refining SCJ Mission Specifications into Parallel Handler Designs

  2013cites this paper
• Design of safety-critical Java level 1 applications using affine abstract clocks

  2013cites this paper
• The formalisation of SCJ-mSafe Technical Report

  2013cites this paper
• Private memory allocation analysis for safety-critical Java

  2012cites this paper
• Hardware Support for Safety-Critical Java Scope Checks

  2012cites this paper
• The Safety-Critical Java memory model formalised

  2012cites this paper
• JI.FI: Visual test and debug queries for hard real‐time

  2012cites this paper
• Verifying Memory Properties of Safety-Critical Java Programs

  2011influential citation
• The Safety-Critical Java Mission Model: A Formal Account

  2011influential citation
• The Safety-Critical Java Memory Model: A Formal Account

  2011cites this paper
• A Static Memory Safety Annotation System for Safety Critical Java

  2011cites this paper
• Developing safety critical Java applications with oSCJ/L0

  2010cites this paper