Title

The Design Of Safejml, A Specification Language For Scj With Support For Wcet Specification

Keywords

Duration; Java Modeling Language (JML); Performance; SafeJML; Safety Critical Java (SCJ); Timing behavior; WCET

Abstract

Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear power plants. SafeJML extends the Java Modeling Language (JML) to allow specification and checking of both functional and timing constraints for SCJ programs. When our design of the SafeJML is implemented, it will help check the correctness of detailed designs, including timing for real-time systems written in SCJ. Copyright 2010 ACM.

Publication Date

10-21-2010

Publication Title

ACM International Conference Proceeding Series

Number of Pages

155-163

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/1850771.1850793

Socpus ID

77957951601 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/77957951601

This document is currently not available here.

Share

COinS