A general purpose State Architecture Simulator for discrete systems with application in data communication protocols

dc.contributor.author Ip, Lap-Kin
dc.contributor.department Electrical and Computer Engineering
dc.date 2018-08-15T04:32:14.000
dc.date.accessioned 2020-07-02T06:06:22Z
dc.date.available 2020-07-02T06:06:22Z
dc.date.copyright Fri Jan 01 00:00:00 UTC 1982
dc.date.issued 1982
dc.description.abstract <p>The increasing practical importance of data communications and computer networking has generated a noticeable amount of research on formal methods to support the design, specification, validation, simulation, and implementation of data communication protocol systems;This dissertation presents a language, namely State Architecture Notation (SAN), for specifying models of protocol systems and describes an important companion simulation tool, namely, the State Architecture Simulator (SAS);The syntax and the semantics of SAN are presented. Protocol systems are modelled by specifying an interconnection of the nine basic components defined in SAN: finite-state machine (FSM), pulsed combinational function (CFP), static combinational function (CFS), pulsed delay (DELP), static delay (DELS), queue (QUE), derivative (DER), clock (CLK), and environment (ENV);The design and the implementation of SAS are described. SAS contains two PASCAL programs and a VAX command language procedure that compiles, executes, and reports on simulations of user supplied SAN specifications of protocol systems. SAS is an interactive event driven system allowing users to examine the system status, to assign inputs, and to save system status at a terminal;The operational steps involved in creating and running a SAS executable simulated system from the SAN model are described. Several simulation models, including the start-stop protocol and a sub-system of the ADCCP protocol, were run. The simulation experience demonstrates that the SAN and the SAS are useful tools in protocol design;The evaluation of SAN and SAS is presented along with some suggestions of ways that SAN and SAS can be improved.</p>
dc.format.mimetype application/pdf
dc.identifier archive/lib.dr.iastate.edu/rtd/8355/
dc.identifier.articleid 9354
dc.identifier.contextkey 6333707
dc.identifier.doi https://doi.org/10.31274/rtd-180813-7961
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath rtd/8355
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/81334
dc.language.iso en
dc.source.bitstream archive/lib.dr.iastate.edu/rtd/8355/r_8307758.pdf|||Sat Jan 15 02:10:16 UTC 2022
dc.subject.disciplines Electrical and Electronics
dc.subject.keywords Electrical engineering (Computer engineering)
dc.subject.keywords Electrical engineering
dc.subject.keywords Computer engineering
dc.title A general purpose State Architecture Simulator for discrete systems with application in data communication protocols
dc.type article
dc.type.genre dissertation
dspace.entity.type Publication
relation.isOrgUnitOfPublication a75a044c-d11e-44cd-af4f-dab1d83339ff
thesis.degree.level dissertation
thesis.degree.name Doctor of Philosophy
File
Original bundle
Now showing 1 - 1 of 1
Name:
r_8307758.pdf
Size:
4.09 MB
Format:
Adobe Portable Document Format
Description: