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

Ö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


Värdens mest undersökta borrhål

För att öka kunskapen om att lagra och utvinna energi ur berggrunden behövs både teoretiska studier och praktiska tester. I Linköping utvecklar nu en grupp forskare och experter med olika inriktning tekniken med lagring av värme.

22 jul 2019


Vi ställde några frågor till vår vd Markus Wråke

Nu har halva 2019 gått. Vad har varit särskilt roligt under det här halvåret tycker du? –Jag skulle nog säga Greta Thunbergs förmåga att föra upp klimatfrågan till högsta politiska nivå i världen. Även om det är för tidigt att avgöra om det är en historisk vändpunkt i hur klimatfrågan behandlas, så är jag enormt imponerad av vad hon har åstadkommit.

29 jun 2019


Bli praktikant hos oss!

Vill du pröva hur det är att arbeta i energibranschens framkant och samtidigt vara beredd att hugga in där det behövs? Kanske går du en utbildning inom energi och miljö och vill ta ett sabbatsår, eller står i begrepp att välja utbildning och vill jobba ett tag.

26 jun 2019


Innovativa lösningar i elnätet

Energiforsk har fått i uppdrag att sammanställa exempel på innovativa digitala lösningar som testas eller används i det svenska elsystemet. Det är Forum för smarta elnät som står bakom projektet och som publicerar de olika exemplen löpande.

4 jun 2019


Nyhetsarkiv

Ladda ner

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon