Theses and Dissertations
Now showing items 1-3 of 3
Petri Net and Fault Tree analysis : combining two techniques for a software safety analysis on an embedded military application
(Monterey, California. Naval Postgraduate School, 1989-12)
Software safety ensures that software programs, which control complex systems, perform within certain limits without resulting in an unacceptable risk of an accident occurring. Petri Nets are used to model concurrent ...
The design and implementation of a syntax directed editor for the specification language Spec
(Monterey, California. Naval Postgraduate School, 1989-06)
The formal specification language Spec is used for writing black-box specifications for large software systems. These black-box specifications describe the interface beteen a system and its users, as well as internal ...
Specification of Mil-Standard 1553 bus protocol and application to EA-6B communications countermeasures
(Monterey, California. Naval Postgraduate School, 1989)
A model for the specification and analysis of communication protocols called Systems of Communicating Machines is used to describe and analyze a simplified version of the Mil- Standard 1553 bus protocol. The protocol ...
Branch Of Service
Lieutenant Commander, United States Navy (3)
Computer Science (3)