Cost enforcement in the real-time specification for Java

DOI10.1007/S11241-007-9031-4MaRDI QIDQ2460195zbMATH OpenOpenAlexFDO

Authors Andy Wellings, Osmar Marchi Dos Santos

Publication date 14 November 2007

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11241-007-9031-4

zbMATH Keywords

Model checkingFault-toleranceJava programming languageReal-time specification for Java

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 2080767
• Evaluating the expressive power of the real-time specification for Java
• scientific article; zbMATH DE number 1487612
• Scalable online feasibility tests for admission control in a Java real-time system

Cites work

• A Ravenscar-compliant run-time kernel for safety-critical systems
• A theory of timed automata
• Concurrent and Real-Time Programming in Ada 2005
• Formal Methods for the Design of Real-Time Systems
• Uppaal in a nutshell
• Verifying time partitioning in the DEOS scheduling kernel

Cited in

(1)

• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• SPIN
• PVS
• Uppaal
• Z

This page was built for publication: Cost enforcement in the real-time specification for Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2460195)