System design and risk assessment for safety critical control software product lines

Loading...
Thumbnail Image
Journal Title
Journal ISSN
Volume Title
School of Electrical Engineering | Doctoral thesis (article-based) | Defence date: 2012-11-23
Checking the digitized thesis and permission for publishing
Instructions for the author
Date
2012
Major/Subject
Mcode
Degree programme
Language
en
Pages
154
Series
Aalto University publication series DOCTORAL DISSERTATIONS, 148/2012
Abstract
A methodology is presented for the design of safety critical product lines for control automation software. The functional failure identification and propagation risk assessment method is used in the early design phase of the mechatronic system. The applied methodology starts with the decomposition of the system into functions that are connected by energy, material and signal flows. This results in a functional model that does not make any assumptions on what components are used to realize the functions. The functions are mapped to mechatronic components in a model that can be simulated: the configuration flow graph. Functional failure logic is executed in parallel to the simulation to monitor the simulation signals and to determine the health of each function. The functional health results of the simulation, when critical events are injected, are used to identify the propagation of functional failures. Alternative designs that are described with a feature model, combinations of component parameter values and changes in the critical event scenario can be simulated. System designs that result in undesirable behavior are rejected. The purpose is to identify risks and to determine mechatronic designs with adequate safety characteristics before the design process branches into software, electrical and mechanical domains. The final deliverable of the mechatronic system design phase is a feature model capturing the design alternatives with acceptable safety characteristics. The aspect of this model containing software is the starting point for software product line engineering. In control automation, programmable logic controller targets are used, so a methodology and toolchain for supporting software product line configuration for such platforms has been developed using the PLCopen standard. Two case studies are used to demonstrate the methodology: a boiling water reactor, with a focus on reactor coolant pumps, and a mobile elevating work platform.
Description
Supervising professor
Koskinen, Kari, Prof.
Thesis advisor
Sierla, Seppo, Dr.
Keywords
risk assessment, safety, fault propagation, functional modeling, design alternative, software product line, control software, PLCopen, IEC 61131-3
Other note
Parts
  • [Publication 1]: Nikolaos Papakonstantinou, Seppo Sierla, Jarmo Alanen, Kari Koskinen: Reducing Redesign of Safety Critical Control Systems by Early Risk Assessment, IEEE INDustrial INformatics (INDIN) conference, July 13-16, 2010, Osaka, Japan. 6 pages.
  • [Publication 2]: Nikolaos Papakonstantinou, Seppo Sierla, David Jensen, Irem Tumer: Capturing interactions and emergent failure behavior in complex engineered systems at multiple scales, ASME 2011 International Design Engineering Technical Conferences (IDETC) and Computers and Information in Engineering Conference (CIE), August 28-31, 2011, Washington, DC, USA. 10 pages.
  • [Publication 3]: Nikolaos Papakonstantinou, Seppo Sierla, Kari Koskinen: Object oriented extensions of IEC 61131-3 as an enabling technology of software product lines, IEEE Emerging Technologies in Factory Automation (ETFA) conference, September 5-9, 2011, Toulouse, France. 8 pages.
  • [Publication 4]: Nikolaos Papakonstantinou, Seppo Sierla, Kari Koskinen: Generating and validating product instances in IEC 61131-3 from feature models, IEEE Emerging Technologies in Factory Automation (ETFA) conference, September 5-9, 2011, Toulouse, France. 8 pages.
  • [Publication 5]: Seppo Sierla, Irem Tumer, Nikolaos Papakonstantinou, Kari Koskinen, David Jensen: Early integration of safety to the mechatronic system design process by the functional failure identification and propagation framework, MECHATRONICS international journal, 2012. 22(2): P. 137-151, doi:10.1016/j.mechatronics.2012.01.003. 26 pages (before final layout).
  • [Publication 6]: Nikolaos Papakonstantinou, Seppo Sierla: Early Phase Fault Propagation Analysis of Safety Critical Factory Automation Systems, IEEE INDustrial INformatics (INDIN) conference, July 25-27, 2012, Beijing, China. 6 pages.
  • [Publication 7]: Nikolaos Papakonstantinou, Seppo Sierla, Irem Tumer, David Jensen: Using fault propagation analyses for early elimination of unreliable design alternatives of complex cyber-physical systems, ASME 2012 International Design Engineering Technical Conferences (IDETC) and Computers and Information in Engineering Conference (CIE), August 12-15, 2012, Chicago, IL, USA. 9 pages.
Citation