Advanced topics in Distributed Systems (Autumn 2007)
The aim of the graduate course on distributed systems is:
- to broaden your knowledge on distributed systems
by discussing research related topics uncovered in earlier
courses,
- to support your project work by studying topics related
to (but not necessarily directly) your projects,
- exercise you in reading, understanding, assessing and presenting
scientific work and publications.
See also the
study
regulations and pay especially attention to the format of the
project exam at Dat5/SSE3.
In the course we will study topics in distributed end embedded systems
related to your projects and distributed systems in general, grid computing,
embedded java, model-based testing and verification. Throughout the course each student is expected to present
two
research papers. Each lecture will include two research papers
presentations. Each presentation should last at most 30 minutes,
followed by a discussion on the subject and an evaluation of the
presentation form and feedback to the presenter.
The course exercises consist preparing for the presentations. If
your are not presenting a paper for a given lecture you are expected to read the paper ahead of the
lectures and are required to prepare at least three
questions for discussion following the presentations.
Lecture Plan
Wednesdays from 10:15-12:00 room in 0.1.12,
Participants
Name |
1. Presentation |
2. Presentation |
3. Presentation |
Elisa O. Vejero
elisa@cs.aau.dk |
3/10 |
7/11 |
12/12 |
Nicolas J.A. Cothereau
nykoco@cs.aau.dk |
19/9 |
31/10 |
28/11 |
Olivier Monsonego
olivierm@cs.aau.dk |
10/10 |
7/11 |
19/12 |
Guillaume Delaite
faust@cs.aau.dk |
19/9 |
31/10 |
5/12 |
Edouard Gourdin
egourdin@cs.aau.dk |
26/9 |
14/11 |
12/12 |
Anthony Buron |
3/10 |
24/10 |
21/11 |
Faith Oziofu Ogini Nielsen
faith@cs.aau.dk |
26/9 |
24/10 |
28/11 |
Jacob Eskildsen
je@cs.aau.dk |
10/10 |
5/12 |
19/12 |
Links
Presentation technique
Find papers
List of Selected Papers
Low Bandwidth Communication
- Hansen, J.S.; Riech, T.; Andersen, B.; Jul,
E.; Dynamic adaptation of network connections in mobile environments,
Internet Computing, IEEE Volume 2, Issue 1, Jan.-Feb. 1998 Page(s):39
- 48 (PDF)
- Rajiv Chakravorty, Andrew Clark, Ian Pratt: GPRSWeb: Optimizing the Web
for GPRS Links. MobiSys 2003: San Francisco, CA, USA (PDF)
- M. Tian*, T. Voigt1, T. Naumowicz, H. Ritter, J. Schiller: Performance
considerations for mobile web services Computer Communications 27 (2004)
1097–1105 (PDF)
- Li Fan, Pei Cao, Wei Lin, Quinn Jacobson: Web prefetching between
low-bandwidth clients and proxies: potential and performance:
Proceedings of the 1999 ACM SIGMETRICS
international conference on Measurement and modeling of computer systems (PDF)
Mobile Data Communication
- Cecilia Mascolo, Licia Capra, Wolfgang Emmerich: Mobile Computing
Middleware, Advanced Lectures on Networking : NETWORKING 2002 Tutorials (PDF)
- C Mascolo, L Capra, S Zachariadis, W Emmerich -XMIDDLE: A Data-Sharing
Middleware for Mobile Computing, Wireless Personal Communications,
2002 (PDF)
-
- Richard Gold, Per Gunningberg, Christian Tschudin A Virtualized
Link Layer with Support for Indirection. Workshop on Future Directions in
Network Architecture (FDNA-04) (PDF)
- Mats Uddenfeldt and Richard Gold A Content Adaptation
Network using SelNet Swedish National Computer Networking Workshop (SNCNW)
2004 (PDF)
- Christian Tschudin, Richard Gold: SelNet: A Translating Underlay
Network. Uppsala University Technical Report 2003-020 (PDF)
Embedded Systems Design
Distributed systems
- Yair Amir, Claudiu Danilov, and Jonathan Stanton
A Low Latency,
Loss Tolerant Architecture and Protocol for Wide Area Group Communication
- Sylvia Ratnasamy, Brad Karp, Li Yin, Fang Yu, Deborah Estrin
Ramesh Govindan, Scott Shenker:
GHT: a geographic hash table for data-centric storage
- I. Foster, C. Kesselman, S. Tuecke, The Anatomy of the Grid:
Enabling Scalable Virtual Organizations.
http://www.globus.org/alliance/publications/papers/anatomy.pdf
- Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari
Balakrishnan:
Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
- Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris,
Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Wareld:
Xen and the
Art of Virtualization
Exo-Kernels (Anders)
- Dawson R. Engler, M. Frans Kaashoek.
Exokernel:
an operating system architecture for application-level resource management
- M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M.
Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John
Jannotti, and Kenneth MaxKenzie.
Application Performance and Flexibility on Exokernel Systems
- Amit Vasudevan, Ramesh Yerraballi, Ashish Chawla: A high performance
Kernel-Less Operating System architecture. Proceedings of the
Twenty-eighth Australasian conference on Computer Science - Volume 38 2005
PDF
Embedded Systems and Java
- Hans Søndergaard, Bent Thomsen & Anders P. Ravn. A Ravenscar-Java
Profile Implementation (pdf)
- Michiel van Osch and Scott A. Smolka. Finite-State Analysis of the
CAN Bus Protocol, Proceedings of Sixth IEEE International Symposium on
High Assurance Systems Engineering (HASE 2001), IEEE Press, Boca Raton,
Florida (Oct. 2001). (pdf)
- Verifying Real-time Properties of CAN Bus by Timed Automata (pdf)
- David C. Sharp, Edward Pla, & Kenn R. Luecke, Ricardo J. Hassan II.
Evaluating Real-Time Java for Mission-Critical Large-Scale Embedded Systems.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS’03)
PDF
- O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, S. Ur Multithreaded Java
program test generation, IBM SYSTEMS JOURNAL, VOL 41, NO 1, 2002
PDF
- Bollella et al. Programming with non-heap memory in the real time
specification for Java. OOPSLA 2003: Conference
on Object Oriented Programming Systems Languages and Applications
PDF
- Bacon et al. Highlevel Realtime Programming in Java.
Proceedings of the 5th ACM international conference on Embedded software
PDF
- Jagun Kwon, Andy Wellings, and Steve
King Ravenscar-Java: a high-integrity profile for real-time Java.
Concurrency and Computation: Practice &
Experience
Volume 17 , Issue 5-6 (April 2005)
PDF
TechRepPDF
- Rasmus Pedersen, Martin Schoeber, Exact roots
for a real-time garbage collector. Proceedings of the 4th international
workshop on Java technologies for real-time and embedded systems
PDF
- Bo Sanden. Real-time programming safety in Java
and Ada. ADA User Journal 23:2 (June 2002) 105-113.
PDF
- The Design and Performance of the jRate Real-Time Java Implementation
Lecture Notes in Computer Science Volume 2519/2002 (PDF)
Model Based Development and Testing
- J. Tretmans, E. Brinksma,
TorX:
Automated Model Based Testing. In: K. Dussa-Zieger, A. Hartman,
Proceedings of the First European Conference on Model-Driven Software
Engineering. Nürnber, November 11-12, 2003.
-
Testing
theory in practice: A simple experiment
- R Terpstra, LF Pires, L Heerink, J Tretmans - COST - fmt.cs.utwente.nl
- Kim Larsen and Marius Mikucionis and Brian Nielsen,
Online Testing
of Real-time Systems using Uppaal, International workshop on Formal
Approaches to Testing of Software, 2004.
- Online testing
with model programs, Proceedings of the 10th
European software engineering conference held jointly with 13th ACM SIGSOFT
international symposium on Foundations of software engineering, by
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
- Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals. Model-based
Testing with UML Applied to a Roaming Algorithm for Bluetooth Devices.
PDF.
- A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel,: Model-based
testing for real: The inhouse card case study
http://www.inf.ethz.ch/~pretscha/papers/sttt04.pdf
-
MuJava : An Automated Class Mutation System, Yu-Seung Ma, Jeff Offutt
and Yong Rae Kwon. Journal of Software Testing, Verification and
Reliability, 15(2):97-133, June 2005.
-
Generating Test Data From State-based Specifications. Jeff Offutt,
Shaoying Liu, Aynur Abdurazik and Paul Ammann. The Journal of Software
Testing, Verification and Reliability, 13(1):25-53, March 2003.
Runtime Verification / Predicate Abstraction