Software development of safety functions in basic control systems: Application of matrix based specification with UML model based approach

Teemu Mätäsniemi, Timo Vepsäläinen, Seppo Kuikka

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

    Abstract

    The article represents a matrix based specification format as a functional requirements specification for deviation situation measures allocated to a basic control system. The deviation situations are studied and defined. By the aid of definitions, constraint control functions are introduced and the role of basic control system is assigned in the context of safety. The specification representation is integrated with UML model based approach to rationalize an application software development. The software development (AUKOTON development process) as a part of manufacturing system development is represented. In addition, this workflow is related to IEC 61508 overall safety lifecycle used in safety-related system development to show that the application development can benefit from more strict and model based development procedures.
    Original languageEnglish
    Title of host publicationSIAS 2010
    Subtitle of host publicationThe 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010
    Place of PublicationHelsinki
    Number of pages6
    Publication statusPublished - 2010
    MoE publication typeD3 Professional conference proceedings
    Event6th International Conference on Safety of Industrial Automation Systems, SIAS 2010 - Tampere, Finland
    Duration: 14 Jun 201015 Jun 2010
    Conference number: 6

    Conference

    Conference6th International Conference on Safety of Industrial Automation Systems, SIAS 2010
    Abbreviated titleSIAS 2010
    CountryFinland
    CityTampere
    Period14/06/1015/06/10

    Fingerprint

    Control system applications
    Software engineering
    Specifications
    Control systems
    Application programs

    Keywords

    • functional safety
    • basic control system
    • requirement specification
    • model based approach
    • UML

    Cite this

    Mätäsniemi, T., Vepsäläinen, T., & Kuikka, S. (2010). Software development of safety functions in basic control systems: Application of matrix based specification with UML model based approach. In SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 Helsinki.
    Mätäsniemi, Teemu ; Vepsäläinen, Timo ; Kuikka, Seppo. / Software development of safety functions in basic control systems : Application of matrix based specification with UML model based approach. SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010. Helsinki, 2010.
    @inproceedings{032820f693f74aebb0c36022e8414a1b,
    title = "Software development of safety functions in basic control systems: Application of matrix based specification with UML model based approach",
    abstract = "The article represents a matrix based specification format as a functional requirements specification for deviation situation measures allocated to a basic control system. The deviation situations are studied and defined. By the aid of definitions, constraint control functions are introduced and the role of basic control system is assigned in the context of safety. The specification representation is integrated with UML model based approach to rationalize an application software development. The software development (AUKOTON development process) as a part of manufacturing system development is represented. In addition, this workflow is related to IEC 61508 overall safety lifecycle used in safety-related system development to show that the application development can benefit from more strict and model based development procedures.",
    keywords = "functional safety, basic control system, requirement specification, model based approach, UML",
    author = "Teemu M{\"a}t{\"a}sniemi and Timo Veps{\"a}l{\"a}inen and Seppo Kuikka",
    note = "Project code: 26152",
    year = "2010",
    language = "English",
    isbn = "978-952-5183-40-5",
    booktitle = "SIAS 2010",

    }

    Mätäsniemi, T, Vepsäläinen, T & Kuikka, S 2010, Software development of safety functions in basic control systems: Application of matrix based specification with UML model based approach. in SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010. Helsinki, 6th International Conference on Safety of Industrial Automation Systems, SIAS 2010, Tampere, Finland, 14/06/10.

    Software development of safety functions in basic control systems : Application of matrix based specification with UML model based approach. / Mätäsniemi, Teemu; Vepsäläinen, Timo; Kuikka, Seppo.

    SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010. Helsinki, 2010.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

    TY - GEN

    T1 - Software development of safety functions in basic control systems

    T2 - Application of matrix based specification with UML model based approach

    AU - Mätäsniemi, Teemu

    AU - Vepsäläinen, Timo

    AU - Kuikka, Seppo

    N1 - Project code: 26152

    PY - 2010

    Y1 - 2010

    N2 - The article represents a matrix based specification format as a functional requirements specification for deviation situation measures allocated to a basic control system. The deviation situations are studied and defined. By the aid of definitions, constraint control functions are introduced and the role of basic control system is assigned in the context of safety. The specification representation is integrated with UML model based approach to rationalize an application software development. The software development (AUKOTON development process) as a part of manufacturing system development is represented. In addition, this workflow is related to IEC 61508 overall safety lifecycle used in safety-related system development to show that the application development can benefit from more strict and model based development procedures.

    AB - The article represents a matrix based specification format as a functional requirements specification for deviation situation measures allocated to a basic control system. The deviation situations are studied and defined. By the aid of definitions, constraint control functions are introduced and the role of basic control system is assigned in the context of safety. The specification representation is integrated with UML model based approach to rationalize an application software development. The software development (AUKOTON development process) as a part of manufacturing system development is represented. In addition, this workflow is related to IEC 61508 overall safety lifecycle used in safety-related system development to show that the application development can benefit from more strict and model based development procedures.

    KW - functional safety

    KW - basic control system

    KW - requirement specification

    KW - model based approach

    KW - UML

    M3 - Conference article in proceedings

    SN - 978-952-5183-40-5

    BT - SIAS 2010

    CY - Helsinki

    ER -

    Mätäsniemi T, Vepsäläinen T, Kuikka S. Software development of safety functions in basic control systems: Application of matrix based specification with UML model based approach. In SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010. Helsinki. 2010