Protocols specification and validation for the movement of Grades 2 and 3 Bitstream data through the Virtual Channel Link Control layer of the return link of the CCSDS Principal Network (CPN)

Simple item page
dc.contributor.authorNguyen, Quoc Theen
dc.contributor.departmentElectrical Engineeringen
dc.date.accessioned2014-03-14T21:38:28Zen
dc.date.adate2010-06-12en
dc.date.available2014-03-14T21:38:28Zen
dc.date.issued1989en
dc.date.rdate2010-06-12en
dc.date.sdate2010-06-12en
dc.description.abstractSpecification of data communication protocols requirements requires a formal approach to ensure that the requirements are correctly and unambiguously specified. This research examines a proposed protocols specification for the movement of bitstream data through space segment by applying a formal definition technique known as the Language of Temporal Ordering System (LOTOS). Successful generation of the LOTOS specification to detail sequence of events and their internal structures in an implementation independent manner clarifies the requirements and provides a framework from which possible cases or events in each process can be tested. In addition, a LOTOS software tool called HIPPO is used in the research. HIPPO identifies any deadlock that could happen in the protocols and allows sequence of events to be interactively simulated to ascertain of the specification consistency.en
dc.description.degreeMaster of Scienceen
dc.format.extentvi, 127 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-06122010-020641en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-06122010-020641/en
dc.identifier.urihttp://hdl.handle.net/10919/43293en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V855_1989.N487.pdfen
dc.relation.isformatofOCLC# 20010299en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V855 1989.N487en
dc.subject.lcshComputer simulationen
dc.subject.lcshMathematical modelsen
dc.titleProtocols specification and validation for the movement of Grades 2 and 3 Bitstream data through the Virtual Channel Link Control layer of the return link of the CCSDS Principal Network (CPN)en
dc.typeThesisen
dc.type.dcmitypeTexten
thesis.degree.disciplineElectrical Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V855_1989.N487.pdf
Size:
3.31 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Masters Theses