|
Sverres home Introduksjon SW development projects: Programmeringsprosjekt (Flere oppgaver) Nye kart-tavler for D-blokka Elevator automatic FAT for TTK4145 Procedural Generation: Game Worlds Procedural Generation: Music Programvare design av simulator Dynamic deployment system for real-time tasks Measurement-based real-time system Bibliotek for meldingssending Teoretical projects: Deterministic execution of Lingua Franca on emulated RISC-V hardware Implementing Lingua-Franca programs on real-time operating systems Models of Computation Salvaging XC features Schedulability proof for message passing systems Dynamic deployment system for real-time tasks Bruk av online eksekveringstidsestimater Real-time systems not based on timing requirements Programering av tunge tråder ved nonpreemptive scheduling. Deling av CPU og Nettverk Morsomme sensorer og applikasjoner: Døvehørsel Blindesyn Bike trainer app Eksterne oppgaver: |
Deling av CPU og NettverkEmbedded infrastrukturer; at vi har en platform som applikasjoner kan installeres på slik som på smarttelefonen din, er in for tiden. Vi ser for oss for eksempel at en leilighet, bygning, el-nettet el.l. har beregnings- og nettverkskapasitet slik at huseier kan kjøpe relevante applikasjoner fra flere tilbydere til kjøring der for eksempel. Når vi har sanntidskrav i et system er det i utgangpunktet mulig å legge funksjonalitet til systemet, uten å kjøre hele den globale analysen av tidsoppførselen om igjen. Slike vanskeligheter gjelder også for andre slike "ikkefuksjonelle krav" til subsystemene. Men det finnes mekanismer som gjør at en kan tenke seg løsninger på disse problemene; Vi kan kreve at alle applikasjonene kommer med sine egne egenskaper og krav på en slik form at de globale analysene kan gjøres som en del av deployment. Eller vi kan kreve at applikasjonene tilpasser seg de resursene de faktisk får. Og at eieren av systemet faktisk kan kontrollere prioriteter og håndtering av feil/overbelastningssituasjoner. Oppgavene (en CPU-fokusert og en nettverksfokusert) vil gå ut på:
|