Registro sencillo

dc.contributor.authorIllarramendi, Miren
dc.contributor.authorEtxeberria, Leire
dc.contributor.authorLarrinaga, Felix
dc.contributor.authorSagardui, Goiuria
dc.date.accessioned2022-10-03T13:39:26Z
dc.date.available2022-10-03T13:39:26Z
dc.date.issued2020
dc.identifier.isbn978-1-7281-7735-9en
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=159764en
dc.identifier.urihttps://hdl.handle.net/20.500.11984/5711
dc.description.abstractSoftware Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a system satisfies a given property at runtime. This second technique complements the first one. This paper presents a tool that enables the developers to generate automatically reflective UML State Machine controllers and the Runtime Safety Properties Checker (RSPC) which checks a component-based software system's safety properties defined at design phase. We address embedded systems whose software components are designed by Unified Modelling Language-State Machines (UML-SM) and their internal information can be observed in terms of model elements at runtime. RESCO (REflective State Machines-based observable software COmponents) framework, generates software components that provide this runtime observability. The checker uses software components' internal status information to check system level safety properties. The checker detects when a system safety property is violated and starts a safe adaptation process to prevent the hazardous scenario. Thus, as demonstrated in the evaluated experiment but not shown in the paper due to the space limitation, the safety of the system is enhanced.en
dc.description.sponsorshipGobierno Vascoes
dc.description.sponsorshipComisión Europeaes
dc.description.sponsorshipGobierno de Españaes
dc.language.isoengen
dc.publisherIEEEen
dc.rights© 2020 IEEEen
dc.subjectSoftwareaen
dc.subjectRuntimeen
dc.subjectSafetyen
dc.subjectUnified modeling languageen
dc.subjectMonitoringen
dc.subjectAdaptation modelsen
dc.subjectHardwareen
dc.titleCRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checkeren
dcterms.accessRightshttp://purl.org/coar/access_right/c_abf2en
dcterms.source2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)en
local.contributor.groupIngeniería del software y sistemases
local.description.peerreviewedtrueen
local.description.publicationfirstpage25en
local.description.publicationlastpage30en
local.identifier.doihttps://doi.org/10.1109/ISSREW51248.2020.00032en
local.relation.projectIDinfo:eu-repo/grantAgreement/GV/Ikertalde Convocatoria 2019-2021/IT1326-19/CAPV/Ingeniería de Software y Sistemas/en
local.relation.projectIDinfo:eu-repo/grantAgreement/EC/H2020/737459/EU/Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycle/PRODUCTIVE4.0en
local.relation.projectIDinfo:eu-repo/grantAgreement/GE/Acciones de programación conjunta internacional, del programa Estatal de investigación, desarrollo e innovación orientada a los retos de la sociedad, del plan estatal de investigación científica y técnica y de innovación 2013-2016, convocatoria 2017/PCIN-2017-071/ES/Electrónica y TICs para facilitar la industria digital y optimizar la gestión de la cadena de Suministro cubriendo todo el ciclo de vida del producto/PRODUCTIVE 4.0en
local.source.detailsCoimbra. 12-15 octubre 2020. Pp. 25-30. IEEE, 2020en
oaire.format.mimetypeapplication/pdf
oaire.file$DSPACE\assetstore
oaire.resourceTypehttp://purl.org/coar/resource_type/c_c94fen
oaire.versionhttp://purl.org/coar/version/c_ab4af688f83e57aaen


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(es)

Registro sencillo