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 language | English |
---|---|
Title of host publication | SIAS 2010 |
Subtitle of host publication | The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 |
Place of Publication | Helsinki |
Publisher | Suomen automaatioseura |
Number of pages | 6 |
ISBN (Print) | 978-952-5183-40-5 |
Publication status | Published - 2010 |
MoE publication type | D3 Professional conference proceedings |
Event | 6th International Conference on Safety of Industrial Automation Systems, SIAS 2010 - Tampere, Finland Duration: 14 Jun 2010 → 15 Jun 2010 Conference number: 6 |
Conference
Conference | 6th International Conference on Safety of Industrial Automation Systems, SIAS 2010 |
---|---|
Abbreviated title | SIAS 2010 |
Country/Territory | Finland |
City | Tampere |
Period | 14/06/10 → 15/06/10 |
Keywords
- functional safety
- basic control system
- requirement specification
- model based approach
- UML