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

Insektsangrepp från snytbaggen kan minskas med bioaska
Försök i fält visar att bioaska minskar snytbaggegnag på nyplanterad gran. Maria Greger på Stockholms universitet har nu genomfört ytterligare en studie som visar att snytbaggar undviker nyplanterade granplantor som fått en giva bioaska.

Pressmeddelande: Hälften av Sveriges elproduktion blir väderberoende om tio år
Nästan all ny elproduktion som byggs de kommande åren kommer vara landbaserad vindkraft och solel. Det innebär att om industrins efterfrågan av el ökar kraftigt kommer hälften av all el vara väderberoende 2035. Samtidigt kommer elpriserna variera mer än i dag, enligt en ny rapport från Energiforsk.

Havsbaserad vindkraft bör satsa allt på vätgas – eller allt på el
Havsbaserade vindparker bör välja – använd hela parkens kapacitet till att producera vätgas och avstå från att leverera el, eller skippa vätgas helt. För landbaserad vindkraft bör 30–40 procent av kapaciteten vikas för vätgas.

Säkerhet och dimensionering för betongdammar i nya Eurokoden
Den andra generationens Eurokod utvecklas just nu och kommer senast 2028 att ersätta den första. Mikael Hallgren och Fredrik Stenesand på Tyréns har i ett projekt undersökt skillnaderna mellan den första generationens Eurokod och den kommande generationen avseende betongdammar.

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.
Om rapporten
2016:268
Samuel George, Sofia Guerra,Catherine Menon