• DocumentCode
    3413483
  • Title

    An Approach to Ambiguity Analysis in Safety-Related Standards

  • Author

    Biscoglio, Isabella ; Coco, Alessandro ; Fusani, Mario ; Gnesi, Stefania ; Trentanni, Gianluca

  • Author_Institution
    Formal Methods Lab., ISTI-CNR, Pisa, Italy
  • fYear
    2010
  • fDate
    Sept. 29 2010-Oct. 2 2010
  • Firstpage
    461
  • Lastpage
    466
  • Abstract
    Standards for systems and software lifecycle processes have become rather popular in the last decade. Being expressed in natural language, their requirements, or clauses, are exposed to the risk of ambiguity, vagueness and subjectivity, even when safety of people and environment is the Standard´s main concern. The paper addresses some issues of this problem and presents an experimental approach to the determination and evaluation of a set of properties of the clauses, which capture the notion of the quality of their expressions. The approach adopts a rather intuitive quality model for the English language and includes the use of a tool for sentence processing. Results of a descriptive analysis of some well-known, safety-related Standards for different software application domains are shown and discussed.
  • Keywords
    natural languages; safety-critical software; software standards; English language; ambiguity analysis; intuitive quality model; natural language; safety related standard; sentence processing; software lifecycle process; Analysis of variance; Analytical models; Correlation; Dictionaries; IEC standards; Software; Quality; natural language analysis; standardization; standards;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quality of Information and Communications Technology (QUATIC), 2010 Seventh International Conference on the
  • Conference_Location
    Porto
  • Print_ISBN
    978-1-4244-8539-0
  • Electronic_ISBN
    978-0-7695-4241-6
  • Type

    conf

  • DOI
    10.1109/QUATIC.2010.83
  • Filename
    5656412