Cost enforcement in the real-time specification for Java

DOI10.1007/S11241-007-9031-4zbMATH Open1125.68025OpenAlexW1973741089MaRDI QIDQ2460195FDOQ2460195

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

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

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)

Cites Work

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

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)