v2218 – Formell verifiering av SystemC/C++

 

 

 

Is this email not displaying correctly?
View it online.
Elektronik i Norden
2022-05-03

Certifierat bibliotek för egen SIL 2/3 säkerhetstestning


System för industristyrning, robotar, sensorer, gas- och rökdetektion måste vara fullständigt säkra och den industriella säkerhetsstandarden IEC 61508 är därmed en förutsättning för sådana tillämpningar.

Vår breda portfölj av 32-bitars SAM- och PIC32-styrkretsar och digitala dsPIC33C-signalstyrkretsar erbjuder TÜV Rheinland-certifierade diagnostiska bibliotek (för egen säkerhetstestning) för konstruktioner med sikte på upp till SIL 3, IEC 61508 FMEDA och/eller säkerhetsmanualer, och är tillgängliga i ett komplett paket.

 

MER INFORMATION

Formell verifiering av SystemC/C++

Coding Styles för SystemC/C++ har visserligen använts i många år, men det är först på senare tid som specifika användningsmodeller har tagits fram för att driva på gemensamma designflöden bland konstruktionsteamen. Bland dessa finns att använda abstrakt algoritmisk designkod som indata till HLS-verktyg (High Level Synthesis), virtuella plattformsmodeller för tidig mjukvarutest, konfigurerbara IP-block och därtill många fler. Vlada Kalinic, produktchef för SystemC Formal Verification på OneSpin, ett Siemens-företag beskriver här hur formell verifiering kan effektivisera konstruktionsarbetet. Artikeln presenterades ursprungligen vid DVCon Europe 2021.


Läs mer..

Läs temaartiklarna om radiomätteknik

Läs temaartiklarna om embeddedsystem

Klicka här för att prenumerera på
Elektronik i Nordens Nyhetsbrev

Köp av Liab Instrumenteringar

Instalco köper Liab Instrumenteringar AB i Karlstad. Bolaget tillverkar och installerar styrsystem och automationsutrustning till industrin.


Linus Lindquist, Nils-Olov Lundquist, Gustaf Larsson Ernefelt, Christoffer Lundquist, Johan Larsson, Thomas Lundquist och Jonas Björk. Foto: Instalco

Read more »

Ökade investeringar i energieffektivitet

Den globala industrin ökar sina investeringar i energieffektivitet under de närmaste fem åren, visar undersökningen The Energy Efficiency Investment Survey 2022.

Read more »

Automation med Raspberry Pi

Farnell har tecknat ett nytt distributionsavtal med KUNBUS, tillverkare av system för industriell automation och styrningsapplikationer. Systemen baseras på Raspberry Pi.

Read more »

AI för tillverkningsindustrin

Tietoevry och Microsoft har ingått ett strategiskt samarbete för automatisering med hjälp av AI-stöd för tillverkningsindustrin. Tietoevry blir genom partnerskapet Microsofts förstahandsval i norra Europa för lösningar som baseras på low code-plattformen Microsofts Project Bonsai.

Read more »

COM-HPC för snabb IoT

Från Kontron kommer en ny COM-HPC-modul, COMh-ccAS, för avancerad databearbetning. Modulen är baserad på Intels senaste Core S-processor och är speciellt lämpad för system med höga krav på grafik- och dataprestanda.

Read more »

Integrerad strömgivare med utgång för sigma/delta-baserad bitström

Från LEM kommer HMSR DA, marknadens första integrerade strömgivaren med utgång för sigma/delta-baserad bitström. Givaren, som är den senaste modellen i LEMs HMSR-familj, kommer att presenteras på kraftelektronikmässan PCIM Europe 2022 i Nürnberg, Tyskland (10–12 maj 2022).

Read more »

Omkonstruerad autopilot

Farnell samarbetar med seglaren Alberto Riva – oceanskeppare, designingenjör och Farnells varumärkesambassadör – för att omkonstruera sin autopilot för båtar.

Read more »

Midsummer slutlevererar forskningsmaskin

Det svenska solenergiföretaget Midsummer har slutfört installationen av sin egenutvecklade UNO-maskin för forskning om tunnfilmssolceller vid University of New South Wales i Sydney, Australien.

Read more »

Modul för Bluetooth LE och Wi-Fi

Från u-blox kommer modulen NORA-W10 för Wi-Fi 4 och Bluetooth low energy 5.0. Modulen är bland annat avsedd för svåra industriella miljöer där tillförlitliga RF-prestanda är kritiska.

Read more »

HANZA växer snabbt

HANZA Holding AB redovisar en rekordhög tillväxt under det första kvartalet 2022, samt en stark orderingång från samtliga kundområden. Vidare har bolaget invigt en nybyggd produktionsanläggning i Tartu, Estland, om 12 000 kvm och expanderar under våren med nya produktionsytor i Polen, Tjeckien och Kina.


Erik Stenfors, vd för HANZA

Read more »

Banbrytande katodmaterial

Altris AB och AB Sandvik Materials Technology har skrivit på ett avtal för att öppna en ny anläggning i Sandviken, där Altris ska tillverka katodmaterial till natriumjonbatterier i industriell skala. Ferrum, som den nya anläggningen heter, har en årskapacitet på 2 000 ton av Altris eget banbrytande katodmaterial Fennac, vilket i praktiken betyder att man kommer att förse marknaden med hållbara natriumbatterier motsvarande 1 gigawattimme per år.

Read more »

Solcellsmottagare med additiv tillverkning

I ett nytt EU-finansierat projekt ska Högskolan Västs forskare undersöka om additiv tillverkning av solcellsmottagare kan vara nyckeln till effektivare solenergianläggningar.


Read more »

Hacka betalkort på 6 sekunder

Forskare uppskattar att ett genomsnittligt betalkort kan knäckas på bara sex sekunder. En studie från NordVPN som analyserat 4 miljoner betalkort från 140 länder visar att den vanligaste metoden att hacka ett betalkort är med hjälp av brute force. Denna typ av attack är otroligt snabb och kan utföras på några sekunder.

Read more »

Låg legitimitet i arbetet med standarder för informationssäkerhet

Dataintrång, bedrägerier och spridning av skadlig kod blir allt vanligare – en utveckling som ställer höga krav på informationssäkerheten. Nu visar en studie från Örebro universitet att själva processen med att ta fram standarder för informationssäkerhet kan ifrågasättas.


Forskarna Fredrik Karlsson, Annika Andersson och Karin Hedström.

Read more »

Ny chef för Inission Innovate

Inissions affärsutvecklare Marcus Karlsson tar över ansvaret för affärsområdet Inission Innovate och tillträder som affärsområdeschef den 23 maj.

Read more »

En helt ny värld

Läs krönikan på webben

Rysslands anfallskrig mot Ukraina öppnade västvärldens ögon på allvar. Nittiotalets drömmar om en värld utan krig har gått upp i rök och det är dags att till slut anpassa politiken till hur världen faktiskt ser ut. Ledord som öppna gränser, avrustning och överstatlig styrning åker ut och ersätts med nationalism, gränskontroller, samarbete och traditionell diplomati. Det blir nog också mindre attraktivt att låta Ryssland och Kina ta hand om säkerhetskritisk infrastruktur.

Men visst var en värld i fred en trivsam tanke. I en värld dominerad av demokrati och marknadsekonomi skulle krig inte längre vara intressant. Krig är dåligt för handeln och krig är dåligt för globala infrastrukturer.

Och i stor utsträckning har det faktiskt fungerat. Demokratiska länder med marknadsekonomi har inte startat krig mot varandra på mycket länge. Små ”missar” som Falklandskriget får väl ses som undantaget som bekräftar regeln.

Demokratin vann inte
Problemet är bara att världen inte domineras av demokrati och marknadsekonomi. Sovjetunionens kollaps 1991 innebar inte en total omställning av vårt närområde, även om många av de gamla Warszawapaktsländerna kom över till ”rätt” sida. Kinas övergång till en kapitalistisk ekonomi innebar inte att landet blev demokratiskt. Försöken att göra arabvärlden demokratisk har heller inte lyckats.

Många brukar göra sig lustiga över Francis Fukuyamas bok ”The End of History and the Last Man” från 1992. I boken hävdar Fukuyama att den västerländska liberala demokratin är något av en slutpunkt i en lång (och positiv) politisk global utveckling och att Sovjetunionens fall är en viktig del i den utvecklingen.

Ärligt talat har jag inte läst ”The end of History and the Last Man”, trots att Francis Fukuyama är en av mina favoriter. Hans ”The Origins of Political Order” (2011) och ”Political Order and Political Decay” (2015) är till exempel briljanta och kan varmt rekommenderas.

Men inte är det mycket som pekar mot att Fukuyama får rätt om ”historiens slut” de närmaste årtiondena. Utvecklingen i Ryssland går snabbt åt fel håll och Kina skall vi bara inte tala om. Kinas politiska utveckling är numera snarast aktivt antidemokratisk och ytterst västfientlig.

Politiska konsekvenser
I det här läget borde det vara omöjligt att agera som om alla länder i världen vore demokratiska marknadsekonomier. Ändå är det precis vad som hänt de senaste trettio åren. Vi har fått se öppna gränser, kraftfull nedrustning och en närmast total öppenhet också när det gäller säkerhetskritisk infrastruktur. Säkerhetspolitiska risker har inte värderats högt.

Men den tiden lär snart vara över. Alla västländer rustar sin krigsmakt av hjärtans lust och Finland och Sverige är snart medlemmar i Nato. EUs öppna gränser är rimligen snart ett minne blott.

Redan för ett par år sedan började dessutom västvärlden dra öronen åt sig så smått när det gäller säkerhetskritisk infrastruktur från Kina. Hittills gäller det bara mobiltelefoni, men i Sverige har ser vi nu en debatt om det verkligen är vettigt att låta kinesiska företag ta hand om byggandet av nya tunnelbanelinjer, säkerhetskontrollen på Arlanda och sådant.

Kriget i Ukraina fick naturligtvis omedelbara konsekvenser för ryska företag inom säkerhetskritisk verksamhet. Framför allt handlar det om kärnkraft, där ryska Rosatom är en stark internationell spelare. Finland har nu sagt upp de kontrakt som fanns på nya kärnkraftverk och i gamla östländer som Polen har en rad ryska affärsmöjligheter gått upp i rök.

Tillbaka till gammal diplomati
Allt det här kan låta som katastrofala förändringar, men i själva verket innebär det mest bara en återgång till de förhållanden som gällde fram tills för ungefär trettio år sedan. Man kan kanske säga att det handlar om ett uppvaknande ur en lång period av önskedrömmar.

För diplomati och utrikespolitik betyder det bland annat kraftigt ökad fokus på spioneri och underrättelseverksamhet. Inget ont i det. Det är aldrig fel att veta vad ovänner (och vänner) har för sig.

Traditionell maktpolitik är heller inget nytt. ”Gullighet” har inte mycket med framgångsrik utrikespolitik att göra. Den som vill tala snällt gör bäst i att ha en kraftig käpp i handen (Theodore Roosevelt: ”speak softly and carry a large stick”).

Man kan naturligtvis gråta över ”den starkes rätt” och kräva att internationella domstolar sätter spelreglerna. Men i verkligheten sätter alltid den starke spelreglerna. Den som inte har ett starkt försvar kommer förr eller senare att ångra sig.

Och diplomatiska förhandlingar – tja, det är bara att lära sig av Ryssland och Kina. Ge aldrig bort något utan motprestation. Man kan också utgå från svensk diplomati och sedan göra precis tvärtom.

Nationalism
Vi ser tydligt att ett hårdare politiskt klimat kräver internationellt försvarssamarbete. I en värld med kärnvapen måste man på något sätt ha en försäkring och Nato är en sådan försäkring.

Men kriget i Ukraina visar också hur viktigt det är att ha en nationell försvarsvilja. Vem trodde väl att Ukraina skulle klara av att stå emot ett massivt anfall från det mycket starkare Ryssland? Men Ukraina kunde kalla in tillräckligt många villiga försvarare.

Nationalismen är den viktigaste försvarsfaktorn i Ukraina, på samma sätt som den alltid varit viktig för länder som försvarat sig mot angripare. Att försvara den egna nationen är mycket intressantare än att förvara någon form av luddig ”världsregering”.

Här faller naturligtvis utopier som en övergripande ”FN-regering” och andra liknande dumheter. Tanken att samlas bakom António Guterres under FN-fanan faller på sin egen pinsamhet. Samma sak gäller EU.

Övergången från EG till EU var förresten knappast någon säkerhetspolitisk ”höjdare”. Inte nog med att man ”skrämde bort” Storbritannien. EU har dessutom ägnat mycket energi åt att försöka skapa en EU-nationalkänsla på nationalstaternas bekostnad. Någon EU-nationalkänsla har det inte blivit. Däremot har man förmodligen lyckats försämra nationalkänslan i de länder som ingår i EU.

Att öppna gränser, förbud mot gränskontroller och gemensam valuta är säkerhetspolitiskt tvivelaktigt inser nog de flesta. Både gränskontroller och valutahantering är dessutom enkelt att hantera i dag.

Handel och infrastruktur
Den nya världsordningen innebär inte att vi måste sluta handla med varandra. Den innebär inte heller att internationella företag måste dra sig ur alla ”ovänliga” länder.

Men det är nog ofrånkomligt att säkerhetsaspekter får betydligt större betydelse än hittills. Försvarsindustrin undviker samarbete med potentiella fiender och nationer undviker att köpa kritisk infrastruktur från potentiella fiender.

Här gäller det att sätta gränser på ett vettigt sätt. Man bör förstås undvika att köpa kärnkraftverk från Ryssland eller Kina. Man kanske också skall undvika att låta kinesiska företag bygga grundläggande infrastruktur som kraftledningar och järnväg. Och man skall förmodligen vara betydligt mera noggrann än hittills när det gäller att låta viktiga svenska företag köpas av kinesiska eller ryska företag.

Att man inte bör låta svenska hamnar och flygplatser gå över i ”fientlig” ägo är väl också ganska självklart. Och trenden mot stora vindkraftparker ägda av kinesiska företag är åtminstone något man bör hålla ett öga på.

Annars kan förhoppningsvis det mesta fortsätta som vanligt. Det gäller bara att inte vara naiv. Regelverket för att handla med ”ovänliga länder” kommer säkert att bli betydligt krångligare, men knappast värre än det vi hade för trettio år sedan. Fast de som minns elektronikhandeln med Sovjetunionen på åttiotalet vet hur jobbigt det var på den tiden.

Handeln mellan vänliga länder påverkas naturligtvis inte negativt. Tvärtom kommer den att öka i takt med att import och samarbete om säkerhetskritiska produkter begränsas mot ovänliga länder. Energiområdet kan bli extra intressant.

Elektronikindustrin riskerar självklart att få störst påverkan i och med det stora beroendet av Kina och riskerna för en invasion av Taiwan. EUs satsning på halvledarteknik får väl ses i det ljuset.

Se på historien
Förhoppningsvis ägnar våra politiker, diplomater och journalister årets semesterkvällar åt att läsa historieböcker. Där finns mycket att lära. Historien började inte för trettio år sedan.

Det viktiga är att inte förlora hoppet om världen och mänskligheten. Det går faktiskt att samexistera med länder vars ledare tappat kontakten med verkligheten. Det har vi gjort många gånger tidigare.

Men att vi i det läget måste ha ett starkt försvar, en stark polismakt och ett starkt gränsskydd – det borde inte vara något nytt.

På kuppen kanske vi till och med får lära oss lite om prioriteter. Vi kanske tvingas prioritera ner en del modeord som intersektionalism, genusteori, hållbarhet och klimatkatastrofer. Fast det kan vi nog stå ut med.

 

 

Har du några frågor, kontakta gärna mig Redaktör Göte Fagerfjäll, gote@elinor.se

Avsluta Prenumerationen genom att klicka här

Comments are closed.