{"entities":{"Q1082062":{"pageid":1092814,"ns":120,"title":"Item:Q1082062","lastrevid":48981598,"modified":"2026-01-06T09:45:27Z","type":"item","id":"Q1082062","labels":{"en":{"language":"en","value":"The reliability of life-critical computer systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972160"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$9F0C9CF1-BDF8-4F4E-B092-489C4754AFFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"270600fcba870862739483b7bcd82dffb46bcf11","datavalue":{"value":{"text":"The reliability of life-critical computer systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082062$C65FA3B4-0D75-4C1C-AC87-652B6EB5F45A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b08df9334f8b0527c27d7ada2a03515ca1b21e","datavalue":{"value":"0602.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082062$CC84950B-665F-4C1D-B1A9-2B8D0C4C66CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96581bbaf9bfe00b70abb8609bf3b408e13f8ef3","datavalue":{"value":"10.1007/BF00264310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082062$DCB00C81-E1C3-4807-BF9B-8B4329EAAACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8f7dcba4c17e0ba81d008e0fa5b54699704266","datavalue":{"value":{"entity-type":"item","numeric-id":287148,"id":"Q287148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$251DB8EF-134D-44A2-91F5-E23E1858E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4035c2d8a61994441ecb625652ec375c4db29887","datavalue":{"value":{"entity-type":"item","numeric-id":1082060,"id":"Q1082060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$D77377D1-6E9E-4F9C-AA05-33B9434F0196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ecbccfb7467b145ab11029ab571f591738beae2","datavalue":{"value":{"entity-type":"item","numeric-id":172793,"id":"Q172793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$83F28BB3-B182-4370-97D8-A9C25D0903EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbee353ba77809d9953a68ba40ae086d0c4ab17c","datavalue":{"value":{"entity-type":"item","numeric-id":1082061,"id":"Q1082061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$41D8D399-59F2-425C-9CC1-8C8F58723FC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$9950BE4D-D7C0-4069-9738-F93DAD96D71F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1082062$47F09834-652C-4020-8C9B-A457DF83F0D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1184d35baa9c1ac25546269f94545b1e15989b6","datavalue":{"value":"In order to aid the designers of life-critical, fault-tolerant computing systems, accurate and efficient methods for reliability prediction are needed. The accuracy requirement implies the need to model the system in great detail, and hence to need to address the problems of large state space, non-exponential distributions, and error analysis. The efficiency requirement implies the need for new model solution techniques, in particular the use of decomposition-aggregation in the context of a hybrid model. We describe a model for reliability prediction which meets both requirements. Specifically, our model is partitioned into fault occurrence and fault/error handling submodels, which are represented by non-homogeneous Markov processes and extended stochastic Petri nets, respectively. The overall aggregated model is a stochastic process that is solved by numerical techniques. Methods to analyze the effects of variations in input parameters on the resulting reliability predictions are also provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082062$AF503392-29BD-4738-A69E-08734C1F6EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082062$D0AF0508-DEE9-4644-97E7-EDABAB58519E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"434de9075a1390506073859a4653d11e72171fe9","datavalue":{"value":"3972160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082062$46CA0FE5-112A-4DC9-B029-D72FC6B3EC4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62678abf796bddbf1470f05e917de7c9624e335a","datavalue":{"value":"fault-tolerant computing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082062$C02583CA-B664-48A6-82FF-99B846EC93BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d85af25bf31b6ffe6247f5ed708bb9e73f944d1","datavalue":{"value":"reliability prediction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082062$9CD023B3-B247-40B8-B527-78C18DCE9C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6747c1e5fd5d580f74bc676729b1233ed3ecbd64","datavalue":{"value":"error analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082062$EBCD076A-683D-445B-A1FE-E6356D94DF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36435d873b8375565d6a5d37325ad9f71e5b49db","datavalue":{"value":"stochastic Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082062$FFED3C5F-0BB4-4FF7-A84D-5F11E921FB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac03ec47c51c672c22ad285d9578eacdc2f7b38f","datavalue":{"value":"stochastic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082062$F845D3BE-606A-43A8-8D5A-1C306868C6BC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$5516FC0E-5494-4AF5-BA16-3DFDC2F77623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca823b3efa34cd5cd198a41cf1a41b8d0842033","datavalue":{"value":{"entity-type":"item","numeric-id":4134790,"id":"Q4134790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$EA1302A7-72EC-4CE9-94DE-0CF087F0D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5990b0507ce489e93b986570a0ac212dab761a","datavalue":{"value":{"entity-type":"item","numeric-id":3916429,"id":"Q3916429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$15636F37-6AB6-4420-B386-1DC64B97BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0bb7b331f42074428f504d51531ff8995483717","datavalue":{"value":{"entity-type":"item","numeric-id":3745599,"id":"Q3745599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$ED09B720-E76B-4BDE-9BAE-620DC8B44E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9971a396386032aac06cc0a942969a6adb5dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5556877,"id":"Q5556877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$C14BB95B-7704-4BC4-A178-F4308C4F0A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00f30b941e515a294c0d0e2600edc5415c34c78","datavalue":{"value":{"entity-type":"item","numeric-id":3231529,"id":"Q3231529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$5863CF24-EA9E-4352-8E30-E70231AF189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b52fde4c74cbbd1a65c6e0dad9aa2e6191bf24","datavalue":{"value":{"entity-type":"item","numeric-id":5570370,"id":"Q5570370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$FCDDA232-8C9F-41A9-8385-68D347AA299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7743c80064d6c2acb9dba8a8a45c8452b837d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4223603,"id":"Q4223603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$92F7BF22-A58A-47DF-978B-EFECA63992E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401d4dae7098d46c3ca2ac18a33aeb953f5690c7","datavalue":{"value":{"entity-type":"item","numeric-id":3339905,"id":"Q3339905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$6789C4CA-6854-478E-B34A-36FE2083CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc6615329733626bce9f1815a0b2348420e0db1","datavalue":{"value":{"entity-type":"item","numeric-id":3658792,"id":"Q3658792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082062$E9095E75-196E-4E6C-9370-28BA35F9B6B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d460aab598415a81c4746a197a4a51ea505c3693","datavalue":{"value":"https://doi.org/10.1007/bf00264310","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082062$98C78E6C-20B8-484B-AF8F-07649A8B4592","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4159315a71cfea38706dbd15a6b2ec7e4faa2cb3","datavalue":{"value":"W1965987837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082062$06819D91-12B7-414F-B17F-1E1D66EB6E21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e56001a35327568ed736cb422f8d1d5b6899e51","datavalue":{"value":{"entity-type":"item","numeric-id":3339905,"id":"Q3339905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d4d89b75bbb99f7ec3d3ba5b8b9f966b7d562b","datavalue":{"value":{"amount":"+0.7776920795440674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082062$E7963D70-260C-4724-B21B-AD6796CFBD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb57f7cdc1a2720cee6f78affc0c5de9e7eb77c","datavalue":{"value":{"entity-type":"item","numeric-id":3766803,"id":"Q3766803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9217cfe429831a3b27dc736715be599852124d4","datavalue":{"value":{"amount":"+0.7756215929985046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082062$F4815D2A-EEA8-4BE3-BF54-87BB7337CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3b7c02d1a0fe11afba16d02c39717b720ddd29","datavalue":{"value":{"entity-type":"item","numeric-id":3745599,"id":"Q3745599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06cf10349474656641a2d9803ccf1718edb0ead","datavalue":{"value":{"amount":"+0.765014111995697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082062$8577C0E1-0652-4C5F-8B32-89ED637D4F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c52c3e2700f05ba36da4d53586eac1f935d9b5e","datavalue":{"value":{"entity-type":"item","numeric-id":1120467,"id":"Q1120467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb01b1abe28eaaf9c97d157b13ba6d7a22717b0","datavalue":{"value":{"amount":"+0.7576572299003601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082062$D1921D77-26BA-4AFB-AD7C-1436F506E3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31e0dacc50bc4472098a3a0e063b1ad79745e52","datavalue":{"value":{"entity-type":"item","numeric-id":4230845,"id":"Q4230845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf39f38b1ad4b4d17d0ba25de0f7e1aba091428","datavalue":{"value":{"amount":"+0.7547052502632141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082062$94C1DB5D-4004-4897-9FBA-4FDF040F2484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1082062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1082062"}}}}}