Projecten

1 - 10 of 22 resultaten

Zoek term:

Optimalisatie van broncodering voor meerdere terminals in zelf-organiserende netwerken Vrije Universiteit Brussel

Adrian Munteanu
Elektronica en Informatica
Het internet bestaat uit een toenemend aantal kleine apparaten, in de meeste gevallen verbonden via een draadloos netwerk met de internet-backbone. Belangrijke use cases in dit verband zijn slimme steden, inter-voertuigcommunicatie en slimme transportsystemen, slimme bewaking en toepassingen voor deelname op afstand. De netwerken voor deze use cases zijn gedistribueerde real-time systemen bestaande uit (i) knooppunten die op een zeer beperkt ...

Modulaire semiautomatische formele verificatie van veiligheidsgevoelige software KU Leuven

Bart Jacobs
Afdeling Informatica, Gedistribueerde en Veilige Software (DistriNet)

In onze steeds meer computergeoriënteerde samenleving, lijken de computer- programma’s waarop we vertrouwen altijd maar groter te worden in omvang en complexiteit. Omdat we bijna geen andere keuze meer hebben dan deze programma’s onze geheimen en privacy toe te vertrouwen, is het geranderen van softwarekwaliteit steeds belangrijker geworden. Er zijn ontelbare technieken ontwikkeld om de correctheid van veiligheidsgevoelige software te ...

Privacy-by-design Regulering in Software Engineering (PRiSE) KU Leuven

Peggy Valcke
Onderzoekseenheid KU Leuven Centrum voor IT & IE Recht, Afdeling Informatica
De nieuwe EU Verordening Algemene Gegevensbescherming (AVGB) van april 2016 bevat een aanzienlijk aantal bepalingen die een open karakter hebben en waarvan de praktische implementatie afhankelijk is van de specifieke context. Technische vereisten voor software engineering moeten daarentegen vooraf precies gedefinieerd zijn en toepasbaar in alle situaties. Dit interdisciplinaire project wil deze kloof overbruggen door de expertise van CiTiP ...

Migratie naar agile ontwerpen van ingebedde software die zichzelf herstelt na fouten ten gevolge van externe factoren KU Leuven

Jeroen Boydens
Computerwetenschappentechnologie, Campus Brugge

Deze thesis handelt over het selecteren en implementeren van softwaregebaseerde technieken die ongewenste sprongen doorheen een programma kunnen detecteren. Deze ongewenste sprongen treden op nadat een of meerdere geheugenlocaties van een ingebed systeem getroffen worden door een storing van buitenaf. Zo een storing, vb. electromagnetische interferentie, kan een opgeslagen bit doen omslaan in waarde. Dit kan tot gevolg hebben dat de volgorde ...

SAFE-IS: Software Abstracties voor Event-Intensieve Systemen. KU Leuven

Yolande Berbers
Afdeling Informatica
In het Internet of Things paradigma zijn processoren ingebed in allerlei objecten, Things genaamd, die hen toelaten om te communiceren met andere Things die enerzijds geen rekenkracht tot hun beschikking hebben (bvb. RFID tags) of die anderzijds kunnen beschouwd worden als volwaardige computer systemen zoals krachtige PDAs, PCs en servers. Sommige Things zullen diensten nodig hebben van naburige Things, terwijl andere Things autonoom events ...

Een Future Software Definieert Internet Core en geavanceerde Cloud Research Infrastructure Universiteit Gent

Piet Demeester
Vakgroep Informatietechnologie

* Flexibele cloudomgeving: - 8 cloud servers: flexibele configuratie, in totaal in staat om meer dan 2000 virtuele machines (228,8 kEUR) lopen - Ultrasnelle cloud storage (SSD based) 40TB: 62,5 kEUR - Fast and big cloud storage (SATA gebaseerde) 500TB: 61,7 kEUR - 100 Gb / s infiniband opslagnetwerk: 31 kEUR - GPU wolk: 23,1 kEUR - Laag vermogen wolk 32 kEUR * kernnetwerk: - HP 12518 software definieerbare kernswitch 100 Gb / s, 40 Gb / s ...

SDN (Software Gedefinieerde Netwerk) architecturen voor multi-camera SoC (System-on-Chip) systemen. Universiteit Hasselt

Luc CLAESEN
Engineering Materials and Applications
De Onderzoeksraad heeft op 13 november 2014 het verblijf van dr. Chen Chien (National Chiao Tung University, Taiwan) aan de UHasselt goedgekeurd ten laste van het BOF-programma "Korte Verblijven". Gedurende dit verblijf zal dr. Chen Chien onderzoek uitvoeren in samenwerking met prof. Luc Claesen (Onderzoeksgroep EMAP). Het verblijf zal plaatsvinden in 2015.

Architectuur en algoritmen voor het efficiënt beheer van gevirtualiseerde ICN-netwerken Universiteit Gent

Filip De Turck
Vakgroep Informatietechnologie

Tijdens de afgelopen decennia is het internet ge¨evolueerd van een onderzoeksnetwerk met enkele honderden knopen tot een netwerk dat miljarden gebruikers over de hele wereld met elkaar verbindt. Deze verbluffende evolutie werd aangestuurd door een onafgebroken vooruitgang op vlak van aangeboden diensten, gebruikte technologie en gebruikersverwachtingen. Waar het internet in de begindagen hoofdzakelijk gebruikt werd voor statische diensten ...

Modulaire halfautomatische formele verificatie van kritische systeemsoftware KU Leuven

Bart Jacobs
Afdeling Informatica

In het eerste deel van deze thesis voeren we een case study uit waarin we het USB BP toetsenbordstuurprogramma van Linux verifiëren. Onze verificatieaanpak is (a) sound, (b) ondersteunt dynamische geheugentoewijzing, complexe API regels en concurrency, en (c) is toegepast op een echt kernelstuurprogramma waarbij de makers van dat stuurprogramma geen rekening hielden met verificatie toen dat stuurprogramma geschreven werd. We gebruiken ...

Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's) KU Leuven

Frank Piessens
Afdeling Informatica
Niet alleen wordt onze software alsmaar omvangrijker en complexer, we hangen er eveneens steeds meer van af, wat het des te noodzakelijker maakt hulpmiddelen te ontwikkelen om ons bij te staan bij het schrijven van correcte programma's. Bijgevolg werd veel onderzoek gevoerd in het domein van statische verificatie, d.i. het uitwerken van algoritmes dewelke broncode analyseren en uitmaken of het bepaalde types fouten bevat. Dit kan variëren van ...