DistriNet Kick-off meeting DiCoMas
29 Januari, 2008
Overzicht ¾Structuur departement computerwetenschappen ¾DistriNet ¾Task Forces ¾Gedistribueerde SW en Veilige SW ¾Projecten ¾Doctoraten
Departement Computerwetenschappen Departement Computerwetenschappen
Toegepaste Wiskunde
DistriNet
Informatica
DTAI
SOM
Hypermedia
Computer grafieken
DistriNet ¾ Computer netwerken & Systeem SW Æ middleware & geavanceerde diensten Æ domein specifieke applicatie raamwerken ¾ Scope: ¾ Gedistribueerde systemen ¾ Veilige Software
¾ Toepassingsdomeinen: ¾ Netwerken, middleware, internet architecturen, beveiliging, embedded systems, multi-agent systemen
Task Forces SecDAM SecLAN
AgentWise
LanTam
SecANON
Networking
¾ 6+ ZAP, >10 PostDocs, >60 Onderzoekers
Embedded Systems
Gedistribueerde SW ¾ Missie ¾ SW engineering process Æ gedistr. Toep. Dyn. Configureerbaar Aanpasbaarheid & zelf-Mgt QoS
¾ SW kwaliteit Herbruikbaarheid Scheiding van Open systemen
¾ Onderzoeksdomeinen ¾ Architecturen
SOA Draadloze netwerken MAS & coordinatie modellen Context-bewuste toep Multi-tier architecturen
Gedistribueerde SW ¾ Onderzoeksdomeinen ¾ SW Engineering AOD MDD Programmeertalen
¾ Ondersteuningsplatform
Componenten platformen Webservices Embedded systems Mgt diensten, policies distributie, load balancing
Veilige Software ¾ Missie: ¾ ¾ ¾ ¾
Veilige gedistr. Systemen SW engineering proces Programmeertalen & verificatie Middleware
¾ Onderzoeksdomeinen: ¾ Ontwikkelingsproces
Analyse veiligheidseisen Architecturen Componenten & compositie Programmeren Programmeertalen Verificatie
Veilige Software ¾ Toepassingsdomeinen
¾ Toepassingsdomeinen
¾ Mgt van SW/systemen
¾ Beveiligingstechnieken
Risico Analyse Policy talen Monitoring / Mgt Beveiligings-infrastructuren ID mgt
¾ Oplossingen Sota systemen Vaste / mobiele / ad-hoc netwerken Embedded systemen
Crypto. protocollen Trusted computing Anonimiteit & privacy Credentials
¾ Veilige SW ontwikkeling Modellen Verificatie Taalconstructies
Samenwerking ¾ Industriele partners ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾
AGFA Alcatel-Lucent Barco Concentra Media DoCoMo Euro-Labs Egemin EMC LMS Engineering Microsoft Research NXP Siemens-Nokia …
¾ Academische partners ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾
UA VUB UG UH Lancaster Univ. McGill Univ. TU Darmstadt Univ. Trento IMEC UNRIA …
Projecten ¾ ADAPID (SBO)
Advanced Applications for e-ID
¾ AspectLab (SBO)
Advanced Aspect oriented SW Development
¾ CoDaMOS (SBO)
Context-Driven Adaptation of Mobile Services
¾ DiCoMas (SBO)
Distributed Collaboration using MAS architectures
¾ OptiMMA (SBO)
Optimized Middleware for Event-driven Applications
¾ Rabbit (SBO) Framework for Dyn. Reactive Resource Scheduling
¾ SoBeNet (SBO)
Software Security for Network Applications
¾ E’Hawk (O&O) Egemin Hybrid Automation for Warehousing Kernel
¾ VOLGES (O&O) Volgende Generatie Stuurplatform
Projecten ¾ Acknowledge
Accessible & Open Knowledge Infrastructure for Flanders
¾ CoCoMedia
Collaborative Community Media
¾ CROSLOCiS
Creation of Small City Services
¾ CUPID
Cultural Profile and Information Database
¾ DEUS
Deployment and Easy Use of Wireless Services
¾ E-HIP
E-Health Information Platforms
¾ Flexsys
Flexible Traffic Management System
¾ IDEM
Identity Management for eGovernment
¾ MultiTr@ns Multi-modal CargoTransport
¾ PecMan Personal Content Management Platform
¾ QoE
End-to-End Quality of Experience
¾ SPAMM
Solutions Platform for Advanced Mobile Mesh
Projecten ¾ CLAWS (FWO)
¾ BCRYPT (IUAP)
¾ CoLaSUE (FWO)
¾ MOVES (IUAP)
Cross-Layer raamwerk voor heterogene draadloze sensor netwerken Context-Aware Local Service Fabrics in Large Scale UbicompEnvironments
¾ ConDAnUsl
Study of the Concept of Context in Relation to Distributed Applications
¾ MDE
Formal Support for the Transformation of Software Models
¾ PSI
Provable Security at Implementation Level
Belgian Fundamental Research on Cryptology and Information Security Modelling, Verification and Evolution of SW
¾ CONDOR (SenterNovem)
High-tech Embedded Systems Challenges
Projecten ¾ ACDPS
GOA K.U.Leuven
Autonomic Computing for Decentralized Production Systems
¾ AOSD-Europe (NoE)
European Network of Excellence on Aspect Oriented Software Development
¾ MiNEMA (ESF)
Middleware for Network Eccentric and Mobile Applications
¾ LOMS Local Mobile Services
¾ SPICES Support for Predictable Integration of Mission Critical Embedded Systems
¾ MUSIC (IP-FP6)
Self-Adapting Applications for Mobile Users in Ubiquitous Computing Environments
¾ S3MS (STREP-FP6)
Security of SW & Services for Mobile Systems
Projecten (afgelopen) ¾ Armad@
Autoconfiguration and Remote Mgt of Any Device @ Home
¾ E-Paper
News on Digital Paper
¾ T-CASE
Technologies and Capabilities for Service Enabling.
¾ agco2
Agents for Coordination and Control
¾ APES (STWW)
Anonymity & Privacy in Electronic Services
¾ EMC2 (O&O)
Egemin Modular Control Concept
¾ EPIA (O&O)
Egemin Platform for Integrated Automation
¾ QMedit (KMO)
Healthcare networks of the 21st century: a clinical pathway based approach
¾ SCAN
Service Centric Access Networks
¾ SEESCOA (STWW) ¾ RACING
Runtime Adaptable Component Infrastructure for active ad-hoc NetworkinG
Software Engineering for Embedded Systems using a Component-Oriented Approach
¾ Wit-CASE (O&O)
Workflow Innovations, Technologies and Capabilities for Service Enabling
Projecten (afgelopen) ¾ AGILE Development for Embedded Systems
¾ DigiNews Digital Newspaper Infrastructure for Mobile E-paper Terminals
¾ EMPRESS Evolution Mgt & Process for RT Embedded SW Systems
¾ MARTES Model-based Approach to Real-time Embedded Systems
Doctoraten (laatste 1.5 jaar) ¾ Dynamically updating component-oriented systems ¾ Uniform and modular access control for software applications
Yves Vandewoude Tine Verhanneman
¾ An arch.-centric approach for developing timing-driven self-adaptive SW syst.
Andrew Wils
¾ A statistically verifiable programming model for concurrent object-oriented progs Bart Jacobs
¾ Static and dyn. verification of indirect data sharing in component-based apps
Lieven Desmet
¾ Dynamic SW reconfiguration in programmable networks
Nico Janssens
Doctoraten (laatste 1.5 jaar) ¾ An ant-based approach for solving dynamic constraint optimization problems
Koenraad Mertens
¾ Supporting coordination in mobile networks: A middleware approach
Kurt Schelfhout
¾ Task- and resource-aware component deployment in ambient intelligent env.
Peter Rigole
¾ An architecture-centric approach for SW engineering with situated MAS
Danny Weyns
¾ Mobile sessions in heterogeneous networks
Tom Mahieu
¾ Pragmatic countermeasures for implem.-related vulnerabilities in Web apps
Chris Vandenberghe
¾ A methodology for anonymity control in electronic services using credentials
Vincent Naessens
Doctoraten (laatste 1.5 jaar) ¾ Abstractions for improving, creating and reusing object-oriented programming langauges
Marko Van Dooren
¾ Simulation of distributed control applications in dynamic environments
Alexander Helleboogh
¾ Analysing and engineering self-organizing emergent applications
Tom De Wolf
¾ A constraint-centric approach for object-oriented conceptual modeling
Stefan Van Baelen
