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

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.advisor Sierla, Seppo, Dr.
dc.contributor.author Papakonstantinou, Nikolaos
dc.date.accessioned 2012-11-27T09:30:08Z
dc.date.available 2012-11-27T09:30:08Z
dc.date.issued 2012
dc.identifier.isbn 978-952-60-4862-8 (electronic)
dc.identifier.isbn 978-952-60-4861-1 (printed)
dc.identifier.issn 1799-4942 (electronic)
dc.identifier.issn 1799-4934 (printed)
dc.identifier.issn 1799-4934 (ISSN-L)
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/6118
dc.description.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. en
dc.format.extent 154
dc.format.mimetype application/pdf
dc.language.iso en en
dc.publisher Aalto University en
dc.publisher Aalto-yliopisto fi
dc.relation.ispartofseries Aalto University publication series DOCTORAL DISSERTATIONS en
dc.relation.ispartofseries 148/2012
dc.relation.haspart [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.
dc.relation.haspart [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.
dc.relation.haspart [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.
dc.relation.haspart [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.
dc.relation.haspart [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).
dc.relation.haspart [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.
dc.relation.haspart [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.
dc.subject.other Automation en
dc.title System design and risk assessment for safety critical control software product lines en
dc.type G5 Artikkeliväitöskirja fi
dc.contributor.school Sähkötekniikan korkeakoulu fi
dc.contributor.school School of Electrical Engineering en
dc.contributor.department Automaatio- ja systeemitekniikan laitos fi
dc.contributor.department Department of Automation and Systems Technology en
dc.subject.keyword risk assessment en
dc.subject.keyword safety en
dc.subject.keyword fault propagation en
dc.subject.keyword functional modeling en
dc.subject.keyword design alternative en
dc.subject.keyword software product line en
dc.subject.keyword control software en
dc.subject.keyword PLCopen en
dc.subject.keyword IEC 61131-3 en
dc.identifier.urn URN:ISBN:978-952-60-4862-8
dc.type.dcmitype text en
dc.type.ontasot Doctoral dissertation (article-based) en
dc.type.ontasot Väitöskirja (artikkeli) fi
dc.contributor.supervisor Koskinen, Kari, Prof.
dc.opn Vogel-Heuser, Birgit, Prof., Technische Universität München (TUM), Germany
dc.rev Frey, Georg, Prof., Saarland University, Germany
dc.rev Hämäläinen, Jari, Dr., Valtion Teknillinen Tutkimuskeskus (VTT), Finland
dc.date.defence 2012-11-23


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse

My Account