|
BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2014/41693
|
| Title: | Demand access protocol design and validation with SPIN |
| Authors: | Seguí, John S. |
| Keywords: | network protocols
validation
model checking |
| Issue Date: | 6-Mar-2008 |
| Publisher: | Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2008. |
| Citation: | IEEE Aerospace Conference, March 6, 2008, Big Sky, Montana. |
| Abstract: | In order for distributed systems to communicate reliably engineers standardize on communication rules (or protocols). Unforeseen behavior in communication
protocols can push faults up to applications resulting in uncontrollable systems and should not be tolerated. However, while most modern protocols undergo extensive testing, rigorous formal methods, such as model checking,are rarely used due to complexity and massive incomputable state spaces. |
| URI: | http://hdl.handle.net/2014/41693 |
| Appears in Collections: | JPL TRS 1992+
|
Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.
|
