About / Advertise
Ericssonspråket Erlang och den bevisat korrekta australiska mikrokärnan Sel4 – det är två av beståndsdelarna i nyzeeländska Kry10:s operativsystem för IoT.
Nästa gång du planerar en IoT-produkt kanske du vill överväga att använda Kry10 som plattform?
Bolaget Kry10 har varit aktivt sedan mars 2017, men det finns ännu ingen riktig produktrelease av Kry10. Statusen är att den testas hos pilotkunder. Ingen egentlig marknadsföring har startat.
 |
| Boyd Multerer |
– Jag har flugit under radarn hittills. Kul att se en artikel! Det kan faktiskt vara den första riktiga artikeln om vad vi sysslar med här, säger grundaren Boyd Multerer, som har en bakgrund på Microsoft.
En IoT-plattform ska vara robust och motståndskraftig mot cyberintrång. Därför är Kry10 baserad på Sel4, en matematiskt bevisat korrekt mikrokärna från australiska forskningsinstitutet Nicta. Kry10 blev idag medlem i Sel4-stiftelsen – det var så Elektroniktidningen blev medveten om plattformens existens.
Programspråket Erlang är svensk teknik som skapades på Ericsson för robusta skalbara effektiva telefonnät. Närmare bestämt använder Kry10 en virtuell maskin för Erlang kallad Beam.
– Den är skräddarsydd för litet fotavtryck och annat, och är faktiskt perfekt för inbyggda system. Här handlar allt om upptid och felåterhämtning.
Beam kör appar som användaren skriver i ett språk kallat Elixir. Det liknar på många sätt Erlang, men har just nu ett starkare ekosystem för tillämpningsområdet. Elixir är liksom Erlang ett funktionellt språk, vilket betyder att det är enkelt att utveckla i och att utvecklaren får halvautomatiskt stöd för kodkorrekthet genom att kompilatorn kan stoppa många potentiella buggar.
Operativsystemet Kry10 är komplext, med bland annat stöd för multipla trådar och parallellism med cachekoherens. Det är inte avsett för styrkretsar utan för mer komplexa tillämpningar på approcessorer med MMU och annat bra operativstemsstöd.
Plattformen Kry10 ska på sikt även omfatta egen hårdvara. Boyd Multerer pekar på sidokanalsattackerna Meltdown och Spectre som demonstrationer av att det finns en gräns för vad ens den mest omsorgsfullt cybersäkrade mjukvara kan skydda sig mot.
Även med Elixir och Sel4 som grund, lovar inte Boyd Multerer att appar som körs på Kry10 är 100 procent buggfria och cybersäkra. Men han törs lova att cyberattacker i stor utsträckning kommer att kunna detekteras och att framgångsrika attacker på en app inte kan sprida sig till andra appar. Det sistnämnda backas upp av något som Sel4 kallar ”application isolation policies” och som gör att det går att köra varje app på varsin virtuell dator, utan att fördenskull kräva komplett virtualisering med en hypervisor.
Det förstnämnda – övervakning och omstarter av trådar vid behov – knycks ur Erlangmotorn som lärde sig konsten när det en gång i tiden hanterade avbrutna telefonsamtal.
Appar skrivs av användaren i Elixir. Själva operativsystemet med drivrutiner skrivs i C och Rust.
På plattformen finns också programvara för utrullning, övervakning och underhåll av större system av upp till miljontals IoT-noder.
Vad gäller när Kry10 kommer att vara allmänt tillgänglig säger Boyd Multerer att det kommer att dröja ”ännu ett tag” men att du hemskt gärna får höra av dig om du har ett intressant projekt och är sugen på att leka lite grand med Kry10-plattformen.
Under de kommande månaderna kommer Kry10 att presentera nyheter om sjösatta system, om projekt med externa utvecklare och annat.
Boyd Multerer kommer från Seattle, men det är ingen slump att han och Kry10 hamnat på Nya Zeeland. Han flyttade hit för att nära Australien där Sel4 utvecklas på forskningsinstitutet Nicta.
– Jag flyttade hit för några år sedan. Av många skäl, men närheten tll Sel4 var en av dem. Nu kan jag prata med gruppen i samma tidszon. Dessutom rekryterar jag en egen grupp nu, med alumni därifrån.
Hello World i Kry10 OS:
