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

Nytt projekt undersöker hur betongstolpar åldras i svenskt klimat

Vattenfall Eldistribution ska rasera en 30 år gammal linje med betongstolpar, vilket ger en unik möjlighet att undersöka hur dessa stolpar har åldrats i svenskt klimat. Forskningen är viktig för att förstå betongstolparnas livslängd och för att kunna fatta välgrundade beslut om underhåll och reinvesteringar.

6 maj 2025 - Elnät


Nu på engelska: Magnetism kopplas till svetsproblem i fjärrvärmesystem

Flera fjärrvärmebolag har upplevt en större mängd defekter i svetsfogar på fjärrvärmerören jämfört med för ett par år sedan. Forskning visar att problemet har att göra med ökad magnetism i rören. I projekten Svetsbarhet av fjärrvärmeapplikationer etapp 1 och 2, har forskare funnit starka indikationer på att det beror på otillräcklig avmagnetisering av stålrören efter tillverkning. Nu finns rapporterna även på engelska.

30 apr 2025 - Värme och kyla


Vattenkraftens uthållighet: 80% produktion under kritiska veckor

Svensk vattenkraft har potential att producera på cirka 80% av sin tillgängliga kapacitet under 1–3 veckor, vilket motsvarar ungefär hälften av toppbehovet. Det visar en ny studie från Chalmers som ger oss en djupare förståelse för vattenkraftens förmåga att hantera perioder med hög efterfrågan och låg vindkraftproduktion.

28 apr 2025


Handbok ska hjälpa fjärrvärmebranschen att prioritera temperatureffektiviseringar

Hur sänker vi temperaturerna i dagens fjärrvärmesystem? I en rapport lyfts flera exempel, däribland Luleå Energis framgångsrika arbete med sänkta systemtemperaturer.

22 apr 2025 - Värme och kyla


Var i landskapet ska den nya gröna elproduktionen få plats?

Var i landskapet ska den fossilfria elproduktionen rymmas, när landskapet är så viktigt för den nordiska självbilden? Det ska samhällsplanerarna Daniel Urey och Alexander Marek från Lablab försöka ge svar på i forskningsprojektet Speed Local.

17 apr 2025 - Energisystem


Nyhetsarkiv

Om rapporten

Rapportnummer

2016:268

Författare

Samuel George, Sofia Guerra,Catherine Menon