Formell verifiering som app

EDA-företaget OneSpin Solutions tar nu ytterligare ett steg för förenkla användningen av formell verifiering. En ny plattform, OneSpin 360 LaunchPad, kan licensieras av tredjepartstillverkare och ingå som del av applikationsspecifika verifieringsappar. – Det finns massor av företag som tillverkar domänspecifika verifieringslösningar och kan dra nytta av formell verifiering, säger Dave Kelf, marknadschef för Onespin Solutions

Antenova släpper ny SMD-antenn

Antennspecialisten Antenova säger sig ha utvecklat sin hittills minsta rundstrålande antenn för tillämpningar med Bluetooth, Wi-Fi, Zigbee och ISM-bandet.

Elfordon ska göras hörbara

Från och med 2019 ska alla nya eldrivna fordon som säljs utrustas med ett varningssystem (AVAS), som ger ifrån sig ett ljud då fordonen framförs i lägre hastigheter. Ljudet ska förebygga olyckor genom att göra fordonen mer hörbara. Bakom beslutet ligger EU-parlamentet.

Qt fyller 20 år

Det är nu 20 år sedan de två Trolltech-grundarna Haavard Nord och Eirik Chambe-Eng lanserade den första versionen (0.90) av grafiksystemet Qt framework. Idag har systemet mer än 800 000 användare.

Svenskt instrument hittar knark

Serstech, med kontor på Ideon i Lund, lanserade i fjol ett handhållet instrument som identifierar exempelvis droger och andra kemikaliska ämnen. Nu har Combitech, på uppdrag av Serstech, utvecklat en molnlösning som gör det möjligt att upptäcka samband mellan mätresultat. Något som kan stärka det globala samarbetet mot organiserad brottslighet.

ABB öppnar robotfabrik i USA

ABB meddelar att man kommer att starta produktionen av robotar i USA. Företaget gjorde tillkännagivandet vid öppnandet av en ny robotanläggning vid sin anläggning i Auburn Hills, Michigan och produktionen skall påbörjas omedelbart.

LOGI för Raspberry Pi och BeagleBone

Från distibutören Farnell element14 kommer LOGI Boards, ett enkelt sätt att koppla ett FPGA-ekosystem till Raspberry Pi and BeagleBone.  

2,6 GHz A/D-omvandlare för flyg

Från Analog Devices kommer en 2,6 GHz A/D-omvandlare konstruerad för att hantera behoven av höga bandbredder och dynamiskt omfång hos flyg- och försvarstillämpningar. Omvandlaren klarar frekvensplanering och signalkänslighet i avancerade elektroniska övervaknings- och motåtgärdsapplikationer.  

IDT släpper klockgeneratorer med inbyggd kristall

Integrated Device Technology (IDT) introducerar nu två nya versioner av sina VersaClock  5 programmerbara klockgeneratorer som nu har en inbyggd 25 MHz kristall som referens. Med ett typiskt fasgitter på 700 fsec RMS möts kraven från bland annat 1G/10G Ethernet och PCI Express Gen 1, 2, 3.

Lanserar privat moln för back-up

LEAD-företaget Brace It AB i Linköping söker nu finansiering till vad företaget lanserar som världens första ”privata moln”. Deras produkt ReVault ska överbrygga två läger: De som backar upp filer på molnet av åtkomstskäl och de som lagrar på hårddisk av säkerhetsskäl. Produkten lanseras nu genom en ”crowdfunding”-kampanj på Indiegogo.