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

Pressmeddelande: Sveriges val – tryggare och högre eller lägre och mer varierande elpriser

Ska Sverige gå mot ett elsystem som är tryggare men dyrare – eller ett med lägre men mer varierande elpriser? Det är ett val landet står inför, en utveckling med elpriser som är både låga och stabila är osannolik, enligt en ny rapport från Energiforsk.

8 okt 2025 - Energisystem


Ny rapport rekommenderar att Sverige inför pris på effekt

Det är osannolikt med de kraftiga ökningar av elanvändningen som florerat i debatten, men även med en mer måttlig ökning fram till 2035 krävs förändringar av elmarknaden. Dagens energy-only-marknad behöver kompletteras med en mekanism för prissättning av effekt. Det kommer Lars Bergman och Peter Fritz fram till i Nepp-rapporten ”Elmarknaden 2035”.

8 okt 2025 - Energisystem


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


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon