Rapport

Verification and validation techniques for I&C applications in Nordic NPPs

This report considers the verification and validation (V&V) techniques that can be applied to microprocessors and FPGAs. It finds that many techniques apply similarly to both, but at lower design and implementation levels the tools diverge, particularly when considering mitigations of vulnerabilities.

Techniques for FPGA V&V are generally more comprehensive and integrated into the standard toolchains. Some of this complexity is needed to address extra design vulnerabilities present in FPGAs as compared to microprocessors, but in other areas the resulting analysis is arguably more routine and more thorough than is usually attempted for microprocessors. FPGAs are also free from some particularly difficult uncertainties and intractable analysis problems caused by the presence of operating systems in microprocessor-based platforms. Some behavioural V&V techniques dealing with application level issues such as data flow do not have such obvious analogues in HDL V&V methods based on hardware assertions. Consequentially, it is important to review the whole suite of V&V measures used for a given application to ensure that all abstraction levels are adequately covered, particularly if the resulting justification must interface with another assurance case that has been developed or reviewed by engineers more familiar with microprocessor based V&V processes.

Nyheter

Här förbereds digitalisering i vattenkraft

Digitaliseringen är på väg in i energibranschen med stora kliv. Ett nytt referenssystemet kan underlätta omställningen. Det blev tydligt under utbildningen i hur standarden fungerar då deltagarna också fick möjlighet att tillämpa den praktiskt.

16 okt 2019


Viktigt erfarenhetsutbyte i Värmeklustret

Nu i veckan hölls den andra workshopen inom Energiforsks Värmekluster, ett initiativ som ska öka innovationstakten i värme- och kylabranschen och en arena för erfarenhetsutbyte.

11 okt 2019


Projektledare fossilfria transporter

Vi söker dig som vill jobba med en av vår tids största utmaningar – en fossilfri transportsektor. Är du effektiv och drivande i att hitta lösningar genom att samverka och sprida ny kunskap så är du kanske den vi letar efter!

13 sep 2019


Energiomställning för evigt?

– Energiomställningen kommer att pågå för evigt om vi inte accelererar utbyggnaden av grön energi. Just nu räcker inte investeringarna ens till för att täcka ökande efterfrågan, säger Laszlo Varro, chefsekonom på International Energy Agency (IEA).

11 sep 2019


Ökad innovationskraft med värmekluster

Energiforsks värmekluster, som nu håller på att byggas upp, är ett forum för kunskapsöverföring, nätverkande, informationsspridning och samarbete mellan innovationsintresserade företag i energibranschen.

14 aug 2019


Nyhetsarkiv

Ladda ner

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon