Logical validation of safety and control system specifications against plant models

J.R. Taylor

    Research output: Book/ReportReportResearch

    58 Downloads (Pure)

    Abstract

    Testing of computer based control systems is difficult, especially because of the problem of errors in specifications. By testing software in conjunction with a model of a plant, this problem can be overcome to a large extent. By extending this idea to an abstract domain, in which tests are performed symbolically, whole classes of errors can be discovered with each test. The paper describes the basic theory for such testing.
    Original languageEnglish
    Place of PublicationRoskilde, Denmark
    PublisherRisø National Laboratory
    Number of pages23
    ISBN (Print)87-550-0767-8
    Publication statusPublished - 1981
    SeriesRisø-M
    Number2292
    ISSN0418-6435

    Keywords

    • Risø-M-2292

    Fingerprint

    Dive into the research topics of 'Logical validation of safety and control system specifications against plant models'. Together they form a unique fingerprint.

    Cite this