NASA draži patente

NASA bo v četrtek, 11. 11. 2010, priredila dražbo, kjer bodo zainteresiranim kupcem ponudili v odkup pet patentov za avtomatični razvoj programske opreme. Tehnologija, ki jo pokrivajo omenjeni patenti, je bila prvenstveno razvita za razvoj kode za nadzor flot vesoljskih ladij, a je uporabna tudi v komercialnih aplikacijah, kjer se uporablja razvojni sistem na podlagi pravil.

Tehnologija nudi metodologijo za razvoj formalnih modelov za nadzor sistemov, kjer bi imela odpoved katastrofalne posledice. Semkaj sodijo programska oprema za simulacije in modeliranje, avtomatizirani industrijski kontrolni sistemi, omrežja detektorjev, pametna omrežja IT-sistemov in kompleksna robotika, pravi NASA. Dodajajo, da gre pri avtomatičnemu pisanju programske kode za dva korake. Najprej se ročno ustvari formalni model, ki ima vpisane uporabniške zahteve. NASA za ustvarjanje potencialnih scenarijev iz formalnih zbirk uporabniških zahtev uporablja orodje Learning Automata. Iz teh scenarijev se nato generira formalni model, ki je preverljivo konsistenten z uporabniškimi zahtevami. Drugi korak, ko iz formalnega modela dobimo preverjeno kodo, je že dobro znan.

Patenti bodo naprodaj z izklicno ceno 250.000 dolarjev.