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

Fel om vindkraftskostnader – men statens roll värd att diskutera

På Svenska Dagbladets debattsidor pågår en replikväxling om kostnader för att bygga olika kraftslag. Energiforsks uppfattning är att Leif Östling med flera i sin inledande text har fel om kostnaden för att bygga havsbaserad vindkraft. Men kanske kan deras inlägg vara starten för en viktig diskussion om statens finansiella ansvar för ett robust och hållbart energisystem.

28 nov 2023


Ny standard för jordning av starkströmsanläggningar i utveckling

Förhoppningen med det nystartade Energiforskprojektet "Direktjordade starkströmsanläggningars påverkan på omgivningen vid kort frånkopplingstid och hög beröringsspänning", är att komma ett steg närmare en svensk standard.

28 nov 2023 - Trygg elförsörjning


Energiforsks budskap på Elnätsdagarna 2023: Tydligare roller och samsyn

Den 14–15 november anordnades Elnätsdagarna av Energiföretagen Sverige, en årlig konferens om aktuella frågor inom elnätsbranschen. Resultat ifrån Energiforskprojekten Ett elsystem för elfordon och Effektprognoser för lokalnät presenterades på scen.

23 nov 2023 - Trygg elförsörjning


Svenska kyrkan tror på solel

Svenska kyrkan förvaltar ett stort antal byggnader och stora markarealer runt om i Sverige och vill gärna vara med och bidra till utbyggnaden av solceller. Ett problem är dock att få tillstånd att placera solceller på kyrkorna.

22 nov 2023


Pumpkurs i Holland stärkte den nordiska kärnkraftskompetensen

Den 24–26 oktober anordnade Energiforsks program Vibrationer i kärnkraft en pumpkurs hos företaget Flowserve i holländska Etten-Leur. Totalt 15 medarbetare från svenska och finska kärnkraftverk deltog i kursen, där syftet var att öka kompetensen om vibrationsrelaterade störningar i pumpkretsar.

15 nov 2023 - Kärnkraft


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon