Applet-based Specification Technique with Correctness Properties

K.-Y. Sung (Korea)


Applets, Correctness, Specification,Timing Constraints


In this study, a specification technique with safety assertions, liveness assertions, and real-time APIs is suggested to help developers to specify and prototype a real-time concurrent system with a Java applet. The platform independence of Java class files has made Java a convenient tool for developers and customers to elicit the requirements of a target system. The processor of the suggested specification language generates the skeletal Java classes reflecting safety and liveness assertions with Java’s exception handling feature, and soft real-time constraints in the form of APIs. The processor inserts real time APIs into generated skeletal Java classes, which are implemented with Java multithreading without modifying the standard Java syntax.

Important Links:

Go Back