Dissertation Content as PDF Files

Kevin L. Mills, Ph.D.

George Mason University, 1995

Dissertation Director: Dr. Hassan Gomaa

This dissertation proposes, investigates, and evaluates a method for generating concurrent designs for real-time software, given a flow graph model of system behavior. The proposed method assumes that a designer depicts system behavior through data/control flow diagrams, using the notation defined for Real-Time Structured Analysis, or RTSA. The proposed method encodes knowledge from a behavioral modeling approach, known as Concurrent Object-Based Real-Time Analysis, or COBRA, and from a design method, known as COncurrent Design Approach for Real-Time Systems, or CODARTS. The encoded knowledge leads directly to an automated assistant for designers of concurrent software.

The dissertation is presented in Adobe Portable Document Format (PDF) files, using Version 3.01. A free PDF reader is available for download from Adobe. Download Free Adobe Acrobat Reader

    File Name         Date      Description



 Title.pdf         05/24/98  Title Page 

 Copyright.pdf     05/24/98  Required Copyright Page 

 Acknowledgment.p  05/24/98  Acknowledgments 

 TOC.pdf           05/24/98  Table of Contents 

 Tables.pdf        05/24/98  List of Tables 

 Figures.pdf       05/24/98  List of Figures 

 Abstract.pdf      05/24/98  Abstract 

 Chapter 1.pdf     05/24/98  Introduction 

 Chapter 2.pdf     05/24/98  Approaches to Software Design 

 Chapter 3.pdf     05/24/98  Overview of Research 

 Chapter 4.pdf     05/24/98  A Meta-Model for Specifications 

 Chapter 5.pdf     05/24/98  A Meta-Model for Concurrent Designs 

 Chapter 6.pdf     05/24/98  Task Structuring 

 Chapter 7.pdf     05/24/98  Task Interface Definition 

 Chapter 8.pdf     05/24/98  Module Structuring 

 Chapter 9.pdf     05/24/98  Task and Module Integration 

 Chapter 10.pdf    05/24/98  A Prototype COncurrent Designer's Assistant 

 Chapter 11.pdf    05/24/98  Evaluation 

 Chapter 12.pdf    05/24/98  Contrbutions and Future Research 

 References.pdf    05/24/98  References 

 Appendix A.pdf    05/24/98  Axioms and Classification Rules for the Specification Meta-Model 

 Appendix B.pdf    05/24/98  Automobile Cruise Control and Monitoring System Case Study 

 Appendix C.pdf    05/24/98  Robot Controller System Case Study 

 Appendix D.pdf    05/24/98  Elevator Control System Case Study 

 Appendix E.pdf    05/24/98  Remote Temperature Sensor Case Study 

 Appendix F.pdf    05/24/98  Index of Terms 

 CV.pdf            05/24/98  Curriculum Vitae