Efficient transient analysis of a class of compositional fluid stochastic petri nets

Simple item page
dc.citation.epage302en_US
dc.citation.spage291en_US
dc.contributor.authorBuchholz, P.en_US
dc.contributor.authorDayar, Tuğrulen_US
dc.coverage.spatialLuxembourg City, Luxembourgen_US
dc.date.accessioned2019-02-21T16:04:18Z
dc.date.available2019-02-21T16:04:18Z
dc.date.issued2018en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionDate of Conference: 25-28 June 2018en_US
dc.description.abstractFluid Stochastic Petri Nets (FSPNs) which have discrete and continuous places are an established model class to describe and analyze several dependability problems for computer systems, software architectures or critical infrastructures. Unfortunately, their analysis is faced with the curse of dimensionality resulting in very large systems of differential equations for a sufficiently accurate analysis. This contribution introduces a class of FSPNs with a compositional structure and shows how the underlying stochastic process can be described by a set of coupled partial differential equations. Using semi discretization, a set of linear ordinary differential equations is generated which can be described by a (hierarchical) sum of Kronecker products. Based on this compact representation of the transition matrix, a numerical solution approach is applied which also represents transient solution vectors in compact form using the recently developed concept of a Hierarchical Tucker Decomposition. The applicability of the approach is presented in a case study analyzing a degrading software system with rejuvenation, restart, and replication.
dc.description.provenanceMade available in DSpace on 2019-02-21T16:04:18Z (GMT). No. of bitstreams: 1 Bilkent-research-paper.pdf: 222869 bytes, checksum: 842af2b9bd649e7f548593affdbafbb3 (MD5) Previous issue date: 2018en
dc.identifier.doi10.1109/DSN.2018.00039
dc.identifier.isbn9781538655955
dc.identifier.urihttp://hdl.handle.net/11693/50175
dc.language.isoEnglish
dc.publisherIEEEen_US
dc.relation.isversionofhttps://doi.org/10.1109/DSN.2018.00039
dc.source.title2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)en_US
dc.subjectData Structuresen_US
dc.subjectFlui Stochastic Petri Netsen_US
dc.subjectHybrid Stochastic Modelsen_US
dc.subjectNumerical Algorithmsen_US
dc.subjectPerformance and Dependability Analysisen_US
dc.titleEfficient transient analysis of a class of compositional fluid stochastic petri netsen_US
dc.typeConference Paperen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Efficient_transient_analysis_of_a_class_of.pdf
Size:
423.75 KB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Scholarly Publications - Computer Engineering