Texas Tech University, Department of Computer Science
TTU Home Whitacre College of Engineering Computer Science Research
Research Experiences for Undergraduates (REU) Past Participation Benjamin Horne

Benjamin Horne


Extensions to the Descartes Specification Language for the Development of Real-time Object Oriented Systems


Traditionally, real-time system software focuses on low-level programming techniques to increase timeliness and operate within constraints; however, more recently higher-level, object-oriented methodologies are being used to create real-time system software. This increase in object-oriented design for real-time systems is due to the improved use of active objects and concurrency in object-oriented languages. Real-time aspects have not only improved in many programming languages, but these real-time constraints are becoming more essential in general object-oriented software development. Consequently, the specification of real-time object-oriented systems is becoming vastly important in today's software development processes. One of the many tools used to specify software is an executable specification language called Descartes. Descartes relates output data to input data as a function of the input data through a tree structure notation called "Hoare trees." This useful specification structure has been extended and supported for several types of systems since the language's creation in 1977. In particular, Descartes has been extended for the specification of real-time systems and for object-oriented designed systems. In spite of this, the combination of the two extensions for specification of today's widespread real-time object oriented (RTOO) systems has not been tested. Thus, the main objective of this research effort was to verify that the combination of the two Descartes extensions either satisfied the needed specification for RTOO systems or that the language needed to be additionally extended. To gain further verification of these united Descartes extensions, the Unified Modeling Language (UML) has been used for comparison in aspects of design and effectiveness.


Benjamin Horne - Poster