Rapport

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

Uppdaterad 2023-11-06 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

Nytt projekt undersöker PD-aktivitet i elnätet: ”Kan handla om miljardbelopp i besparingar för svenska elnätsägare”

50 000 svenska nätstationer kan drabbas av förtida funktionsfel orsakade av elektriska urladdningar, partial discharge, PD. Ett Energiforskprojekt ska undersöka grundorsakerna till PD-aktivitet, varför det är så utbrett och vad som kan göras för att förebygga det i framtiden.

14 jun 2024 - Elnät


Rekommendationer för hantering av övertoner från sol- och vindkraft

För att nyanslutningen av sol- och vindkraft inte ska försämra elkvaliteten betonar en ny rapport behovet av korrekt tillämpning av metoder för att studera och följa upp övertoner. Mer forskning behövs, särskilt kring emissioner från solomriktare och vindkraftverk för att förbättra tillförlitligheten vid beräkning av övertonsnivåerna.

10 jun 2024 - Elnät


Reparationsinjektering av fyllningsdammar

SVC-doktoranden Johan Lagerlund disputerade nyligen med en avhandling om hur man kan reparera dammkonstruktioner. I takt med att våra dammkonstruktioner blir äldre behöver vi få bättre möjligheter till underhåll och reparation av våra dammar.

10 jun 2024


Ny rapport: Frivillig effektmarknad minskar effektbristen

Om risken för effektbrist ökar och blir påtaglig kan en frivillig effektmarknad växa fram, och därmed minska effektproblemet, enligt en ny Energiforskrapport. Men en förutsättning är att staten tydligt signalerar att dess ansvar stannar vid en begränsad effektreserv och inget mer, säger rapportens huvudförfattare Lars Bergman.

31 maj 2024


Energiforsk leder nordiskt projekt för lokal energiomställning

Nordiska ministerrådets organ Nordisk Energiforskning har beviljat 22 miljoner kronor till ett treårigt projekt som ska ta fram råd och verktyg för att underlätta energiomställningen lokalt. Energiforsk leder projektet som genomförs i samarbete med åtta forskningsorganisationer, två kommuner och två kommunförbund i Sverige, Norge och Danmark.

29 maj 2024


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon