Erregistro soila

dc.contributor.authorIllarramendi, Miren
dc.contributor.authorElkorobarrutia, Xabier
dc.contributor.authorEtxeberria, Leire
dc.contributor.authorSagardui, Goiuria
dc.date.accessioned2022-09-16T09:51:33Z
dc.date.available2022-09-16T09:51:33Z
dc.date.issued2017
dc.identifier.isbn9783319662831en
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=127398en
dc.identifier.urihttps://hdl.handle.net/20.500.11984/5676
dc.description.abstractDependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this paper, a framework for Statecharts based SW component development is presented. This framework called CRESC (C++ REflective StateCharts), in addition to assisting in transforming a Statechart model to code, uses reflection to make the model available at Run Time. Thus, the SW components can be monitored at Run Time in terms of model elements. Our framework helps the developer separate monitoring from functionality. Any monitoring strategy needed to increase dependability can be added independently from the functional part. The framework was implemented in C++ because this programming language, together with the Statechart formalism constitute widely used choices for the Safety Critical CPS domain.en
dc.description.sponsorshipGobierno Vasco-Eusko Jaurlaritzaes
dc.description.sponsorshipComisió Europeaes
dc.language.isoengen
dc.publisherSpringeren
dc.rights© 2017 Springer International Publishing AGen
dc.subjectFault Toleranceen
dc.subjectmonitoringen
dc.subjectStatechartsen
dc.subjectSafety-critical embedded systemsen
dc.subjectCyber Physical Systemsen
dc.subjectReflectionen
dc.subjectIntrospectionen
dc.titleIncreasing dependability in Safety Critical CPSs using Reflective Statechartsen
dcterms.accessRightshttp://purl.org/coar/access_right/c_abf2en
dcterms.sourceComputer Safety, Reliability, and Security. SAFECOMP 2017en
local.contributor.groupIngeniería del software y sistemases
local.description.peerreviewedtrueen
local.identifier.doihttps://doi.org/10.1007/978-3-319-66284-8_11en
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/GV/Elkartek 2016/KK-2016-00052/CAPV/Lantegi Adimendua-TICs para la Fábrica Inteligente-Smart Factory/LANA IIen
local.source.detailsEditors, S. Tonetta, E. Schoitsch, F. Bitsch. Lecture Notes in Computer Science. Vol. 10489. Springer, 2017en
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


Item honetako fitxategiak

Thumbnail

Item hau honako bilduma honetan/hauetan agertzen da

Erregistro soila