What makes industries believe in formal methods

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    10 Citations (Scopus)
    35 Downloads (Pure)

    Abstract

    The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The past has shown that efforts to introduce formal methods in industry has faced a lot of controversy and opposition at various hierarchical levels in companies, resulting in a marginal spread of such methods. This paper revisits the requirements for formal description techniques and identifies some critical success and inhibiting factors associated with the introduction of formal methods in the industrial practice. One of the inhibiting factors is the often encountered lack of appropriateness of the formal model to express and manipulate the design concerns that determine the world of the engineer. This factor motivated our research in the area of architectural and implementation design concepts. The last two sections of this paper report on some results of this research.
    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification XIII
    Subtitle of host publicationProceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII
    EditorsA.S. Danthine, G. Leduc, P. Wolper
    Place of PublicationAmsterdam
    PublisherNorth Holland
    Pages3-26
    Number of pages24
    ISBN (Print)0-444-81648-8
    Publication statusPublished - 1993
    EventIFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993 - Liege, Belgium
    Duration: 25 May 199328 May 1993
    Conference number: 13

    Publication series

    NameIFIP Transactions
    PublisherNorth-Holland
    VolumeC-16

    Conference

    ConferenceIFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993
    Abbreviated titlePSTV 1993
    CountryBelgium
    CityLiege
    Period25/05/9328/05/93

    Keywords

    • SCS-Services

    Fingerprint Dive into the research topics of 'What makes industries believe in formal methods'. Together they form a unique fingerprint.

  • Cite this

    Vissers, C. A., van Sinderen, M., & Ferreira Pires, L. (1993). What makes industries believe in formal methods. In A. S. Danthine, G. Leduc, & P. Wolper (Eds.), Protocol Specification, Testing and Verification XIII: Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII (pp. 3-26). (IFIP Transactions; Vol. C-16). Amsterdam: North Holland.