Title

Performance analysis using formal methods

Author

Christopher Jon Kappler, Syracuse University

Date of Award

1996

Degree Type

Dissertation

Degree Name

Doctor of Philosophy (PhD)

Department

Electrical Engineering and Computer Science

Advisor(s)

Kamal Jabbour

Keywords

labeled transition system, LOTOS, Computer science, Operations research, Electrical engineering

Subject Categories

Computer Engineering

Abstract

Enhancements are made to the labeled transition system LOTOS in order to map specifications to stochastic models. The results are formalized into an enhanced labeled transition system that retains all of the prior properties of the language, but permits performance predictions from specifications. Methods are discussed for an automated tool to generate and analyze stochastic models.

Access

Surface provides description only. Full text is available to ProQuest subscribers. Ask your Librarian for assistance.

Recommended Citation

Kappler, Christopher Jon, "Performance analysis using formal methods" (1996). Electrical Engineering and Computer Science - Dissertations. 244.
https://surface.syr.edu/eecs_etd/244

http://libezproxy.syr.edu/login?url=http://proquest.umi.com/pqdweb?did=740242991&sid=1&Fmt=2&clientId=3739&RQT=309&VName=PQD