Back to search
F-INF-Naturvitenskap, informatikk
Spesifikasjon og implementasjon av sanntidssystemer i omskrivningslogikk
Awarded: NOK 1.2 mill.
Source:
Project Manager:
Project Number:
142972
Application Type:
Project Period:
2001 - 2004
Funding received from:
Organisation:
Prosjektet ønsker å utvikle en metodologi for spesifikasjon og implementasjon av sanntidssystemer ved bruk av omskrivningslogikk i både spesifikasjons- og implementasjonsfasen. Dette fører til en forholdsvis liten avstand mellom spesifikasjon og implement asjon, noe som i sin tur fører til billigere og mer korrekte implementasjoner av slike systemer.
Vi håper at prosjektet vil kunne demonstrere disse metodene på noen konkrete systemer, kanskje i form av styring av en robot?
Funding scheme:
F-INF-Naturvitenskap, informatikk
55.8MILL. NOKtotal funding in the programme period55PROJECTShave received funding in the programme period2SOURCEShave financed the programme
Funding Sources
Thematic Areas and Topics
No thematic area or topic related to the project