You are here

Specification and Runtime Checking of Timing Constraints in Safety Critical Java

Download pdf | Full Screen View

Date Issued:
2012
Abstract/Description:
The Java platform is becoming a vital tool for developing real-time and safety-critical systems. Design patterns and the availability of Java libraries, both provide solutions to many known problems. Furthermore, the object-oriented nature of Java simplifies modular development of real-time systems. However, limitations of Java as a programming language for real-time systems are a notable obstacle to producing safe real-time systems. These limitations are found in the unpredictable execution model of the language, due to Java's garbage collector, and the lack of support for non-functional specification and verification tools. In this dissertation I introduce SafeJML, a specification language for support of functional and non-functional specifications, based on an implementation of a safety-critical Java platform and the Java Modeling Language (JML). This dissertation concentrates on techniques that enable specification and dynamic checking of timing constraints for some important Java features, including methods and subtyping. SafeJML and these dynamic checking techniques allow modular specification and checking of safety-critical systems, including those that use object-orientation and design patterns. Such coding techniques could have maintenance benefits for real-time and safety-critical software.
Title: Specification and Runtime Checking of Timing Constraints in Safety Critical Java.
20 views
9 downloads
Name(s): Haddad, Ghaith, Author
Leavens, Gary, Committee Chair
Turgut, Damla, Committee Member
Boloni, Ladislau, Committee Member
Nazzal, Dima, Committee Member
University of Central Florida, Degree Grantor
Type of Resource: text
Date Issued: 2012
Publisher: University of Central Florida
Language(s): English
Abstract/Description: The Java platform is becoming a vital tool for developing real-time and safety-critical systems. Design patterns and the availability of Java libraries, both provide solutions to many known problems. Furthermore, the object-oriented nature of Java simplifies modular development of real-time systems. However, limitations of Java as a programming language for real-time systems are a notable obstacle to producing safe real-time systems. These limitations are found in the unpredictable execution model of the language, due to Java's garbage collector, and the lack of support for non-functional specification and verification tools. In this dissertation I introduce SafeJML, a specification language for support of functional and non-functional specifications, based on an implementation of a safety-critical Java platform and the Java Modeling Language (JML). This dissertation concentrates on techniques that enable specification and dynamic checking of timing constraints for some important Java features, including methods and subtyping. SafeJML and these dynamic checking techniques allow modular specification and checking of safety-critical systems, including those that use object-orientation and design patterns. Such coding techniques could have maintenance benefits for real-time and safety-critical software.
Identifier: CFE0004542 (IID), ucf:49224 (fedora)
Note(s): 2012-12-01
Ph.D.
Engineering and Computer Science, Electrical Engineering and Computing
Doctoral
This record was generated from author submitted information.
Subject(s): Specification -- Checking -- Timing Constraints -- Safety Critical Java -- JML -- SafeJML
Persistent Link to This Record: http://purl.flvc.org/ucf/fd/CFE0004542
Restrictions on Access: public 2012-12-15
Host Institution: UCF

In Collections