Information and Communication Technology 2012 Académie Universitaire Louvain
Total Page:16
File Type:pdf, Size:1020Kb
INFORMATION AND COMMUNICATION TECHNOLOGY 2012 Académie universitaire Louvain AL INFORMATION AND COMMUNICATION TECHNOLOGY 2012 The Académie universitaire Louvain (AL) is a university consortium composed of the following three academic institutions: University of Namur (FUNDP), University faculties of Saint-Louis, Brussels (FUSL) and Université catholique de Louvain (UCL). In this particular case, this brochure « ICT » has been prepared by the Research Administration Departments of the FUNDP and the UCL only, with the valuable help of a peer review committee composed of: UÊ Ê ÀÊ ,V >À`Ê i>ÕvÀÌ]Ê 1 Ê qÊ Õ>Ê -iVÌÀ]Ê ÃÌÌÕÌÊ >}>}iÊ iÌÊ Communication (IL&C) UÊ Ê*Àv°Ê"ÛiÀÊ >ÛiÌÕÀi]Ê1 ÊqÊ-ViViÊ>`Ê/iV }ÞÊ-iVÌÀ]ÊÃÌÌÕÌiÊ of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM) UÊ Ê*Àv°Ê*iÀÀiÊ>ÃÌÀiâ]Ê1 ÊqÊÕ>Ê-iVÌÀ]ÊÃÌÌÕÌÊ>}>}iÊiÌÊ Õ cation (IL&C) UÊ Ê*Àv°Ê À>XÃÊ ÕÃÃ]Ê 1 ÃÊ qÊ Õ>Ê -iVÌÀ]Ê ÕÛ>Ê -V Ê vÊ Management (LSM) UÊ Ê*Àv°Ê iÀ>À`Ê >iâ]Ê 1 Ê qÊ Õ>Ê -iVÌÀ]Ê ÕÛ>Ê ÀÕ}Ê ,iÃi>ÀV Ê Institute (LDRI) UÊ Ê*Àv°Ê >Ê>LÀ>]Ê1 *ÊqÊ>VÕÌÞÊvÊ «ÕÌiÀÊ-ViVi]Ê*,i - Ê,iÃi>ÀV Ê Centre UÊ Ê*Àv°Êi>>ÀiÊ>VµÕiÌ]Ê1 *ÊqÊ>VÕÌÞÊvÊ «ÕÌiÀÊ-ViViÃÊVÕÃÊ ,iÃi>ÀV ÊÀÕ« UÊ Ê*Àv°Ê Êii]Ê1 ÊqÊi`V>Ê-iVÌÀ]ÊÃÌÌÕÌÊ`iÊÀiV iÀV iÊiÝ«jÀiÌ>iÊ et clinique (IREC) UÊ Ê*Àv°ÊV iÊ6iÀiÞÃi]Ê1 ÊqÊ-ViViÊ>`Ê/iV }ÞÊ-iVÌÀ]ÊÃÌÌÕÌiÊvÊ Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM) 7Ì ÊÌ iÊVÌÀLÕÌÊv\Ê-jL>ÃÌiÊ`>Ê1 ®]Ê iÀ>À`Ê iÌÀiLiÕÀÊ1 *®]Ê ÀÃÌiÊÕÞÌÊ1 ®]Ê Sandrine Tichon (UCL), Alain Tondeur (UCL-Mons) Cover: © Mike Kiev - fotolia.com Ê1 6 ,-/, Ê"16 ÊÊINFORMATION AND COMMUNICATION TECHNOLOGY Foreword Ê£nÓ]ÊÌ iÊÌÌiÊvʺ>ÊvÊÌ iÊ9i>À»]Ê`iÛiÀi`ÊLÞÊ/iÊ>}>âiÊ >ÃÊÌÊLiiÊ>Ü>À`i`ÊÌÊ>Ê«iÀÃÊLÕÌÊÌÊ>Ê machine: the computer. Slightly later on, the computer manufacturer Sun promoted the idea that “the network was the computer”. Nowadays, we are used to terms like “pervasive computing”, “ubiquitous computing”, “cloud V«ÕÌ}»]Ê>`ʺ>LiÌÊÌi}iVi»]ÊÌÊVÌiÊ>ÊviÜ°Ê/ iÃiÊ>ÀiÊÕÃÌÊÃiÛiÀ>Ê`V>ÌÃÊÌ >ÌÊvÀ>ÌÊÌiV }iÃÊ >ÀiÊiÛiÀÞÜ iÀiÊÊÕÀÊvi°Ê"iÊV>ÊiÛiÊvÕÀÌ iÀÊV>ÊÌ >ÌÊÜÌ ÕÌÊÌ iÃiÊÌiV }iÃ]ÊÕÀÊ`iÀÊÃViÌiÃÊVÕ`Ê not function properly. In fact, would it be imaginable to live or even to survive without mobile phones, access to the internet, sophisticated machines at hospitals and electronic payments? ÊÌ ÃÊVÌiÝÌ]ÊÌ ÃÊLÀV ÕÀiÊ«ÀiÃiÌÃÊÌ iÊÀiÃi>ÀV ÊV`ÕVÌi`ÊÊvÀ>ÌÊ>`ÊVÕV>ÌÊÌiV }iÃÊÃ`iÊ the “Académie universitaire Louvain”, by the Université catholique de Louvain and the University of Namur. As will be appreciated by the reader, the brochure does not focus only on the technologies themselves but also encompasses work on its impact on society. In doing so, we follow the humanistic approach of the two universities which aims at not only developing science but also at being concerned with its role in our everyday life. As a result, our research has generated many spin-off companies and has created strong links with regional technological centers, such as Multitel and Cetic, with industrial clusters, like Infopole and Twist, as well as with many research laboratories in the world. The brochure is structured in 13 chapters and tackles various domains, such as society and law, human computer interaction, bioinformatics, micro and nano-technologies1, applied electromagnetism, electronic circuits, signal and >}iÊ«ÀViÃÃ}]ÊiÌÜÀÃ]ÊVÀÞ«Ì}À>« Þ]ÊÃiVÕÀÌÞ]ÊVÌÀ]Ê«Ìâ>Ì]Ê>À}iÊ}À>« Ã]Ê } «iÀvÀ>ViÊV«ÕÌ}]Ê machine learning, artificial intelligence, natural language processing, software engineering, programming, formal methods, databases and information systems. This multitude of research activities demonstrates a strong, dynamic and international presence of the “Académie universitaire Louvain” in the field of information and communication ÌiV }iðÊÃÊÃÕV ]ÊÌ iÊ>ÊvÊÌ ÃÊLiÌÊÃÊÌÊ«ÀÛ`iÊÌ iÊÀi>`iÀÊÜÌ Ê>ÊÕ«Ì`>ÌiÊÛiÜÊvÊÌ ÃÊiÝ«iÀÌÃiÊ>`Ê will undoubtedly ease its transfer to industry and society. i>>ÀiÊ>VµÕiÌ Chairman of the Peer-review Committee 1 Detailed in the brochure “Nanotechnologies 2011”. 3 4 Ê1 6 ,-/, Ê"16 ÊÊINFORMATION AND COMMUNICATION TECHNOLOGY Content A. COMMUNICATION SYSTEMS AND B. SOFTWARE ENGINEERING, NETWORKS PROGRAMMING SYSTEMS AND FORMAL METHODS A.1 - Cellular and wireless access networks 11 B.1 - Software Evolution 27 °Ê- 1 , °Ê -]Ê°Ê"< " A.2 - SIP-based Communication Networks and Services 13 B.2 - Context-Sensitive Software 29 °Ê- 1 , °Ê -]Ê-°Ê" < < A.3 - Internet protocols 15 B.3 - Software Variability 31 "°Ê " 6 /1, °Ê -]Ê°Ê"< "]Ê-°Ê" < < A.4 - Management and operation of IP networks 17 B.4 - Programming Languages and Distributed Computing 33 "°Ê " 6 /1, *°Ê6 Ê,"9 A.5 - Signal processing and Information theory for Wired Communications (DSL and PLC) 19 B.5 - Coordination and mobile languages 35 °Ê"16 18]Ê°Ê6 ",* °°Ê +1 /]Ê°Ê A.6 - Satellite Communications 21 B.6 - Program analysis and verification 37 °Ê" -/ -]Ê °Ê6 " , 6 , 7°Ê6 "" A.7 - Wireless Communications 23 B.7 - Evolution / Software Product Line Engineering 39 °Ê"16 18]Ê °Ê" -/ -]Ê°Ê6 ",* ]Ê °Ê , 9 *°Ê 9 -]Ê*°9°Ê- " -]Ê°Ê* ,,"1 A.8 - Antenna technology 25 B.8 - Requirements Engineering 41 °Ê , 9 ]Ê °Ê6 " , 6 ,]Ê°Ê19 ]Ê°*°Ê,- *°Ê 9 -]Ê*°9°Ê- " -]Ê-°Ê1 ,]Ê°Ê1, / 5 B.9 - Real-Time System Verification 43 B.18 - Multi-Agent Systems Architectures 61 *°9°Ê- " - °Ê"*]Ê9°Ê71/ / B.10 - Service Engineering 45 B.19 - Software Quality – Software Measurement 63 °Ê "1 "1< ]Ê° °Ê " ]Ê-°Ê1 ,]Ê°Ê1, /]Ê*°Ê/, °Ê ,]Ê°Ê -/18 B.11 - Communities of Web services 47 *°Ê/, C. INFORMATION SYSTEMS AND DATABASES B.12 - Information System Evolution 49 °Ê 6 ]Ê°°Ê 1/]Ê*°9°Ê- " -]Ê*°Ê 9 - C.1 - Intelligent Decision Support Systems 65 °°Ê +1 /]Ê°Ê B.13 - Security / Identity and Access Management in complex software environments 51 C.2 - Information Management, Knowledge ° °Ê " Extraction and Business Intelligence 67 I. LINDEN B.14 - Model Driven Engineering / Domain Specific Modelling Languages 53 C.3 - Web Information Systems and 6°Ê ,/ Technologies 69 °Ê "1 "1< ]Ê°°Ê 1/]Ê*°Ê/, B.15 - Model Driven Engineering / Software Architecture 55 C.4 - E-Health Information Systems 71 6°Ê ,/]Ê°Ê 6 *°Ê/, ]Ê°°Ê 1/]Ê*°9°Ê- " -]Ê°Ê 6 ]Ê6°Ê ,/]Ê ° °Ê " ]Ê°,°Ê ," 18 B.16 - Formal Analysis and Verification of Computer Systems 57 C.5 - Special Purpose Database Engineering 73 °Ê* 1, °°Ê 1/]Ê °Ê" /]Ê,°Ê6 - / ]Ê°,°Ê ," 18 B.17 - Model-Driven Requirements Engineering 59 C.6 - Database Reverse Engineering 75 °Ê6 Ê-7 , °°Ê 1/]Ê6°Ê ,/]Ê°Ê 6 6 Ê1 6 ,-/, Ê"16 ÊÊINFORMATION AND COMMUNICATION TECHNOLOGY C.7 - Database Design 77 E. LARGE GRAPHS AND NETWORKS °°Ê 1/]Ê6°Ê ,/]Ê°Ê 6 E.1 - Classification, analysis and clustering of C.8 - Business IT Alignment 79 graphs and networks 93 °Ê -/18]Ê°Ê* // *°°Ê -]Ê6°Ê " ]Ê° °Ê 6 ]Ê°Ê , 8]Ê,°Ê1 ,-]Ê 9°Ê -/ ,"6]Ê*°Ê6 Ê "", C.9 - Business Modelling 81 E.2 - Graphs and network algorithms for mobile °Ê"*]Ê9°Ê71/ / telecommunication 95 6°Ê " ]Ê*°Ê6 Ê "", C.10 - E-Business Applications 83 °Ê"*]Ê9°Ê71/ / E.3 - Space and time in large-scale social networks 97 ,°Ê "// D. ELECTRONIC CIRCUITS AND SYSTEMS E.4 - Multi-modal freight transport network D.1 - Digital circuits and systems 85 modelling 99 °Ê , ]Ê° °Ê /]Ê,°8°Ê-/ ,/]Ê °Ê " °Ê"1,+1 ]Ê°Ê 1/ D.2 - Wireless autonomous smart sensor networks 87 F. SIGNAL AND IMAGE PROCESSING °Ê , ]Ê°*°Ê,- ]Ê °Ê , 9 ]Ê°Ê6 ",* ]Ê° °Ê /]Ê °Ê "]Ê°Ê, -]Ê °Ê" -/ -]Ê,°8°Ê-/ ,/ F.1 - Sparse Signal Reconstructions for Optical D.3 - Green electronics: SOI technology and ultra- Imaging 101 low-power design 89 *°Ê /" ]Ê °Ê +1 -]Ê °Ê Ê 6 - "17 ,]Ê °Ê ", /]Ê °Ê + °Ê "]Ê °Ê , ]Ê° °Ê / F.2 - Video signal analysis 103 D.4 - Software based hardening against radiation 91 °Ê Ê6 - "17 ,]Ê °Ê + °Ê" 7 F.3 - Stereo Image Compression 105 H.3 - Modelling, analysis and control of distributed ,°Ê ,<]Ê °Ê Ê6 - "17 ,]Ê °Ê + parameter systems 119 °Ê7 F.4 - Digital 2D, 3D and Stereo Image Watermarking 107 H.4 - Process Modelling, Monitoring, Control and ,°Ê ,<]Ê °Ê + Real-Time Optimisation 121 °Ê " G. CRYPTOGRAPHY AND INFORMATION SECURITY I. HUMAN-COMPUTER INTERACTION G.1 - Information Security 109 I.1 - Cognitive Consequences of Technology 123 °Ê6" °-°Ê ", ]Ê/°Ê Ê- /]Ê*°Ê-/, <]Ê*°Ê6 , G.2 - Physical Security 111 I.2 - Interfaces for disabled 125 ,°8°Ê-/ ,/ -°Ê , G.3 - Secure protocols 113 I.3 - Immersive Virtual Environment 127 "°Ê* , , °Ê 7, -]Ê °Ê +]Ê°Ê* - /]Ê*°Ê***"/ I.4 - Engineering of User Interfaces 129 H. DYNAMICAL SYSTEMS, CONTROL, °Ê 6 , " /]Ê °Ê "9 // ]Ê °Ê °Ê " < <Ê ,"-]Ê OPTIMIZATION ,°Ê/ -", ," H.1 - Optimisation: modelling and algorithms 115 *°°Ê -]Ê,°Ê 1,]Ê9°Ê -/ ,"6]Ê°Ê6 Ê696 H.2 - Multi-agent systems 117 °Ê , 8]Ê,°Ê1 ,-]Ê° °Ê 6 8 Ê1 6 ,-/, Ê"16 ÊÊINFORMATION AND COMMUNICATION TECHNOLOGY J. MACHINE LEARNING, ARTIFICIAL K.2 - Machine learning for biomedical INTELLIGENCE AND NATURAL applications 143 LANGUAGE PROCESSING °Ê6 , 9- ]Ê*°Ê 1*" /]Ê°Ê°Ê J.1 - Automated analysis of foreign language K.3 - Medical imaging 145 learner writing and speech 131 °Ê +]Ê6°Ê "-]Ê°Ê +1 -]Ê°Ê -- -]Ê°Ê", Ê Ê86,9 -°Ê , ,]Ê 9°Ê -/ ]Ê -°Ê Ê " ]Ê °Ê +1 ]Ê °Ê 1 ,]Ê °Ê*+1"/ J.2 - Constraint Programming 133 L.