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