mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards cloud-based enactment of safety-related processes
Newcastle University, Newcastle upon Tyne, United Kingdom .
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7382-8437
Newcastle University, Newcastle upon Tyne, United Kingdom .
Show others and affiliations
2016 (English)In: Lecture Notes in Computer Science, vol. 9922, 2016, 309-321 p.Conference paper, Published paper (Refereed)
Abstract [en]

Engineering safety-critical systems is a complex task which involves multiple stakeholders. It requires shared and scalable computation to systematically involve geographically distributed teams. The paper proposes a model-driven cloud-based enactment architecture automating safety-critical processes. This work adapts our previous work on cloud-based software engineering by enriching the architecture with an automatic support for generation of both, product-based safety arguments from failure logic analysis results and process-based arguments from the process model and the enactment data. The approach is demonstrated using a fragment of a process adapted from the aerospace domain. 

Place, publisher, year, edition, pages
2016. 309-321 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9922
Keyword [en]
Argumentation, Cloud computing, Safety process enactment, Computation theory, Computer architecture, Distributed computer systems, Safety factor, Software engineering, Systems analysis, Aerospace domain, Engineering safety, Geographically distributed teams, Multiple stakeholders, Process Modeling, Safety arguments, Safety process, Safety engineering
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-33352DOI: 10.1007/978-3-319-45477-1_24Scopus ID: 2-s2.0-84988649460ISBN: 9783319454764 (print)OAI: oai:DiVA.org:mdh-33352DiVA: diva2:1033401
Conference
35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016; Trondheim; Norway; 21 September 2016 through 23 September 2016
Available from: 2016-10-06 Created: 2016-10-06 Last updated: 2016-10-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Gallina, BarbaraSljivo, IrfanIsberg, Petter
By organisation
Embedded SystemsMälardalen University
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 18 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf