{"id":"https://openalex.org/W2043547951","doi":"https://doi.org/10.1109/icsmc.2006.384583","title":"Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems","display_name":"Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems","publication_year":2006,"publication_date":"2006-10-01","ids":{"openalex":"https://openalex.org/W2043547951","doi":"https://doi.org/10.1109/icsmc.2006.384583","mag":"2043547951"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2006.384583","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2006.384583","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International Conference on Systems, Man and Cybernetics","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102941027","display_name":"S\u00e9rgio Fernandes","orcid":"https://orcid.org/0000-0002-5922-4119"},"institutions":[{"id":"https://openalex.org/I221977067","display_name":"Universidade Cat\u00f3lica de Pernambuco","ror":"https://ror.org/02ktfmz27","country_code":"BR","type":"education","lineage":["https://openalex.org/I221977067"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Sergio Murilo Maciel Fernandes","raw_affiliation_strings":["Departamento de Estatistica, Informatica da Universidade Cat\u00f3lica de Pernambuco, Brazil","Departamento de Estat\u00edstica e Inform\u00e1tica da Universidade Cat\u00f3lica de Pernambuco, Rua do Pr\u00edncipe, 526 - Boa Vista - Recife - PE - Brasil, CEP: 50050-900. e-mail: smmf@dei.unicap.br, smmf@cin.ufpe.br"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Estatistica, Informatica da Universidade Cat\u00f3lica de Pernambuco, Brazil","institution_ids":["https://openalex.org/I221977067"]},{"raw_affiliation_string":"Departamento de Estat\u00edstica e Inform\u00e1tica da Universidade Cat\u00f3lica de Pernambuco, Rua do Pr\u00edncipe, 526 - Boa Vista - Recife - PE - Brasil, CEP: 50050-900. e-mail: smmf@dei.unicap.br, smmf@cin.ufpe.br","institution_ids":["https://openalex.org/I221977067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108071751","display_name":"Paulo Romero Martins Maciel","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Paulo Romero Martins Maciel","raw_affiliation_strings":["Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","Centro de Inform\u00e1tica da Universidade Federal de Pernambuco, Av. Prof. Luiz Freire s/n Cidade Universit\u00e1ria-Recife-PE-Brasl, CEP: 50740: 540. e-mail: prmm@cin.ufpe.br"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"Centro de Inform\u00e1tica da Universidade Federal de Pernambuco, Av. Prof. Luiz Freire s/n Cidade Universit\u00e1ria-Recife-PE-Brasl, CEP: 50740: 540. e-mail: prmm@cin.ufpe.br","institution_ids":["https://openalex.org/I25112270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.12197924,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3098","issue":null,"first_page":"3046","last_page":"3051"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reliability-block-diagram","display_name":"Reliability block diagram","score":0.8923000693321228},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8361345529556274},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7744535207748413},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6948614120483398},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.6354314684867859},{"id":"https://openalex.org/keywords/mean-time-between-failures","display_name":"Mean time between failures","score":0.5998871326446533},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.5051138997077942},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4831506609916687},{"id":"https://openalex.org/keywords/spare-part","display_name":"Spare part","score":0.4645412266254425},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4424894452095032},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4312889575958252},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.31303471326828003},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2702036499977112},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.19013109803199768},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1741677224636078},{"id":"https://openalex.org/keywords/failure-rate","display_name":"Failure rate","score":0.14086386561393738},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12109929323196411},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07891926169395447}],"concepts":[{"id":"https://openalex.org/C18074226","wikidata":"https://www.wikidata.org/wiki/Q7310986","display_name":"Reliability block diagram","level":3,"score":0.8923000693321228},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8361345529556274},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7744535207748413},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6948614120483398},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6354314684867859},{"id":"https://openalex.org/C44154001","wikidata":"https://www.wikidata.org/wiki/Q754940","display_name":"Mean time between failures","level":3,"score":0.5998871326446533},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5051138997077942},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4831506609916687},{"id":"https://openalex.org/C194648553","wikidata":"https://www.wikidata.org/wiki/Q1364774","display_name":"Spare part","level":2,"score":0.4645412266254425},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4424894452095032},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4312889575958252},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.31303471326828003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2702036499977112},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.19013109803199768},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1741677224636078},{"id":"https://openalex.org/C163164238","wikidata":"https://www.wikidata.org/wiki/Q2737027","display_name":"Failure rate","level":2,"score":0.14086386561393738},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12109929323196411},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07891926169395447},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2006.384583","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2006.384583","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International Conference on Systems, Man and Cybernetics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W173671907","https://openalex.org/W243885938","https://openalex.org/W1482907704","https://openalex.org/W1487954903","https://openalex.org/W1537624148","https://openalex.org/W1564663826","https://openalex.org/W1573592400","https://openalex.org/W1986755980","https://openalex.org/W1996480057","https://openalex.org/W2060840612","https://openalex.org/W2154055315","https://openalex.org/W2160374010","https://openalex.org/W2167220269","https://openalex.org/W2170424585","https://openalex.org/W2312852230","https://openalex.org/W2952753488","https://openalex.org/W3022542175","https://openalex.org/W4237138370","https://openalex.org/W4301097167","https://openalex.org/W6634236835"],"related_works":["https://openalex.org/W1797240884","https://openalex.org/W2060491952","https://openalex.org/W2120659790","https://openalex.org/W2977600493","https://openalex.org/W2160453313","https://openalex.org/W2382253530","https://openalex.org/W2023383111","https://openalex.org/W2012057464","https://openalex.org/W2058732996","https://openalex.org/W2922565795"],"abstract_inverted_index":{"In":[0],"this":[1],"study":[2,191],"we":[3],"focus":[4],"on":[5,122,132],"the":[6,36,106,133,187,206],"specification":[7,45],"and":[8,13,21,52,60,74,78,82,94,118,142,151,200],"evaluation":[9,146],"of":[10,24,50,84,108,147,164,169],"parameterized":[11,65,103,113],"generalized":[12],"stochastic":[14],"Petri":[15],"net":[16],"(GSPN)":[17],"models":[18,115,125],"for":[19],"reliability":[20],"safety":[22],"estimates":[23,201],"embedded":[25,28],"systems.":[26],"The":[27,102,112],"system":[29,44,196],"to":[30,91,97,193],"be":[31,70,160],"modeled":[32],"is":[33,48,198],"specified":[34],"using":[35],"extended":[37],"dependability":[38],"block":[39,124],"diagram":[40],"(EDBD),":[41],"a":[42,180,183,189,194],"high-level":[43,109],"model,":[46],"which":[47,204],"composed":[49],"several":[51],"diverse":[53],"blocks:":[54],"functional,":[55],"decision,":[56],"standby":[57],"spare,":[58],"multiple":[59],"subsystem.":[61],"For":[62],"each":[63],"block,":[64],"GSPN":[66,114,184],"model":[67],"parameters":[68],"may":[69],"defined":[71],"as:":[72],"failure":[73,77,92],"repair":[75,98],"rates,":[76],"success":[79],"probabilities,":[80],"redundancy":[81],"number":[83],"redundant":[85],"components":[86],"(if":[87],"any),":[88],"mean":[89,95],"time":[90,96],"(MTTF)":[93],"(MTTR)":[99],"among":[100],"others.":[101],"solution":[104,197],"helps":[105],"development":[107],"automation":[110],"tools.":[111],"are":[116,155,202],"concise":[117],"changeable":[119],"models,":[120,130],"based":[121],"few":[123],"(with":[126],"small":[127],"variations).":[128],"These":[129],"depending":[131],"parameters,":[134],"can":[135,159],"assume":[136],"different":[137],"structural":[138],"configuration.":[139],"Through":[140],"Markovian":[141],"non-Markovian":[143],"distributions":[144,158,166],"functions,":[145],"series,":[148],"parallel,":[149],"m-out-of-n":[150],"other":[152],"complex":[153],"structures":[154],"possible.":[156],"Non-Markovian":[157],"represented":[161],"by":[162,167,176],"composition":[163],"exponential":[165],"means":[168],"method-of-stages":[170],"through":[171],"moment":[172],"matching":[173],"technique":[174],"or":[175],"analytical":[177],"expressions":[178],"into":[179],"random":[181],"switch,":[182],"construct.":[185],"At":[186],"end,":[188],"case":[190],"related":[192],"flight-control":[195],"presented":[199],"shown":[203],"validate":[205],"proposed":[207],"model.":[208]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}