Loading...
Please wait, while we are loading the content...
Similar Documents
Modelling a Telephone Switching System for Veriication
| Content Provider | Semantic Scholar |
|---|---|
| Author | Reii, Stephan Calder, Muuy |
| Copyright Year | 1999 |
| Abstract | After identifying the general structure of a POTS (Plain Old Telephone System) Switching System we model individual components as communicating-nite state machines. Formulating the nite state machines in Promela (Process Meta Language) allows us to verify general and speciic properties of the model using the model-checker Spin. Modelling operational systems imposes design decisions, which we will consider in the appropriate context. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.dcs.gla.ac.uk/~sreiff/publications/tr-1999-38.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |