Name
Title | ||
|---|---|---|
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study |
Abstract | ||
|---|---|---|
We describe our experience using Formal Description Techniques (FDTs) to support the design of interception systems for GSM networks. Both the GSM protocol and the interceptor have been specified using LOTOS, an FDT standardized by the International Standardization Organization (ISO) to describe communication systems and protocols. This has permitted us to asses the feasibility of the proposed system and speed up further design phases. From the LOTOS model, a simulator has been generated automatically. The TOPO tool set was used across the process. An FTP link to a package containing the specification and the simulator is provided. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1007/3-540-45251-6_25 | FME |
Keywords | Field | DocType |
lotos model,international standardization organization,design phase,working prototype,complex specifications,protocol engineering case study,gsm network,communication system,proposed system,interception system,formal description techniques,topo tool set,gsm protocol | Abstract data type,File Transfer Protocol,GSM,Mobile station,Computer science,Communications system,Systems design,Formal methods,Standardization,Embedded system | Conference |
ISBN | Citations | PageRank |
3-540-41791-5 | 4 | 2.01 |
References | Authors | |
19 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Manuel J. Fernández Iglesias | 1 | 28 | 14.58 |
| Francisco J. González-Castaño | 2 | 167 | 31.27 |
| José M. Pousada Carballo | 3 | 8 | 3.21 |
| Martín Llamas Nistal | 4 | 108 | 35.60 |
| Alberto Romero Feijoo | 5 | 4 | 2.01 |