Published Articles >> Table of Contents >> Abstract

7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems   p. 110
On the Design of ORBIT
Murali Rangarajan, University of Cincinnati
Iqbal Mutabanna, University of Cincinnati
Darryl D. Dieckman, University of Cincinnati
Badar Farooqi, University of Cincinnati
Amitvikram Rajkhowa, University of Cincinnati
Sarjoun Doumit, University of Cincinnati
Arun Venkataraman, University of Cincinnati
Cindy Kong, University of Cincinnati
Roshan Kamath, University of Cincinnati
Perry Alexander, University of Cincinnati
Nael Abu-Ghazaleh, State University of New York at Binghamton

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839868
Send link to a friend

Abstract
Design of highly complex systems relies on effective utilization of multiple tools. The tools vary with the aspect of the design the user is currently interested in. Also, the approaches used to verify the correctness of the design are different for different domains. Because of the importance of verifying the correctness of the design, there is considerable interest in utilizing the different approaches and tools in a complementary manner to provide higher degrees of assurance. Unfortunately, due to constraints on the model representations and incompatibilities among the various tools, heterogeneous design and analysis is not feasible. The Orbit project was envisaged to address this problem.Orbit is a heterogeneous, component-based design and analysis environment. This paper presents the original requirements of this environment, details the various design decisions taken towards satisfying the requirements, and presents an overview of the implementation. In particular, it discusses the generic framework used (Gravity), the integration of simulation and formal verification within the design process, automatic generation of proof obligations for checking designs, verification of constraints in the designs and work on re-usability using persistent storage.
Back to Top Additional Information
Index Terms- Heterogeneous tool integration, design environment, hierarchical design, analysis of designs Citation:  Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael Abu-Ghazaleh, "On the Design of ORBIT," ecbs, p. 110,  7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems,  2000