Dr. Khalil Drira (French National Center for Scientific Research (CNRS))
Dr. Khalil DRIRA received the Engineering and M.S. (DEA) degrees in Computer Science from ENSEEIHT(INP Toulouse), in June and September 1988 respectively. He obtained the Ph.D. and HDR degrees in Computer Science from UPS , University Paul Sabatier Toulouse, in October 1992, and January 2005 respectively. He is since 1992, Chargé de Recherche, a full?time research position at the French National Center for Scientific Research (CNRS). Khalil DRIRA’s research interests include formal design, implementation, testing and provisioning of distributed communicating systems and cooperative networked services. His research activity addressed and addresses different topics in this field focusing on model?based analysis and design of correctness properties including testability, robustness, adaptability and reconfiguration. He is or has been involved in several national and international projects in the field of distributed and concurrent communicating systems. He is author of more than 150 regular and invited papers in international conferences and journals. He is or has been initiator of different national and international projects and collaborations in the field of networked services and distributed and communicating systems. Khalil DRIRA is or has been member of the program committees of international and national conferences. He is member of the editorial board of different international journals in the field of software architecture and communicating and distributed systems. Khalil DRIRA has been editor of a number of proceedings, books and journal issues in these fields. More information can be found under
Title: Reconfiguration models for adaptive and ubiquitous communication in layered services
Dealing with dynamically changing contexts when elaborating solutions for QoS-driven selfmanagement is a challenging research area for the design of autonomic and ubiquitous communicating systems. Managing the adaptation which is necessary to face changes induced by dynamically discovered situations is complex and cannot be based on switching rules between predefined decisions. Rule-oriented approaches are likely to be the most appropriate solutions for dealing with unpredictable changes and possible evolutions that may occur within the many levels of the end-to-end communication systems and their various surrounding contexts. Our work for the last few years has addressed such challenges by associating and integrating solutions from the modelbased adaptability management, dynamic software architectures, and reconfigurable communication protocols. Our approach has been tested in different application domains. We have addressed this problem in collaboration with French and European industrial actors and within international collaboration projects. We have started our research on this subject addressing the self-healing properties of serviceoriented architectures in the context of the European project IST-WSDIAMOND1 and addressing the policy-based management in the context of the European projects IST-NETQOS2. We have initiated studying the ubiquitous cooperative communication for embedded applications in public transportation buses in the context of the European project ITEA-UNSENET3. We have recently started a new collaboration project on these applications in collaboration with the urban transportation company in Toulouse. Application to adaptive group communication for mobile users has been conducted for emergency management in humanitarian missions assisted by ground robots and unmanned vehicles in the context of the RTRA project ROSACE4. Application to adaptive group communication in support to collaborative remote diagnosis of medical situations is being studied in the context of the international project TENEMO5. The aim of this talk is to present our approach and some of its applications.
Dr. Ismail Khalil (Johanes Kepler University Linz, Austria)
Dr. Ismail Khalil is a senior researcher and lecturer at the institute of telecooperation at Johanes Kepler University Linz, Austria since October 2002. He is the president of the international organization of Information Integration and Web-based Applications & Services @WAS (www.iiwas.org). He holds a PhD in computer engineering and received his habilitation degree in applied computer science on his work on agents interactions in ubiquitous environments in May 2008. He is the editor of the handbook of research on Mobile Multimedia series, the book Mobile Multimedia: Communication Engineering Perspective and the book Multimedia Transcoding in Mobile and Wireless Networks. He currently teaches, consults, and conducts research in Mobile Multimedia, Agent Technologies, and the Semantic Web and is also interested in the broader business, social, and policy implications associated with the emerging information technologies. Before joining Johannes Kepler University of Linz, he was a research fellow at the Intelligent Systems Group at Utrecht University, Netherlands from 2001-2002 and the project manager of AgenCom project at the Software Competence Center Hagenberg - Austria from 2000-2001. Dr. Khalil has authored around 100 scientific publications, books, and book chapters. He serves as the editor-in-chief of the International Journal on Web Information Systems (IJWIS), Journal of Mobile Multimedia (JMM), International Journal of Mobile Computing and Multimedia Communication (IJMcMc), Advances in Next Generation Mobile Multimedia book series, and Atlantis Ambient and Pervasive Intelligence book series. He is on the editorial board of several international journals. His work has been published and presented at various conferences and workshops. (http://www.iiwas.org/ismail/)
Title: Mobile Multimedia in the Next Generation Networks
Advances in interaction and communication technologies have opened wide horizons for new computing paradigms like pervasive and mobile computing, social networks, semantic Web and Web Intelligence which clearly showed a trend of using computing and communication power to overcome the physical limitations inherited from desktop computers. Technologies like wireless networks, ambient intelligence, mobile agents, miniaturized computing devices, embedded systems, etc., have enabled a plethora of new types of applications and services. However, usage statistics showed that there is still a huge gap between the potential of such services and their acceptance in practice. In this talk, we will explain and highlight the factors, trends, and issues on how to deploy and utilize mobile multimedia for the design, development and deployment of a content rich, user and business friendly, integrated network of autonomous, mobile agents. One of the major questions to be answered is how to enable the human users to cope with this omnipresence of information. We already observe in the "traditional" Web, how people are suffering from information overflow, receiving too much, the wrong, or even unwanted information. Personalization and adaptivity appear to be potential solutions to this problem but bear the risk of putting the user out of control. Approaches trying to overcome this conflict will be the focus of the presentation.
Dr. Kishor S. Trivedi (Duke University, Durham, NC)
Dr. Khishor S. Trivedi holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke University, Durham, NC. He also holds a joint appointment in the Department of Computer Science at Duke. He was the Duke-Site Director of an NSF Industry-University Cooperative Research Center between NC State University and Duke University for carrying out applied research in computing and communications. He has been on the Duke faculty since 1975. He has served as a Principal Investigator on various AFOSR, ARO, Burroughs, DARPA, Draper Lab, IBM, DEC, Alcatel, Telcordia, Motorola, NASA, NIH, ONR, NSWC, Boeing, Union Switch and Signals, NSF, and SPC funded projects and as a consultant to industry and research laboratories. He was an Editor of the IEEE Transactions on Computers from 1983-1987. He is on the editorial board of the IEEE Transactions on Dependable and Secure Systems. He is a co-designer of HARP, SAVE, SHARPE, SPNP, and SREPT modeling packages. These packages have been widely circulated. He is the author of a well known text entitled, Probability and Statistics with Reliability, Queuing and Computer Science Applications, originally published by Prentice-Hall. A thoroughly revised second edition has been published by Wiley. A comprehensive solution manual for the second edition containing more than 300 problem solutions is now available from the publisher (John Wiley).Power point slides of chapters 1-10 of the second edition are also available. The use of the SHARPE software package may be very helpful as a pedagogic aid. (http://people.ee.duke.edu/~kst/)
Title: Dependability, Security and Survivability Models
This talk will present the strength of stochastic models in two broad domains: (1) dependability and security analysis of complex engineering systems and (2) survivability analysis of next generation communication networks. Dependability and security models have evolved nearly independently. First, we will summarize the past research efforts in this direction(s) through a classification of dependability and security models. We will study different types of threats and mitigations in networks and systems in general. Next, we will see several individual model types such as availability, confidentiality, integrity, performance, reliability, safety and maintainability. All these models will be developed using different model representation techniques such as: combinatorial (such as reliability block diagrams (RBD), reliability graphs, fault trees and attack trees), state-space (continuous time Markov chains, stochastic Petri nets, etc) and hierarchical (e.g., fault trees in the upper level and Markov chains in the lower level). We will show case studies for each individual model type.
The case studies will include availability analysis of IBM implementation of SIP protocol on WebSphere, and security analysis of SITAR intrusion tolerant system. For survivability analysis of next generation networks, we will first quantify this term and present the main motivation behind its necessity. This will be followed by the survivability analysis of a virtual private network.We will study different modeling approaches to solve survivability problems of real-sized networks.