Title

Performance analysis using formal methods

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.

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