Št. zadetkov: 11
Izvirni znanstveni članek
Oznake:
formalna specifikacija;diskretni čas;formalni jeziki;formal specifications;formal languages;discrete time;model checking;automated extraction;SDL;Promela;SpinRCP;Sdl2pml;
Industries like telecommunications, medical, automotive, military, avionics, and aerospace
use complex real-time systems. Specification and Description Language (SDL) is one of the leading
domain specific languages that is formally defined by international standards and well established in
descri ...
Leto:
2022
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
sistemi s sočasnostjo;razvojno okolje Eclipse;vtičnik;Promela;Spin;MSC;
Integracija orodja Spin v razvojno okolje Eclipse : diplomska naloga univerzitetnega študijskega programa
Leto:
2008
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
programsko orodje;telekomunikacijski sistemi;specifikacija;
Študija prenosljivosti SDL specifikacije med izbranimi orodji : diplomsko delo univerzitetnega študijskega programa
Leto:
2009
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
razvojno orodje;telekomunikacijski sistem;specifikacija;
V diplomskem delu so predstavljena izbrana razvojna orodja s podporo jeziku SDL (Specification and Description Language) – Telelogic SDL Suite, ObjectGEODE, Cinderella in Safire Professional. Orodja smo preverjali z uporabo poenostavljenega protokola V.76, ki je namenjen vzpostavitvi podatkovne pove ...
Leto:
2009
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
IP-telefonija;programska naročniška centrala Asterisk;protokol SIP;sistem za upravljanje odnosov s strankami;
V diplomskem delu opisujemo izvedbo povezave med programsko naročniško centralo Asterisk in sistemom za upravljanje s strankami SugarCRM. V sistem sugarCRM vgradimo gumba za dodajanje in brisanje uporabnika iz centrale Asterisk, centrali Asterisk pa spremenimo klicni načrt, tako da se med izvajanjem ...
Leto:
2010
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
aplikacije;grafični vmesniki;knjižnica Qt;avtentifikacija RFID;dinamična knjižnica;povezava TCP;
Diplomsko delo obravnava izdelavo programske opreme sistema za sledenje igralcu. Strojna oprema sistema je bila že predhodno izdelana. Sistem omogoča upravljalcem igralnih salonov sledenje posameznim igralcem na podlagi njihove avtentikacije z uporabo brezkontaktne kartice. Igralcem je omogočeno zbi ...
Leto:
2012
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
mikrokrmilniki;infrardeč prenos;protokol 1-wire;temperaturni senzorji;IR sprejemnik/oddajnik;
V okviru diplomskega dela smo razvili prototipni sistem za merjenje temperature in brezžični prenos podatkov s pomočjo infrardeče povezave na bazno enoto. Sistem je razdeljen na bazno enoto in več merilnih enot. Bazna enota, zgrajena okrog mikrokrmilnika PIC16F887, nadzoruje prenose iz merilnih enot ...
Leto:
2011
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
heterogeni računalniški sistemi;paralelno procesiranje;presečišče daljic;računalniška arhitektura;orodja za paralelne sisteme;razporejanje mnogokotnikov;
Heterogeni računalniški sistemi pri razporejanju površinskih mnogokotnikov : diplomsko delo
Leto:
2001
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
NCF;brezžična komunicija;senzorji;protokol;mikrokrmilniki;
V diplomskem delu je predstavljena izvedba senzorja s komunikacijo v bližnjem polju (Near Field Communication) za merjenje obratov kolesa delovnega stroja (npr. bagra). Cilj diplomskega dela je bil izdelava senzorja s komunikacijo NFC, ki beleži hitrost delovnega stroja in omogoča prikaz podatkov na ...
Leto:
2014
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
mikrokrmilniki;optični senzorji;roboti;
V diplomski nalogi je predstavljena izvedba robota "micromouse" za premagovanje naključnega labirinta. Cilj projekta je bila izdelava avtonomnega robota, ki je sposoben opraviti takšno nalogo. Robot je opremljen z različnimi senzorji za zaznavanje okolice, motorji za pogon, upravljanje pa se izvaja ...
Leto:
2011
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)