Rapport

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

Uppdaterad 2024-08-14 Publicerad 2016-04-13

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

Insektsangrepp från snytbaggen kan minskas med bioaska

Försök i fält visar att bioaska minskar snytbaggegnag på nyplanterad gran. Maria Greger på Stockholms universitet har nu genomfört ytterligare en studie som visar att snytbaggar undviker nyplanterade granplantor som fått en giva bioaska.

13 jun 2025


Pressmeddelande: Hälften av Sveriges elproduktion blir väderberoende om tio år

Nästan all ny elproduktion som byggs de kommande åren kommer vara landbaserad vindkraft och solel. Det innebär att om industrins efterfrågan av el ökar kraftigt kommer hälften av all el vara väderberoende 2035. Samtidigt kommer elpriserna variera mer än i dag, enligt en ny rapport från Energiforsk.

21 maj 2025 - Energisystem


Havsbaserad vindkraft bör satsa allt på vätgas – eller allt på el

Havsbaserade vindparker bör välja – använd hela parkens kapacitet till att producera vätgas och avstå från att leverera el, eller skippa vätgas helt. För landbaserad vindkraft bör 30–40 procent av kapaciteten vikas för vätgas.

16 maj 2025 - Energisystem


Säkerhet och dimensionering för betongdammar i nya Eurokoden

Den andra generationens Eurokod utvecklas just nu och kommer senast 2028 att ersätta den första. Mikael Hallgren och Fredrik Stenesand på Tyréns har i ett projekt undersökt skillnaderna mellan den första generationens Eurokod och den kommande generationen avseende betongdammar.

12 maj 2025


Nytt projekt undersöker hur betongstolpar åldras i svenskt klimat

Vattenfall Eldistribution ska rasera en 30 år gammal linje med betongstolpar, vilket ger en unik möjlighet att undersöka hur dessa stolpar har åldrats i svenskt klimat. Forskningen är viktig för att förstå betongstolparnas livslängd och för att kunna fatta välgrundade beslut om underhåll och reinvesteringar.

6 maj 2025 - Elnät


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon