Tutorials

Advance Program

08:30-09:00 Tutorial Registration
 
09:00-12:30 Tutorials
Tutorial A: Mobile Ad Hoc Networks: Protocols and Security Issues
- Nitin Vaidya (University of Illinois at Urbana-Champaign, USA)
 
12:30-13:30 - Lunch
 
13:30-17:00 Tutorials
Tutorial C: Hands-On Experiences with the SAE Standard Architecture Analysis & Design Language (AADL) in High Dependability Design
- David Gluch (Embry-Riddle Aeronautical U., USA), Peter Feiler (SEI, CMU, USA), Bruce Lewis (Army AMCOM SED, USA)
Tutorial E: Reliable Distributed Programming
- Rachid Guerraoui (EPFL, Switzerland), Luis Rodrigues (U. Lisboa, Portugal)
 


Tutorial A: Mobile Ad Hoc Networks: Protocols and Security Issues

Presenter/author:
Nitin Vaidya (University of Illinois, USA) E-mail: nhv@uiuc.edu
Attendee type:
This tutorial is designed to provide an overview of issues related to protocols and security in ad hoc networks. The tutorial should benefit researchers as well as practitioners from industry and academia, who are interested in areas related to wireless ad hoc networking.
Short description:
The tutorial will introduce mobile ad hoc networks and their potential applications. Then it will discuss: (i) selected medium access control protocols, routing protocols for unicasting in ad hoc networks, (ii) classification of routing protocols (reactive and proactive protocols), (iii) properties of selected protocols from each class, and (iv) performance of TCP over wireless ad hoc networks. Security topics will cover: (i) MAC layer issues - misbehavior detection and handling, encryption, and anonymous broadcast; (ii) network layer issues - misbehavior detection and handling, trust and reputation propagation, and various attacks on routing protocols; (iii) other issues - key management, attacks on sensor networks, monitoring of wireless networks, and anomaly detection.
Biographical sketch:
Nitin Vaidya received the Ph.D. from the University of Massachusetts at Amherst. He is presently an Associate Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign (UIUC). He has held visiting positions at Microsoft Research, Sun Microsystems and the Indian Institute of Technology-Bombay.
His current research is in the areas of wireless networking and mobile computing. His research has been funded by various agencies, including the National Science Foundation, DARPA, Motorola, Microsoft Research and Sun Microsystems.
Nitin Vaidya is a recipient of a CAREER award from the National Science Foundation. Nitin has served on the committees of several conferences, including as as program co-chair for the 2003 ACM MobiCom and General Chair for 2001 ACM MobiHoc. He has served as editor for several journals, and presently serves on the IEEE Transactions on Mobile Computing editorial board, and as editor-in-chief of ACM SIGMOBILE periodical MC2R. He has been invited to serve as Editor-in-Chief or IEEE Transactions on Mobile Computing from January 2005. Vaidya is a senior member of the IEEE and a member of the ACM. For more information, please visit http://www.crhc.uiuc.edu/~nhv/

Tutorial C: Hands-On Experiences with the SAE Standard Architecture Analysis & Design Language (AADL) in High Dependability Design

Presenters/authors:
David Gluch (Embry-Riddle Aeronautical U., USA) E-mail: gluchd@erau.edu
Peter Feiler (SEI, CMU, USA)
Bruce Lewis (Army AMCOM SED, USA)
Attendee type:
A typical attendee would have basic knowledge of real-time and dependability design issues and techniques for software intensive systems (e.g., knowledge of scheduling, communications, redundancy, partitioning, fault tolerance) and an interest in understanding the use of architecture-driven and model-based design and analysis in the development of these systems.
The OSATE toolset will be used throughout the tutorial. Participants are required to have a laptop capable of executing the OSATE software. The OSATE software should be downloaded from the AADL web site (www.aadl.info) prior to the tutorial. A very limited number of laptops will be made available to participants at the tutorial session. However, arrangements for a laptop must be made at least two weeks prior to the tutorial. For inquiries about laptop availability and for questions regarding the download, please contact the presenter (gluchd@erau.edu).
Short description:
The tutorial provides hands-on experiences using the SAE Architecture Analysis & Design Language (AADL) standard in high dependability system analysis and design. Attendees will learn key elements of the AADL and apply them to representative avionics and related application examples using the Open Source AADL Tool Environment (OSATE). The AADL capabilities to specify fault handling, redundancy, fault-tolerance, and related high dependability design aspects are highlighted. The AADL is presented as part of model-based and architecture-driven development, focusing on how the AADL's precisely defined semantics can specify and facilitate the analysis of important performance-critical and dependability considerations such as timing, schedulability, fault and error handling, time and space partitioning, and safety properties. Employing pedagogical examples, the initial sections of the tutorial introduce key AADL language constructs and demonstrate the features, capacities, and use of the open source AADL OSATE toolset. Throughout the remainder of the tutorial, in addition to slide presentations, participants will use the OSATE tool to explore the specification, analysis, and prediction capabilities of the AADL within the context of examples that address meeting a system's deadline, response time, throughput, and fault tolerance requirements. The tutorial examples demonstrate how AADL-based modeling and pattern-based architectural analysis can identify shortcomings in a design and how the AADL abstractions permit separation of application domain architecture concerns from runtime architecture concerns.
Biographical sketch:
Dr. David P. Gluch is a professor in the Department of Computer and Software Engineering at Embry-Riddle Aeronautical University and a visiting scientist at the Software Engineering Institute (SEI). His research interests are technologies and practices for model-based software engineering of complex systems, with a focus on software verification. Prior to joining the faculty at Embry-Riddle, he was a senior member of the technical staff at the SEI where he participated in the development and transition of innovative software engineering practices and technologies. His industrial research and development experience has included fault-tolerant computer, fly-by-wire aircraft control, Space Shuttle software modeling, and automated process control systems. He has co-authored a book on real-time UNIX systems and authored numerous technical reports and professional articles. Dave has a Ph.D. in physics from Florida State University and is a senior member of IEEE.

Tutorial E: Reliable Distributed Programming

Presenters/authors:
Rachid Guerraoui (EPFL, Switzerland) E-mail: Rachid.Guerraoui@epfl.ch
Luis Rodrigues (U. Lisboa, Portugal) E-mail: ler@di.fc.ul.pt
Attendee type:
The tutorial is directed towards fresh graduate students and engineers seeking to get an overview of the basic programming abstractions for reliable distributed systems and of how these abstractions can be applied in practice.
To experiment the concepts introduced in the tutorial, the participants registered at the workshop will be able to download a complete system, written in the Java programming language, with running examples of many of the software components addressed by the tutorial.
Short description:
This tutorial aims at providing an insight on important problems in reliable distributed computing, knowledge about the main algorithmic techniques that can be used to solve these problems, and examples of how to apply these techniques when building distributed applications. The tutorial is divided in two main parts.
In the first part, the tutorial presents various programming services that support the development of reliable distributed applications and describes algorithms that implement these services. In a sense, we give the distributed application programmer a library of abstraction interface specifications, and the distributed system builder a library of algorithms that implement the specifications.
In the second part we show how these services can be applied to a concrete application area, in particular to build replicated databases. For that purpose, the tutorial will survey the most recent academic and commercial solutions for database replication and highlight some active research directions that exploit the programming abstractions introduced in the first part of the tutorial.
Attendees of the tutorial will be guided to have "hands-on" experience with a running implementation of several of the programming services covered by the tutorial.
Biographical sketch:
Rachid Guerraoui has a Master (1989) from the University of Paris 6 and a PhD (1992) from the University of Orsay, both in Computer Science. He obtained the habilitation in Computer Science from the University of Grenoble (1996). He is associate Professor in Computer Science at Ecole Polytechnique Fédérale de Lausanne (Swiss Fédéral Institute of Technology in Lausanne) where he leads the Distributed Programming Laboratory. Previously, he was with HP Labs in Palo Alto. He has been active in distributed programming and dependable systems where he published many papers. He has given tutorials on distributed programming and dependable systems in various conferences for several years now. For the 3rd consecutive year, Rachid Guerraoui has been elected best professor by students of the school of Computer and Communication Systems at EPFL, in particular for the topic of this tutorial.
Lus Rodrigues graduated (1986), has a Master (1991) and a PhD (1996) in Electrotechnic and Computers Engineering, by the Instituto Superior Tecnico da Universidade Tecnica Lisboa (IST). He obtained the "Agregacao" in Informatics (2003) by the Universidade de Lisboa. He is Associate Professor at Departmento de Informatica, Faculdade de Cincias (Faculty of Sciences), Universidade de Lisboa. Previously he was at the Electrotechnic and Computers Engineering Department of Instituto Superior Tecnico de Lisboa (IST) (he joined IST in 1989). From 1986 to 1996 he was a member of the Distributed Systems and Industrial Automation Group at INESC. Since 1997, he is a (founding) member of the LASIGE laboratory at University of Lisbon where he leads the Distributed Algorithms and Network Protocols group. He participated and contributes to several national and international projects. His current interests include fault-tolerant and real-time distributed systems, group membership and communication, replicated data management, publish-subscribe systems, peer-to-peer computing and mobile computing. He has more than 60 publications in these areas. He is co-author of a book on distributed computing. He is a member of the Ordem dos Engenheiros, ACM, and IEEE.