Simple record

dc.contributor.authorIllarramendi, Miren
dc.contributor.authorEtxeberria, Leire
dc.contributor.otherRodríguez, Ricardo J.
dc.contributor.otherBenac Earle, Clara
dc.contributor.otherGomez Martinez, Elena
dc.date.accessioned2022-07-06T10:31:32Z
dc.date.available2022-07-06T10:31:32Z
dc.date.issued2018
dc.identifier.issn1748-006Xen
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=124059en
dc.identifier.urihttp://hdl.handle.net/20.500.11984/5630
dc.description.abstractThe verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed using safety contracts, in terms of assumptions and guarantees. To facilitate the adoption of formal methods in the safety-critical software industry, we propose a methodology based on well-known modelling languages such as the unified modelling language and object constraint language. The unified modelling language is used to model the software system while object constraint language is used to express the system safety contracts within the unified modelling language. In the proposed methodology a unified modelling language model enriched with object constraint language constraints is transformed to a Petri net model that enables us to formally verify such safety contracts. The methodology is evaluated on an industrial case study. The proposed approach allows an early safety verification to be performed, which increases the confidence of software engineers while designing the system.en
dc.description.sponsorshipComisión Europeaes
dc.description.sponsorshipGobierno de Españaes
dc.language.isoengen
dc.publisherSAGEen
dc.rights© 2018 SAGE Publicationsen
dc.subjectSafety analysisen
dc.subjectrail system safetyen
dc.subjectperformance modellingen
dc.subjectmodelling/simulationen
dc.subjectlife cycle engineeringen
dc.titleA methodology for model-based verification of safety contracts and performance requirementsen
dc.typeinfo:eu-repo/semantics/articleen
dcterms.accessRightsinfo:eu-repo/semantics/openAccessen
dcterms.sourceJournal of Risk and Reliability: Proceedings of the Institution of Mechanical Engineers, Part Oen
dc.description.versioninfo:eu-repo/semantics/acceptedVersionen
local.contributor.groupSistemas distribuidos de tiempo reales
local.description.peerreviewedtrueen
local.description.publicationfirstpage227en
local.description.publicationlastpage247en
local.identifier.doihttps://doi.org/10.1177/1748006X16667328en
local.relation.projectID.en
local.contributor.otherinstitutionUniversidad Politécnica de Madrides
local.contributor.otherinstitutionUniversidad de Zaragozaes
local.source.detailsVol. 232. Nº3. Pp. 227-247. June, 2018en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Simple record