Projekti / Programi
Snovanje vgrajenih krmilnih sistemov
Koda |
Veda |
Področje |
Podpodročje |
2.06.01 |
Tehnika |
Sistemi in kibernetika |
Tehnologija vodenja sistemov |
Koda |
Veda |
Področje |
P170 |
Naravoslovno-matematične vede |
Računalništvo, numerična analiza, sistemi, kontrola |
T120 |
Tehnološke vede |
Sistemsko inženirstvo, računalniška tehnologija |
sistemi v realnem času, vgrajeni sistemi, snovanje aplikacij v realnem času, krmilni sistemi, programski jeziki za sisteme v realnem času, specifikacije, verifikacija in validacija, arhitekture strijne opreme, operacijski sistemi v realnem času, analiza najdaljšega časa izvajanja (WCET), analiza razvrstljivosti
Raziskovalci (2)
št. |
Evidenčna št. |
Ime in priimek |
Razisk. področje |
Vloga |
Obdobje |
Štev. publikacijŠtev. publikacij |
1. |
09796 |
dr. Matjaž Colnarič |
Računalništvo in informatika |
Vodja |
1998 - 1999 |
358 |
2. |
12508 |
dr. Domen Verber |
Računalništvo in informatika |
Raziskovalec |
1998 - 1999 |
343 |
Organizacije (1)
Povzetek
Projekt obravnava področje snovanja vgrajenih računalniških sistemov, ki delujejo v režimu strogega realnega časa. Na osnovi v predhodnem projektu zasnovanega in implementiranega delujočega prototipa se ukvarjamo predvsem z metodami snovanja aplikacij na področju krmilnih sistemov:
? specificiranjem zahtev, vključenim v sintakso posebne inačice standardiziranega višjega programskega jezika miniPEARL, in podprtim z grafičnimi konstrukti;
? vključevanjem objektne orientacije v ta strukturni jezik;
? analizo časovnega obnašanja procesov (WCETanaliza) na osnovi sintaksne in sematične analize programa ter alternativno z avtomatiziranim neposrednim merjenjem na strojni platformi, na kateri naj bi se izvajal program;
? validacijo sistema s pomočjo simulatorja okolja z vgrajenimi sintetičnimi bremeni.
Obdelane bodo tudi druge faze življenjskega cikla, kot so testiranje in verifikacija. Preučujemo metrike za ocenjevanje vitalnih lastnosti sistemov v realnem času.
Poleg tega nadaljujemo delo na področju snovanja strojne opreme in operacijskega sistema za vgrajene krmilne sisteme. Koncept asimetričnega multiprocesorskega sistema z namenskimi procesorji za obdelavo opravil in izvajanje rutin jedra operacijskega sistema, na osnovi katerega je bil uspešno izdelan prvi prototip, bo uporabljen tudi v naslednji varianti z novimi Motorolinimi RISC mikroprocesorji ColdFire.