Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


ucin975361359.pdf (2.66 MB)

ETD Abstract Container

Abstract Header

ActiveSPEC and ANSE Usage Environments in Orbit

Doumit, Sarjoun S.
http://rave.ohiolink.edu/etdc/view?acc_num=ucin975361359

Abstract Details

2000, MS, University of Cincinnati, Engineering : Computer Engineering.
This thesis proposes a CASE tool ACASE which is an integration of different techniques for the formal modeling and simulation of Active Networks. Active networks, proposed by DARPA, have revolutionized the traditional view of networks from a passive carrier of data into a more of a computational engine. Usage of formal methods for the specification and verification of such systems offers a high level of modular abstraction and early design error detection. Simulations also aid in the examination of complicated network scenarios and help shape a better understanding on systems that would, otherwise, prove very difficult to analyze. However the implementation of formal methods is hard even for experienced users especially in complex applications, thus, trends in rendering formal methods more transparent are presently emerging. This thesis offers a solution by offering a new and extensive tool that combines the ActiveSPEC formal specification framework and the ANSE simulation engine. ACASE isa high-level graphical user interface for the development (services, policies and protocols) and simulation of active networks.
Dr. Perry Alexander (Advisor)
107 p.
heterogeneous analysis and graphical; formalism for active networks

Recommended Citations

Citations

  • Doumit, S. S. (2000). ActiveSPEC and ANSE Usage Environments in Orbit [Master's thesis, University of Cincinnati]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=ucin975361359

    APA Style (7th edition)

  • Doumit, Sarjoun. ActiveSPEC and ANSE Usage Environments in Orbit. 2000. University of Cincinnati, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=ucin975361359.

    MLA Style (8th edition)

  • Doumit, Sarjoun. "ActiveSPEC and ANSE Usage Environments in Orbit." Master's thesis, University of Cincinnati, 2000. http://rave.ohiolink.edu/etdc/view?acc_num=ucin975361359

    Chicago Manual of Style (17th edition)

ucin975361359
839
© 2000, all rights reserved.
This open access ETD is published by University of Cincinnati and OhioLINK.