Information Technology Reference
In-Depth Information
Simulation-Based Development
of Safety Related Interlocks
Timo Veps alainen and Seppo Kuikka
Tampere University of Technology, Department of Automation Science and Engineering
P.O. Box 692, FIN-33101 Tampere, Finland
{ timo.vepsalainen,seppo.kuikka } @tut.fi
Abstract. Dynamic simulations could support in several ways the industrial au-
tomation and control systems development, including their interlocking func-
tions, which constitute an important and tedious part of the development. In this
paper, we present a tool-supported, automated approach for creating simulation
models of controlled systems and their interlocking functions based on UML AP
models of control systems and ModelicaML models of the systems to be con-
trolled. The purpose of the approach is to facilitate manual development work
related to model-based development of control systems and to enable early test-
ing and comparison of control and interlocking strategies. The tools and the tech-
niques are demonstrated with an example modelling project and the paper also
discusses extending the approach to verifiable safety systems including their se-
curity aspects.
Keywords: Model-based development, UML AP, Simulation, Industrial control,
Interlocks, Safety.
1
Introduction
Model-based development of software applications and systems has recently been the
topic of numerous publications in different application domains, including software en-
gineering and industrial control. Due to these interests, there already exist guidelines,
languages and tool sets for implementing such approaches. For example, Object Man-
agement Group (OMG) has pioneered in standardization of model-based development
approaches (Model-Driven Architecture, MDA) and languages for modelling (UML
and profiles e.g. SysML), metamodeling (Meta Object Facility, MOF) and transform-
ing (Query/View/Transformation, QVT) purposes. The modelling and transformation
languages are already mature and supported by different tool vendors on several plat-
forms, such as the open source Eclipse platform.
The idea of Model-Driven Architecture (MDA) and related approaches, e.g. Model-
Driven Development (MDD) and Model-Driven Software Development (MDSD) is to
use models (instead of documents) as primary engineering artefacts during the develop-
ment. In the systems engineering domain, Model-Based Systems Engineering (MBSE)
refers to applying models as part of the systems engineering process with the aim to
support analysis, specification, design and verification of the systems being developed
[5].
 
Search WWH ::




Custom Search