Narrow your search

Library

KBR (51)

KU Leuven (35)

UAntwerpen (18)

UCLouvain (18)

ULiège (12)

VUB (12)

UGent (8)

ULB (8)

UNamur (8)

UHasselt (2)

More...

Resource type

book (49)

dissertation (2)


Language

English (44)

French (5)

Dutch (2)


Year
From To Submit

2013 (1)

2006 (2)

1999 (1)

1997 (5)

1996 (1)

More...
Listing 1 - 10 of 51 << page
of 6
>>
Sort by
Algebraic system specification and development : a survey annotated bibliography
Authors: --- --- --- ---
ISBN: 0387540601 Year: 1991 Volume: vol 501 Publisher: Berlin ; New York, NY : Springer-Verlag,


Dissertation
Supporting coordination in mobile networks : a middleware approach
Authors: ---
ISBN: 9056827499 Year: 2006 Publisher: Leuven Katholieke Universiteit Leuven

Loading...
Export citation

Choose an application

Bookmark

Abstract

Draadloze communicatie en de steeds groter wordende miniaturisering van computerapparaten, verhoogt de ontwikkeling en het gebruik van zogenaamde mobiele software toepassingen. Mobiele toepassingen voeren uit op knopen die zelf kunnen bewegen, terwijl ze draadloos verbonden blijven met het netwerk. Mobiele toepassingen worden gekenmerkt door (1) hun noodzaak om rekening te houden met hun fysische omgeving, typisch context genoemd; (2) hun noodzaak om om te gaan met dynamiek en onverwachte gebeurtenissen uit hun context. Deze thesis stelt ten eerste twee rogrammeerabstracties voor, views en rollen, die het ontwerpen en implementeren van mobiele toepassingen vergemakkelijken door tegemoet te komen aan de twee bovenstaande noden. Ten tweede, worden twee alternatieve implementatiestrategieën voor een middleware platform dat beide abstracties ondersteunt, voorgesteld en geëvalueerd. Ten derde wordt de bruikbaarheid van beide abstracties nagegaan in een industriële toepassing. De eerste abstractie, een view, is een automatisch onderhouden verzameling van data objecten, die kopieën of representaties zijn van data objecten verkregen van een aantal knopen in het netwerk. De middleware automatiseert het verzamelen van de data objecten van de knopen, en onderhoudt het view terwijl de data objecten en knopen continu veranderen. De tweede abstractie, een rol, bevat het gedrag van een component van de toepassing die deelneemt aan de uitvoering van een protocol. De middleware automatiseert het starten en onderhouden van een sessie van het protocol uitgevoerd tussen een aantal componenten, terwijl de deelnemers aan het protocol omwille van hun mobiliteit continu wijzigen. Twee implementatie strategieën voor een middleware platform ter ondersteuning van beide abstracties worden voorgesteld, respectievelijk voor mobiele en voor mobiele ad hoc netwerken. Beide strategieën worden analytisch en empirisch gevalideerd, om het effect van (soms oncontroleerbare) parameters na te gaan op bandbreedte-verbruik en betrouwbaarheid. De validatie toont aan dat beide implementaties praktisch bruikbaar zijn. De bruikbaarheid van de abstracties wordt nagegaan door ze toe te passen in een controle toepassing voor onbemande voertuigen. De voertuigen moeten automatisch ladingen verplaatsen in een magazijn of fabriek. Uitdagende problemen zoals vermijden van botsingen, vermijden van deadlock, en toewijzen van taken worden met behulp van het middleware platform opgelost. Dit levert sterke aanwijzingen op dat de abstracties en middleware het ontwikkelen van mobiele applicaties vereenvoudigen en versnellen. Wireless communication and increased miniaturisation of computing devices has catalysed the development of so-called mobile applications. Mobile applications are deployed in wireless networks that consist of nodes that can move freely in space. Mobile applications are characterised by (1) their need to take into account their physical environment (usually called context) explicitly; and (2) their need to deal with dynamics and unexpected events originating from their context. This dissertation first proposes two programming abstractions, views and roles, to simplify mobile application development with respect to those two needs. Second, two alternative implementation strategies for middleware that supports the abstractions are designed and evaluated. Third, the abstractions' usability is evaluated in a real world application, automatic guided vehicle control. The first abstraction, a view, is an automatically up-to-date collection of data objects, that are copies or representations of data objects available on a set of nodes in the network. The middleware automates gathering the data objects from a set of nodes, and maintains the view in the face of dynamically changing availability of the data objects. The second abstraction, a role, encapsulates the behaviour of a component of the application engaging in a protocol. The middleware automates the setup and maintenance of an interaction session between a number of participating components in the mobile network, in the face of a continuously changing number of participants. Two implementation strategies for middleware that supports these abstractions are proposed, respectively for mobile and for mobile ad hoc networks. For both approaches, we determine the effect of (sometimes uncontrollable) parameters on their overhead and reliability through analysis and simulation. The results show that both implementations are practically feasible. The usability of the abstractions is verified by applying the middleware in an industrial application: the control of unmanned vehicles to transport loads in warehouse environments. The successful tackling of problems such as collision avoidance, deadlock detection and task assignment in this application provides strong indications that the abstractions and middleware significantly simplify and accelerate mobile application development. Samenwerkende computerprogramma's besturen onbemande voertuigen Door de ontwikkeling van steeds kleiner wordende computers, en geavanceerde draadloze communicatiemogelijkheden, wordt het mogelijk om onbemande voertuigen van allerlei soort te laten besturen door computers. Onbemande voertuigen kunnen bijvoorbeeld worden ingezet om gebieden te verkennen die moeilijk voor mensen bereikbaar zijn, zoals vulkanen en rampgebieden. In industriële toepassingen worden nu al onbemande heftrucks gebruikt in magazijnen en fabrieken om automatisch ladingen te verplaatsen. Het effectief programmeren van zulk een groep onbemande voertuigen is niet makkelijk. Vooral het regelen van de samenwerking tussen voertuigen, die bijvoorbeeld nodig is om botsingen te vermijden, is niet eenvoudig. De voertuigen moeten snel en gepast kunnen reageren op onverwachte omstandigheden, en dit in een snel veranderende omgeving gebruik makende van onbetrouwbare communicatieverbindingen. Deze situatie is moeilijker dan die in een gewoon computernetwerk, waar de computers verbonden zijn door betrouwbare netwerkkabels, en waar de computers op een vaste plaats staan. Dit proefschrift stelt virtueel gereedschap voor dat de programmeur helpt bij het ontwikkelen van samenwerkende computerprogramma's. Het gereedschap automatiseert een aantal repetitieve en arbeidsintensieve taken, zodat de programmeur zich op de interessante problemen kan concentreren. Zo automatiseren we het vergaren van informatie van nabijgelegen voertuigen, en het maken van afspraken tussen een aantal voertuigen. In samenwerking met Egemin NV, gebruiken we het virtueel gereedschap om een software sturing voor een groep onbemande heftrucks te programmeren die ervoor zorgt dat de voertuigen niet met elkaar botsen, elkaar niet vastrijden op kruispunten, en onderling taken kunnen verdelen. Zodoende tonen we aan dat het voorgestelde virtuele gereedschap inderdaad het programmeerwerk vereenvoudigt en versnelt.


Book
Ontwikkelingen rond informatiesystemen : opstellenbundel aangeboden aan prof. A.J. van 't Klooster bij zijn afscheid als buitengewoon hoogleraar [...] van de Rijksuniversiteit te Groningen op 10 april 1984
Authors: --- --- ---
ISBN: 9014034482 Year: 1984 Publisher: Brussel Samsom

The NIAM information analysis method : theory and practice
Author:
ISBN: 079230263X 9401066876 9400904517 Year: 1990 Publisher: Dordrecht Kluwer Academic Publishers

Listing 1 - 10 of 51 << page
of 6
>>
Sort by