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

Klimatprojekt förbereder energisektorn

Det varmaste året som någonsin har uppmätts i Europa var 2019 enligt aktuella siffror. Det innebär att förutsättningarna för olika energislag påverkas, att energianvändningen förändras och att hela energisystemet blir mer sårbart.

19 maj 2020


CIGRE går online

Den snart 100-åriga organisationen CIGRE, vars verksamhet är inriktad på forskning och utveckling kring högspänd elektrisk energi, ersätter sin kongress i augusti med webbinarier.

15 maj 2020


Spännande arbete med standard för ursprungsgarantier

Standarden för energirelaterade ursprungsgarantier genomgår just nu ett större revideringsarbete och går från att vara frivillig till att bli en mandaterad standard, reglerad genom lagstiftning i EU. Energiforsk följer kontinuerligt utvecklingen och ger energiföretagen en möjlighet att påverka.

4 maj 2020


Linjeagenter har koll på luftledningar

I delar av Sverige består elnätet på landsbygden fortfarande av luftledningar. Att ha full kontroll på långa sträckor av ledningar är svårt. Ofta sker manuell felsökning av tekniker på plats vilket tar tid, kräver mycket arbetskraft och medför höga kostnader.

29 apr 2020


Samlad information om termiska energisystem

Idag finns flera internationella plattformar för kunskapsutbyte och omvärldsbevakning av värme- och kylsystem, men det saknas en liknande motsvarighet i Sverige. Linköpings universitet och Energiforsk bygger information på webben för att öka kunskap och bevakning av vad som händer inom termiska energisystem.

20 apr 2020


Nyhetsarkiv

Ladda ner

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon