ARBITER (datorprogram)

ARBITR är ett  mjukvarupaket för automatisk beräkning av säkerhets- och teknisk risk . För närvarande låter ARBITR-mjukvaran dig automatiskt bygga matematiska modeller och beräkna indikatorer för egenskaperna tillförlitlighet , hållbarhet, överlevnadsförmåga , stabilitet, teknisk risk, förväntad skada och effektivitet , samt lösa problem med tillförlitlighetsoptimering. Designad för designingenjörer som arbetar i olika branscher för att bedriva vetenskaplig forskning och organisera utbildningsprocessen.

Historik

Tidigare namn på mjukvarupaketet: PC "ASM", PC "ASM 2001", PC "ASM SZMA".

Mjukvarupaketet ARBITR certifierades av "Software Certification Council" vid Scientific and Technical Centre for Nuclear and Radiation Safety (STC NRS) vid Federal Service for Environmental, Technological and Nuclear Supervision ( Rostekhnadzor ) i Ryska federationen [1] .

ARBITER certifierades den 15 juni 2017 för en period av 10 år och är godkänd för användning på företagen i Rostekhnadzor i Ryska federationen.

Översikt

Den teoretiska grunden för mjukvarupaketet är den generella logiskt-probabilistiska metoden . Som ett grafiskt sätt att beskriva systemens funktion används ett funktionellt integritetsschema .

Nyckelfunktioner

• representation i den ursprungliga FIS (i FIS-supergrafen) av upp till 400 element (vertices) och upp till 100 element i varje dekomponerad vertex (FIS-subgrafer) av huvudgrafen för systemet som studeras (det vill säga möjligheten att gå in till 40 000 hörn);
• automatisk konstruktion av logiska funktioner som representerar de kortaste vägarna för framgångsrik operation (KPUF), minsta feltvärsnitt (MFS) eller deras icke-monotona kombinationer (explicit deterministiska modeller av de studerade egenskaperna hos systemet);
• automatisk konstruktion av probabilistiska funktioner som ger korrekt beräkning av indikatorer på stabilitet, effektivitet och risk för de system som studeras;
• beräkning av sannolikheten för implementering av specificerade kriterier, som representerar egenskaperna för stabilitet (tillförlitlighet, hållbarhet, överlevnadsförmåga) och säkerhet (teknisk risk, sannolikheter för nödsituationer och olyckor) hos systemen;
• beräkning av sannolikheten för felfri drift eller fel och den genomsnittliga tiden till fel på icke-återställningsbara system;
• beräkning av tillgänglighetsfaktorn, medeltiden mellan fel, medelåterställningstid och sannolikheten för att de återställda systemen inte fungerar fel;
• beräkning av beredskapssannolikheten för blandade system bestående av återvinningsbara och icke återvinningsbara element;
• beräkning av betydelsen, positiva och negativa bidrag från alla delar av det studerade systemet till sannolikheten för att implementera fastigheten som studeras, som används för att utveckla och motivera förvaltningsbeslut för att säkerställa hållbarhet, överlevnad, säkerhet, effektivitet och risk för driften;
• hjälpläge för ungefärliga beräkningar, som utförs enligt två metoder: för oberoende elementfel (liknande metoden som används i Risk Spectrum-komplexen, Sverige) och Saphire-7 (USA)), och med hänsyn till tre typer av elementfel - "fel på begäran", "fel i driftläge" och "dolt fel i standbyläge" (metoderna utvecklades av specialisterna från Federal State Unitary Enterprise OKBM uppkallad efter I. I. Afrikantov och implementerades för första gången i det certifierade komplexet "CRISS 4.0");
• beräkning av sannolikheten för implementering av individuella KPUF- eller MSO-system;
• beräkning av signifikans och total signifikans av brotttvärsnitt enligt Fussell-Vesely;
• beräkning av betydelsen, minskningen och ökningen av risken för element enligt Fussell-Vesely;
• ungefärlig beräkning av systemets probabilistiska egenskaper, med hänsyn till tre typer av elementfel: fel på begäran, fel i driftsläget och dolt fel i standby-läget (enligt metodiken implementerad i CRISS 4.0-programvaran);
• strukturell och automatisk redovisning av fel i grupper av element på grund av en gemensam orsak (modeller av alfafaktorn, betafaktorn och flera grekiska bokstäver);
• redogöra för olika typer av beroenden och flera tillstånd av element representerade med hjälp av grupper av inkompatibla händelser;
• med hänsyn till tvånivåuppdelningen av blockdiagrammet, disjunktiva och konjunktiva multipliciteter av komplexa element (delsystem);
• står för ett obegränsat antal cykliska (bro) länkar mellan element och delsystem;
• redogöra för olika kombinatoriska relationer (K ​​av N) mellan grupper av element.

Standarder och vägledningsdokument

Standarder och riktlinjer som stöds av mjukvarupaketet ARBITR:

• GOST 24.701-86. Tillförlitlighet hos automatiserade styrsystem. Grundläggande bestämmelser. Moskva: IPK Standards Publishing House, 1986, 17 sid.
• GOST 27.301-95. Tillförlitlighet inom teknik. Beräkning av tillförlitlighet. Grundläggande bestämmelser. M.: IPK Publishing house of standards, 1996, 15 sid.
• RD 03-418-01. Riktlinjer för riskanalys av farliga produktionsanläggningar. // Normativa dokument för branschövergripande tillämpningar i frågor om industrisäkerhet och skydd av undergrunden. Serie 3. Nummer 10. M.: Gosgortekhnadzor från Ryssland, Scientific and Technical Center "Industrial Safety", 2001, 60 sid.
• GOST R 51901-2002 (IEC 60300-3-9:1995). Tillförlitlighetshantering. Riskanalys av tekniska system. M.: IPK Publishing house of standards, 2002, 22 sid.
• GOST R 51901.14-2005 (IEC 61078:1991). Riskhantering. Tillförlitlighet blockdiagrammetod. M.: Standartinform, 2005, 18 sid.
• GOST R 51901.13-2005 (IEC 61025:1990). Riskhantering. Felträdsanalys. M.: Standartinform, 2005, 11 sid.
• RD 34.20.501-95. Regler för teknisk drift av kraftverk och nätverk i Ryska federationen. // Order från energiministeriet nr 229 av den 19 juni 2003, order från Rostekhnadzor från Ryska federationen av den 1 augusti 2006 nr 738).

Se även

• Funktionell integritetsdiagram
• Pålitlighet
• Tillförlitlighetsberäkning

Anteckningar

1. ↑ Federal Service for Environmental, Technological and Nuclear Supervision. "Scientific and Technical Center for Nuclear and Radiation Safety" - Tabell över intygspass för mjukvaruverktyg  (otillgänglig länk)

Litteratur

• Viktorova V. S., Kuntsher Kh. P., Stepanyants A. S. Analys av programvara för modellering av tillförlitlighet och säkerhet hos system  . - 2006. - Nr 4 (19) . - S. 46-57 . — ISSN 1729-2646 . (ryska)
• Strogonov A., Zhadnov V., Polesskiy S. Granskning av mjukvarusystem för beräkning av tillförlitligheten hos komplexa tekniska system  // Komponenter och teknologier. - 2007. - Nr 5 . - S. 183-190 . — ISSN 2079-6811 . (ryska)

Länkar

• Mozhaev AS Annotering av programvaran "ARBITR" (PC ASM SZMA)  // Problems of Atomic Science and Technology. Serien "Kärnreaktorernas fysik". - 2008. - Nr 2 . - S. 105-116 . — ISSN 0205-4671 . (ryska)

1. Sneve MK, Reka V. Förbättring av det ryska regelverket inom säkerhetsområdet vid avveckling och bortskaffande av radioisotop termoelektriska generatorer Arkiverad 20 oktober 2014 på Wayback Machine // Statens byrå for strålsäkerhet i Norge (Statens stravelern). StralevernRapport 2008:2. - Oslo: LoboMedia AS, 2008 - Bilaga B, s. 17-55. — ISSN 0804-4910.
2. Ryabinin I. A. Tillförlitlighet och säkerhet hos strukturellt komplexa system
3. Ryabinin I. A., Strukov A. V. "Kort kommenterad lista över publikationer av utländska tidskrifter om frågorna om bedömning av tillförlitligheten hos strukturellt komplexa system".
4. A. V. Fedorov, M. I. Lebedeva, A. V. Semerikov "Översikt över mjukvarusystem för att bedöma tillförlitligheten hos automatiska brandskyddssystem och säkerheten för objekt"//Material från den tjugonde vetenskapliga och tekniska konferensen "Security Systems-2011". M.: Academy of GPS EMERCOM of Russia, 2011. sid. 270-274