Automatic Generation of UML Profiles for Representing Safety Standards

Giovanni Giachetti, Beatriz Marin, Jose Luis De La Vara

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Assessing and certifying the functional safety of the software of critical systems is of paramount importance, since any failure might produce significant costs as well as harm to people. Some common examples of critical systems are transport vehicles (trains, airplanes, cars..), medical devices, and critical infrastructures (nuclear plants, oil platforms..). Safety certification intends to reduce the risk of failure to an acceptable level in compliance with standards. IEC 61508 is a reference safety standard whose use is specialized in some domains, such ISO 26262 for automotive and EN 50128 for railway. For applying these standards, the use of Model-Driven approaches based on UML Profiles is a suitable alternative. However, UML profiles are usually manually defined, which is a highly time-consuming task and error-prone. In addition, manually defined UML profiles are difficult to validate in relation to the reference standards and to the coverage of safety concepts. This paper presents the adaptation of an existing approach for automatic UML Profile generation to support the generation of UML Profiles for safety specifications that are based on IEC 61508. As a result, it is possible to reduce the time and errors that are common in a manual specification of safety UML Profiles.

Original languageEnglish
Title of host publication2020 39th International Conference of the Chilean Computer Science Society, SCCC 2020
PublisherIEEE Computer Society
ISBN (Electronic)9781728183282
DOIs
Publication statusPublished - 16 Nov 2020
Externally publishedYes
Event39th International Conference of the Chilean Computer Science Society, SCCC 2020 - Coquimbo, Chile
Duration: 16 Nov 202020 Nov 2020

Publication series

NameProceedings - International Conference of the Chilean Computer Science Society, SCCC
Volume2020-November
ISSN (Print)1522-4902

Conference

Conference39th International Conference of the Chilean Computer Science Society, SCCC 2020
Country/TerritoryChile
CityCoquimbo
Period16/11/2020/11/20

Keywords

  • Critical System
  • Metamodel
  • Safety
  • UML Profile

ASJC Scopus subject areas

  • Engineering(all)
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Automatic Generation of UML Profiles for Representing Safety Standards'. Together they form a unique fingerprint.

Cite this