Systematic design of a network gateway using FDT LOTOS

Jeroen Schot, Jeroen Schot, L.F. Pires, Luis Ferreira Pires

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    63 Downloads (Pure)

    Abstract

    The design and partial implementation of a network gateway (an intermediate system) using the formal description technique (FDT) LOTOS are described. The requirements capturing process and the formalization process that results in an abstract and formal description of the gateway are described. This description is then refined through a series of functionality decomposition steps. It is claimed that the use of an FDT can improve the quality of the design and implementation, by allowing early evaluation of correctness of design steps.
    Original languageUndefined
    Title of host publicationProceedings of the Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM '91
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages1344-1352
    Number of pages9
    ISBN (Print)0-87942-694-2
    DOIs
    Publication statusPublished - 1991
    Event10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991: Networking in the 90s - Bal Harbour, United States
    Duration: 7 Apr 199111 Apr 1991
    Conference number: 10

    Publication series

    Name
    PublisherIEEE
    Volume3

    Conference

    Conference10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991
    Abbreviated titleINFOCOM
    CountryUnited States
    CityBal Harbour
    Period7/04/9111/04/91

    Keywords

    • EWI-7021
    • METIS-119499
    • IR-18977
    • SCS-Services

    Cite this