Da li ste nekada imali dodira sa nekim projektom ili sistemom sa desetinama ili stotinama hiljada fajlova? Održavanje tolikog skupa datoteka nije nimalo lako, zar ne? Postizanje zadovoljavajućeg nivoa bezbednosti i otkrivanje ranjivosti fajlova u takvom sistemu sigurno prouzrokuju glavobolje svakome ko je za te zadatke zadužen. E, tu na scenu stupa OmniBOR.
Savremeni kompajleri beleže neverovatane rezultate, kako u pogledu smanjenja vremena izvršavanja programa, tako i u redukciji veličine finalnih izvršnih datoteka. LLVM/Clang [0] predstavlja ekosistem najsavremenijih tehnologija iz ove oblasti. Mnoge kompanije kao što su Google, Apple, AMD, CISCO, SONY, itd., koriste baš ovaj kompajler kao primarni prevodilac za izgradnju njihovih proizvoda. Za čitanje nastavka teksta, podrazumeva se površno znanje kompajlerskih tehnologija.
Modelima-vođeno softversko inženjerstvo zasniva se na eksploataciji modela sistema ili određenog domena, sa ciljem automatizovanja procesa razvoja softvera [6]. U ovom kontekstu, modeli se mogu iskoristiti na različite načine – za generisanje dokumentacije, izvršivog koda, ali i verifikaciju i validaciju. Između ostalog, modelima-vođen pristup ima puto potencijala što se testiranja u autmobilskoj industriji tiče.
Već je široko prihvaćena činjenica da je softver trenutno glavni izvor inovacija u automobilskoj industriji. U prilog tome ide i činjenica da je od devedesetih, kada je automobil prosečno sadržao par MB binarnog koda, koji se izvršava na jednoj ECU računarskoj jedinici (Electronic Control Unit), do danas, količina softverskih artefakata po automobilu dosegla red veličine od nekoliko GB, i to isključujući mape i korisničke podatke, a izvršava se na čak više od 150 ECU [1].