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.
Verification and validation techniques for I&C applications in Nordic NPPs
Nyheter

Ny rapport om elnätens automatisering - mänsklig tillit i fokus
Har svenska hushåll tillit nog för att hantera den genomgripande förändring av samhället som det skulle innebära att implementera smarta elnät?

Fyra år av forskning på en dag – konferens om hållbar vattenkraft
Hur ställer vi om vattenkraften till moderna miljövillkor? Det var temat på slutkonferensen för Vattenkraftens miljöforskningsprogram.

Markus Wråke till regeringens nya elektrifieringsråd
Regeringen har som en del av Elektrifieringsstrategin tillsatt ett elektrifieringsråd som ska stödja regeringens arbete med att genomföra den nya strategin. En av de utsedda ledamöterna är Energiforsks vd Markus Wråke.

Näringspellets av slam och aska sluter kretslopp och skapar cirkulär ekonomi
Att producera näringspellets av skogsindustriella restprodukter kan sluta kretslopp och skapa möjligheter för en cirkulär ekonomi.

Banbrytande övervaknings- och skyddsmetoder för lindningskopplare revolutionerar elbranschen
Övervaknings- och skyddsmetoder för lindningskopplare (on-load tap changers/OLTC), kan förutsäga och minimera oplanerade avbrott och säkerställa avbrottsfri strömförsörjning.
Ladda ner
Om rapporten
2016:268
Samuel George, Sofia Guerra,Catherine Menon