Handboek · hoofdstuk 46Betrouwbaarheid en risico
Een veilige terugval begint bij faalwijzen, afhankelijkheden en aantoonbaar ingrijpen
Een klimaatregeling kan goed werken en toch kwetsbaar zijn voor een vastgelopen sensor of kortgesloten uitgang. Je analyseert faalwijzen, bouwt een foutenboom en rekent betrouwbaarheid onder expliciete aannamen. Het belangrijkste resultaat is een beheerste storingreactie met bewijs.

- Je kan een FMEA van functie naar faalwijze, effect en maatregel maken.
- Je kan een foutenboom en minimale snijverzamelingen afleiden.
- Je kan serie- en parallelbetrouwbaarheid met onafhankelijkheidsvoorwaarden berekenen.
- Je kan MTBF, beschikbaarheid en badkuipcurve onderscheiden.
- Je kan fail-safe gedrag per hazard en modus ontwerpen en toetsen.
De functie bepaalt wat falen betekent
Een stilstaande ventilator kan voor één proef alleen opbrengstverlies betekenen, voor een andere ruimte een luchtgevaar. Begin daarom met functie, systeemgrens, bedrijfsmodus en ongewenst gevolg. Beschrijf oorzaak, faalwijze en effect apart: kabelbreuk is een oorzaak, ontbrekende meting een faalwijze, verkeerde warmtevraag een mogelijk systeemeffect.
Een storing hoeft niet direct gevaar te veroorzaken als detectie, begrenzing of onafhankelijke beveiliging werkt. Omgekeerd kan een plausibel fout getal gevaarlijker zijn dan een duidelijke lege cel. Analyseer ook onderhoud, opstart, netwerkverlies en stroomherstel. Een functioneel diagram laat afhankelijkheden zien die een lijst losse componenten mist.
| niveau | voorbeeld |
|---|---|
| oorzaak | losse meetkabel |
| faalwijze | waarde ontbreekt |
| lokaal effect | regelaar mist feedback |
| systeemeffect | comfortverlies of ongewenste actie |
| beheersing | status, terugval en apart beveiligingspad |
FMEA kijkt vanaf de onderdelen omhoog
Een Failure Mode and Effects Analysis bespreekt per functie plausibele faalwijzen, oorzaken, lokale en systeemeffecten, detectie, bestaande beheersing en aanvullende actie. Leg eigenaar, bewijs en resterende onzekerheid vast. Het register verandert wanneer ontwerp of proefkennis verandert.
Werk niet alleen met ‘kapot’. Een sensor kan open, kortgesloten, bevroren, verschoven, vertraagd of verkeerd geijkt zijn. Software kan een oude toestand of foutieve eenheid leveren; een actuator kan vast uit én vast aan falen. De primaire NASA GSFC-HDBK-8004 beschrijft FMECA als een levende risicoanalyse. Deze les gebruikt een beperkte stations-FMEA, geen certificeringsrapport.
| faalwijze | effect | detectie | maatregel / nog te toetsen |
|---|---|---|---|
| temperatuur ontbreekt/NaN | regeling zonder geldige feedback | schema/bereik/leeftijd | geen nieuwe modelactie; lokale terugvaltest |
| plausibele waarde bevriest | opwarming blijft onzichtbaar | innovatie en onafhankelijke referentie | stilstaan injecteren; niet alleen bereik |
| SSR blijft geleiden | warmte ondanks uit-verzoek | stroom/temperatuur tegen commando | onafhankelijk seriepad fysisch testen |
| lokale controller hangt | laatste uitgang blijft staan | watchdog en onafhankelijke observatie | reset/uitgangstoestand en deadlinetest |
| netwerkbericht is oud | verkeerd huidig voorstel | meettijd/TTL/boot/sequence | weigeren en lokale modus behouden |
| gedeelde voeding valt weg | meerdere functies tegelijk weg | voedingsstatus en lokaal alarm | afhankelijkheidskaart; energie-/herstelproef |
| seriebeveiliging verborgen defect | geen ingreep bij tweede fout | periodieke proof-test | interval en inspectie op hazard baseren |
| bufferprobe heeft bias | nachtreserve verkeerd geschat | ijkreferentie en energieresidu | kalibratieversie en modelvalidatie |
Een bevroren sensor door de keten volgen
- waarde binnen bereik
- berichten nog steeds vers
- detectie en resterende afhankelijkheid
- 1Bereik- en leeftijdtoets slagen, dus detectie alleen daarop is onvoldoende. Vergelijk gemeten verandering met afgegeven warmte, buffer en een onafhankelijke referentie.
- 2Een innovatiedetector kan ook op modeltekort reageren. Meld daarom een verdachte meetketen en voer het vooraf getoetste lokale terugvalbeleid uit; kies niet blind één van twee verschillende toestanden.
- 3Een onafhankelijke fysieke thermische begrenzing moet haar eigen meet-/schakelpad hebben. Een tweede label in dezelfde code is geen onafhankelijk beveiligingspad.
Prioriteitsscores zijn geen kansen
Teams kunnen ernst S, voorkomen O en detectiemoeilijkheid D met een ordinale schaal rangschikken. Een RPN=S×O×D helpt bespreking, maar de schaalstappen zijn geen echte vermenigvuldigbare fysische kansen. Verschillende combinaties kunnen hetzelfde getal krijgen met heel andere gevolgen.
Een zeer ernstige faalwijze blijft aandacht vragen bij een lage geschatte voorkomen-score. Scores moeten een gedefinieerde context hebben en worden niet omgezet naar FIT of faalkans. Prioriteer ook op hazard, onzekerheid en ontbrekende beheersing. Sluit acties pas na verificatie; een ingeplande maatregel is nog geen gerealiseerde risicoreductie.
| voorbeeld | S/O/D | RPN | beoordeling |
|---|---|---|---|
| ernstig maar vroeg gedetecteerd | 5/1/1 | 5 | ernst blijft harde aandacht |
| kleine hinder, moeilijk te vinden | 2/3/3 | 18 | hogere RPN maakt haar niet ernstiger |
| SSR aan blijft verborgen | 5/2/4 | 40 | onafhankelijk ingrijpen aantonen |
Een foutenboom begint bij één topgebeurtenis
Fault Tree Analysis vraagt welke combinatie van gebeurtenissen een precies omschreven ongewenst gevolg veroorzaakt. Een OF-poort vraagt ten minste één oorzaak; een EN-poort alle verbonden oorzaken. De logica hangt van de fysieke functie af. Definieer ook tijdvenster en bedrijfsmodus.
De figuur gebruikt T=(A OF B) EN C: een onveilig verwarmingsverzoek of kortgesloten SSR wordt pas onbegrensde verwarming als ook het onafhankelijke seriepad faalt. Dit veronderstelt dat het seriepad bij vraag werkelijk warmte kan afschakelen. Een minimale snijverzameling is een kleinste set basisevents die T veroorzaakt: hier {A,C} en {B,C}.
De foutenboom kwantificeren
- events onafhankelijk
- alle kansen zijn lesaannamen
- topkans en gedeelde oorzaak
- 1P(A OF B)=qA+qB−qAqB=0,002998. P(T)=0,002998×0,0005=0,000001499.
- 2Een extra gemeenschappelijke oorzaak D die het complete pad faalt, met qD=0,0001 en onafhankelijk van de resterende events, geeft qD+(1−qD)P(T)=0,00010149885.
- 3De gedeelde oorzaak domineert. Een correcte OF-formule maakt onjuiste onafhankelijkheid niet correct; de oorzaakkaart vraagt fysisch onderzoek.
Betrouwbaarheid en faalintensiteit verbinden
R(t) is de kans dat de functie tot t zonder falen werkt. De hazard h(t) is de onmiddellijke faalintensiteit gegeven overleven tot t. Voor een constante λ geldt en R(0)=1. Oplossen geeft . λ heeft bijvoorbeeld eenheid h⁻¹ als t in uren wordt gebruikt.
De exponentiële verdeling heeft gemiddelde 1/λ voor tijd tot falen. Bij een herstelbaar constant-rateproces correspondeert dit met MTBF; bij een niet-herstelbare populatie spreek je van MTTF. Geen van beide zegt dat elk exemplaar precies die tijd meegaat. De populatie, omgeving en faaldefinitie horen bij het getal.
Een grote MTBF is geen missiegarantie
- constant faalproces
- R en kans op falen
- 1λ=1/50000=0,000020 h⁻¹. R(720)=exp(−0,0144)=0,985703.
- 2Faal-kans=1−R=0,014297, dus circa 1,43%. Een getal van vijftigduizend uur geeft geen 100% kans op een missie van één maand.
- 3Of die kans aanvaardbaar is hangt af van het gevolg, herstel en onafhankelijk beveiligingsontwerp. De veronderstelde λ moet nog door passende gegevens worden onderbouwd.
Serie vraagt dat ieder vereist deel werkt
Als alle onderdelen nodig zijn en hun falen onafhankelijk is, geldt . Bij exponentiële modellen wordt . Meer vereiste serieonderdelen verlagen zo de missiebetrouwbaarheid, ook wanneer elk onderdeel goed is.
Dit is functionele serie, niet alleen elektrische serie. Controller, sensor, voeding en uitvoerpad kunnen samen een functie vormen. Een extra diagnosefunctie mag in werkelijkheid de bestaande functie niet onverwacht blokkeren. Leg vast welk deel noodzakelijk is en wat bij diens uitval nog bruikbaar blijft.
Drie onderdelen op dezelfde horizon
- t=720 h
- onafhankelijke serie
- Rcomponent en Rsysteem
- 1R1=0,985703; R2=0,992826; R3=0,978632.
- 2Som λ=6×10⁻⁵ h⁻¹. Rserie=exp(−0,0432)=0,957720.
- 3De faalkans is circa 4,228%. Controleer of de gedeelde voeding nog een extra serie-element is en of de λ-waarden op dezelfde faaldefinitie zijn gebaseerd.
Parallel helpt alleen met een bruikbare tweede route
Als minstens één van n onafhankelijke paden voldoende is, is de totale faalkans het product van alle padfaalkansen. Daarom . Voor twee gelijke paden is dit .
Actieve redundantie verschilt van standby: omschakelen kan falen en reserveonderdelen kunnen verborgen defect zijn. Voeg detectie, schakelpad, voeding en onderhoud toe aan het model. Twee probes die verschillende toestanden meten zijn geen uitwisselbare redundante meting. Ook dezelfde firmware, ADC-referentie of montage kan onafhankelijkheid breken.
Betrouwbaarheid exact en met simulatie
De code rekent de foutenboom ook door alle acht eventcombinaties op te tellen. De Monte Carlo trekt tweehonderdduizend levensduren en controleert de serieformule met een simulatiestandaardfout. Zij controleert wiskunde onder aannamen, geen componentkwaliteit. De 400000 uur en acht storingen zijn fictieve voorbeeldgegevens.
import numpy as npfrom itertools import productt=720.lam=np.array([2e-5,1e-5,3e-5]) # veronderstelde h^-1, geen FIT-datar=np.exp(-lam*t)serie=np.prod(r)sensor=np.exp(-1e-5*t)parallel=1-(1-sensor)**2lc=2e-6; li=8e-6gemeen=np.exp(-lc*t)*(1-(1-np.exp(-li*t))**2)print("component R",np.round(r,8))print("serie",round(serie,8),"sensorpaar onafhankelijk",round(parallel,8))print("sensorpaar gemeenschappelijke oorzaak",round(gemeen,8))# Foutenboom T=(A of B) en C, drie onafhankelijke basisevents.q=[.002,.001,.0005]exact=0.for a,b,c in product((0,1),repeat=3): kans=np.prod([p if e else 1-p for p,e in zip(q,(a,b,c))]) if (a or b) and c: exact+=kansqc=.0001print("foutenboom onafhankelijk",exact,"metgemeen",qc+(1-qc)*exact)# Monte Carlo controle van het kansmodel, geen componentproef.rng=np.random.default_rng(46); n=200000leven=rng.exponential(1/lam,(n,3))mc=np.mean(np.all(leven>t,axis=1))se=np.sqrt(mc*(1-mc)/n)print("MC serie",round(mc,6),"standaardfout",round(se,6))totale_uren=400000; falen=8mtbf=totale_uren/falen; mdt=2.print("model MTBF",mtbf,"h beschikbaarheid",mtbf/(mtbf+mdt))# Nul falen: eenzijdige95%-bovengrens bij constant faalproces.duur=1000.lambda95=-np.log(.05)/duurprint("nulfaalproef1000h lambda95",lambda95,"ondergrensMTBF",1/lambda95)component R [0.98570318 0.99282586 0.97863161] serie 0.95771983 sensorpaar onafhankelijk 0.99994853 sensorpaar gemeenschappelijke oorzaak 0.9985281 foutenboom onafhankelijk 1.4990000000000002e-06 metgemeen 0.0001014988501 MC serie 0.957955 standaardfout 0.000449 model MTBF 50000.0 h beschikbaarheid 0.999960001599936 nulfaalproef1000h lambda95 0.0029957322735539907 ondergrensMTBF 333.8082006953341
Een sensorpaar met gedeelde oorzaak
- t=720 h
- gemeenschappelijke event schakelt beide uit
- Rpaar en vergelijking
- 1Zonder gedeelde oorzaak geeft 1−(1−exp(−0,0072))²=0,9999485.
- 2Met aparte gedeelde schok geldt R=exp(−λct)[1−(1−exp(−λit))²], omdat het gedeelde event niet mag optreden en minstens één restpad moet werken.
- 3De code geeft R=0,99852810, lager dan het onafhankelijke model. Een kleine gedeelde faalintensiteit kan de winst van twee paden sterk beperken.
Beschikbaarheid bevat ook hersteltijd
Een systeem kan gedurende een jaar meerdere keren falen en snel herstellen. Beschikbaarheid vraagt het aandeel tijd bruikbaar, niet de kans op geen enkele storing. In een eenvoudige stationaire afwisseling van bedrijf en uitval geldt , met MDT de gemiddelde totale uitvaltijd.
MDT omvat detectie, wachten, onderdelen, reparatie en herstart. MTTR kan alleen de reparatietijd aanduiden en is dan kleiner. Bij MTBF=50000 h en MDT=2 h volgt A=0,999960. Dat hoge aandeel maakt een zeldzaam ernstig incident niet aanvaardbaar. Ontwerp herstelbaar gedrag én beheerste gevolgen.
De badkuipcurve is een mechanismebeeld
Een populatie kan vroeg verhoogde intensiteit hebben door fabricage- of montageproblemen, daarna een ongeveer constant gebied en later slijtage. De badkuipcurve vat dat mogelijke patroon samen. Andere producten hebben een andere vorm; softwarebugs slijten bijvoorbeeld niet zoals lagers.
Een constant-rate-MTBF uit de middenfase is niet vanzelf toepasbaar op een oud onderdeel of nieuwe montage. Koppel onderhoud aan mechanismen en proefkennis. Burn-in kan bepaalde vroege defecten vinden, maar bewijst niet dat alle latere hazards beheerst zijn. Primair: NIST badkuipcurve en exponentieel model, geraadpleegd 30-09-2026.
Nul storingen is beperkt bewijs
- constant Poisson-faalproces
- eenzijdige 95%-grens
- bovengrens λ en ondergrens model-MTBF
- 1Kans op nul events is exp(−λT). Voor de grens geldt exp(−λ95T)=0,05, dus λ95=−ln(0,05)/1000=0,00299573 h⁻¹.
- 2De bijbehorende ondergrens voor 1/λ is slechts 333,808 h. Nul storingen gedurende 1000 h bewijst dus geen MTBF van honderdduizend uur.
- 3De berekening veronderstelt hetzelfde faalproces en omgeving. Zij bewijst geen afwezigheid van verborgen gevaarlijke faalwijzen.
Fail-safe is gekoppeld aan een hazard
Alles uitschakelen is geen universeel veilige toestand. Verwarming uit kan oververhitting voorkomen maar vorstschade vergroten. Ventilatie uit kan een luchtprobleem verergeren. Kies per hazard, modus en tijdschaal welke lokale reactie risico beheerst, met voldoende voeding en detectie.
Voor een kortgesloten heater-SSR moet het onafhankelijke seriepad fysisch energie kunnen onderbreken. Een software-uitcommando aan dezelfde SSR helpt dan niet. Voor netwerkverlies behoudt de lokale klimaatlus een geteste beperkte modus. Een watchdog helpt alleen als reset en opstartuitgangen aantoonbaar passend zijn. De concrete beveiliging vraagt componentselectie en toepasselijke productnormen; lescode is geen gecertificeerde noodstop.
| fout | passende ontwerpvraag |
|---|---|
| SSR vast aan | ander fysisch onderbrekingspad |
| sensor ongeldig | begrensde lokale terugval |
| centrale verbinding weg | lokale eigenaar blijft werken |
| voeding weg | welke alarm/ventilatiefunctie blijft nodig? |
| herstart | veilige uitgang en gecontroleerde vrijgave |
De storingproef sluit de analysekring
Een fictieve klimaatproef begint met lage vermogens en een afgebakende veilige opstelling. Het team injecteert ontbrekende en bevroren metingen, oude berichten en netwerkverlies. Het meet detectietijd, feitelijke uitgang, alarm, operatoractie en herstel. Een hardwareschakelfout wordt alleen met een geschikte gecontroleerde testopstelling onderzocht.
Elke proef verwijst naar faalwijze, eis, configuratie en bewijs. Afwijkingen veranderen FMEA, foutenboom of ontwerp. Test niet alleen dat een alarmtekst verschijnt: controleer dat de bedoelde fysieke functie reageert. De FMEA blijft zo een werkdocument voor ontwerp en onderhoud in plaats van een eenmaal ingevuld formulier.
| bewijsveld | inhoud |
|---|---|
| trigger | exacte fout en injectietijd |
| detectie | tijd en status |
| effect | gemeten uitgang/temperatuur |
| herstel | voorwaarde en operator |
| versie | hardware, software, kalibratie |
Aannamen vóór kansrekenen
| symbool | betekenis | eenheid |
|---|---|---|
| betrouwbaarheid bij dezelfde duur | — |
| voorwaarde | controle |
|---|---|
| zelfde horizon | geen jaar- en uurkansen mengen |
| passend model | hazard/leeftijd/omgeving |
| onafhankelijkheid | voeding, software, meetketen |
| functie | welk aantal paden voldoende? |
| inputbewijs | data, bron en onzekerheid |
Risicoanalyse schrijft storingseisen
FMEA en foutenboom vinden welke interfaces, tests en onderhoudspaden de systeemversie nodig heeft. Probabilistische voorbeelden helpen redeneren; fysieke risico's vragen passend ontwerp en bewijs.
Tijd, replay en lokaal gedrag.
Regeling en actuatorbegrenzing.
Plausibele sensorfouten.
Eis en bewijs-ID.
Risico en open bewijs helder rapporteren.
Habitat krijgt een klimaat-FMEA en oorzaakkaart. Alle λ/q-waarden in deze les zijn fictieve rekenwaarden. Geen FIT, SIL, veiligheidsniveau of bewezen beschikbaarheid wordt aan de werkelijke installatie toegekend.
In het kort
- Faalwijze, oorzaak en effect zijn verschillende vragen.
- FMEA kijkt omhoog; foutenbomen combineren oorzaken van één topgebeurtenis.
- Serie/parallelkansen vragen functie, duur en onafhankelijkheid.
- MTBF, beschikbaarheid en veilige gevolgen zijn verschillende eigenschappen.
- Fail-safe gedrag wordt per hazard ontworpen en fysisch getoetst.
Wat je nu kent
- betrouwbaarheid
- Kans op de afgesproken functie zonder falen gedurende een opgegeven duur en omstandigheden.
- faalwijze
- De manier waarop een functie of component haar vereiste gedrag niet levert.
- gemeenschappelijke oorzaak
- Een oorzaak die meerdere ogenschijnlijk redundante paden tegelijk kan treffen.
- MTBF
- Gemiddelde bedrijfstijd tussen storingen in een passend model voor een herstelbaar systeem.
- fail-safe
- Zo ontworpen reageren op een beschreven fout dat het betreffende risico wordt beheerst.