View in EDS

Fall Term

Saved in:
Bibliographic Details
Title: Fall Term
Authors: Ghaith Haddad, Ghaith N. Haddad, Major Professor, Gary T. Leavens
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-12-06/TR.pdf.
Publication Year: 2012
Collection: CiteSeerX
Subject Terms: SafeJML, Safety Critical Java (SCJ, Java Modeling Language (JML, timing behavior, duration, performance, WCET
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 unpredectible 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.
Document Type: text
File Description: application/pdf
Language: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5781
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5781
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-12-06/TR.pdf
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number: edsbas.A57B67D2
Database: BASE
Description
Abstract: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 unpredectible 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.