NASA draži patente
Slo-Tech - 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...
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...