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

Markus Wråke lämnar Energiforsk

Energiforsks vd Markus Wråke har efter nio år på posten valt att sluta och kommer att gå vidare till ett annat bolag. Styrelsen har inlett en rekryteringsprocess för att hitta en ersättare. Markus Wråke fortsätter som vd till slutet av januari 2026.

28 aug 2025


Pressmeddelande: Fjärrvärme kan ge stora negativa utsläpp – men tillräcklig finansiering saknas

14 svenska fjärrvärmeanläggningar har planer på att fånga in och lagra koldioxid som innebär negativa utsläpp motsvarande knappt 10 procent av Sveriges totala fossila utsläpp. Ytterligare ett 20-tal anläggningar bedöms som tänkbara, vilket skulle dubblera kapaciteten. Men dagens styrmedel och finansiering räcker inte, därför riskerar många planer att rinna ut i sanden.

22 aug 2025


Så kan massa- och pappersindustrin sänka energianvändningen

Hur energieffektivt kan ett massabruk bli om det byggs med bästa tillgängliga teknik? Med hjälp av data från ”referensfabriker” kan massabruk räkna på vilka möjligheter som finns för det egna bruket att bli så energieffektivt som möjligt.

7 aug 2025


Pressmeddelande: Inga uppenbara tecken på ett mindre stabilt elsystem

Det saknas tecken på att det svenska elsystemet skulle ha blivit mindre stabilt, trots att andelen vindkraft och solel har ökat. Kostnaden för att upprätthålla stabiliteten är relativt låg och förväntas fortsätta vara det. Däremot har risken ökat för att Sverige behöver förlita sig på import av el den timme på året när behovet är som störst, enligt en ny rapport från Energiforsk baserad på offentliga underlag.

5 aug 2025 - Energisystem


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


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon