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
Håll rätt energinivå!
I år medverkar Energiforsk på Vetenskapsfestivalen i Göteborg, festivalen där det gemensamma målet är att låta barn och skolungdomar få en inblick i vetenskapens värld. Genom satsningen Vattenkraftens framtidsprogram deltar Energiforsk med en experimentstation där de besökande barnen, med hjälp av några motionscyklar, ska försöka hålla balansen på elnätet.
Vilken typ av solceller vill vi leva med?
Marieke Rynoson, forskar om solceller på doktorandprogrammet i energisystem på Högskolan i Dalarna. Ingenjörer glömmer ibland bort att se på solceller ur ett socialt perspektiv, menar Marieke Rynoson. – Jag vill fokusera på social hållbarhet för att ge branschen insikter om vad vi faktiskt vill leva med!
Beslutsstöd för återvinning av slaggrus fungerar, men behöver uppdateras
För att underlätta bedömningen av potentiella miljö- och hälsorisker med återvinning av slaggrus, finns ett beslutstöd sedan 2019. I det här projektet har forskarna undersökt hur beslutsstödet fungerar i praktiken.
Exploring vibrations in power plants with Professor Rainer Nordmann
Energiforsk and Professor Rainer Nordmann have arranged a one-day-lecture tour of Sweden and Finland on turbogenerator vibrations.
Ny rapport: Vätgas har goda förutsättningar att bidra med flexibilitet till elsystemet
I ett framtida energisystem kan vätgas utgöra en flexibel resurs som bidrar till att balansera elsystemet på olika tidshorisonter, både avseende effekt- och energibalans och frekvensreglering.
Om rapporten
2016:268
Samuel George, Sofia Guerra,Catherine Menon