Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java

Authors:
Keum-Young Sung
Affiliations:
-
Venue:
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Year:
2001

Citing 11
Cited 0

Safety analysis of timing properties in real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Real-time Euclid: a language for reliable real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Building Flexible Real-Time Systems Using the Flex Language

Computer - Special issue on real-time systems
Real-time computing

BYTE
Modern compiler implementation in Java

Modern compiler implementation in Java
Maintaining knowledge about temporal intervals

Communications of the ACM
The Specification of Complex Systems

The Specification of Complex Systems
The Battle over Real-Time Java

Computer
Verifying and Validating Software Requirements and Design Specifications

IEEE Software
Program Specification Applied to a Text Formatter

IEEE Transactions on Software Engineering
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

With its central and unique ability to execute bytecode on any platform, the Java programming language has gained increasing popularity in a wide area of computation especially in internet-related applications. Even with its broad applicability, the standard Java virtual machine is deficient in the capability to express real-time constraints. In this study, a specification language is suggested to specify real-time constraints, which generates skeletal Java code containing the invocation of real-time APIs. The use of multithreading is proposed to implement real-time APIs without modifying the current Java semantics. This approach may expand the application area of Java applet with existing language features especially to specify soft real-time constraints for visual specification or modeling based on internet. With the suggested technique we can specify timing semantics including maximum, minimum, durational, and relative timing constraints. The detailed execution orders of multithreads to express many forms of timing constraints have been packaged into API libraries for maintainability and readability.