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

Rekommendationer och lösningar för att underlätta digitaliseringen av elnäten

I en ny syntesrapport redovisas olika rekommendationer och lösningar för att underlätta förverkligandet av ett mer flexibelt energisystem. Flera av projekten analyserar och utvärderar de möjligheter som digitalisering och ny teknik kan bidra med inom elnätsområdet.

19 jan 2023


Lär dig mer om standarder för elnät – gå med i CIM-nätverket

Vill du få nyheter och lära dig mer om EU:s standarder för elnät? Nästa träff är redan den 9 februari och det finns plats för fler deltagare.

18 jan 2023 - Trygg elförsörjning


Bergrum blir varmvattenlager för fjärrvärmen

I Västerås bygger Mälarenergi just nu ett gigantiskt varmvattenlager i ett gammalt beredskapslager för olja. Här ska 300 000 kubikmeter vatten lagras, motsvarande 13 GWh fjärrvärme. I ett forskningsprojekt som Energiforsk har initierat följer Ulrika Sagebrand utvecklingen av värmelagret och samlar ihop erfarenheterna.

18 jan 2023


Energiforsk värvar Sara Hugestam från Vattenfall i vätgassatsning

Sara Hugestam har börjat på Energiforsk som programansvarig inom energisystem och marknad. Hon arbetar med programmet Vätgasens roll i energi- och klimatomställningen, med bio-CCS och transportsektorns omställning till 2030. Närmast kommer Sara Hugestam från Vattenfall, där hon arbetat med att utveckla koldioxidavskiljning vid värmeverket i Uppsala för produktion av hållbart flygbränsle.

11 jan 2023


Vindforsk tar fram fakta om vindkraft för att stötta kommuner

Forskningsprogrammet Vindforsk satsar nu på att ta fram faktaunderlag till kommunerna i och med att många nya kommunpolitiker har tillträtt efter valet.

27 dec 2022 - Sol och vind


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon