13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems
The technological advances in the micro-electro-mechanical systems (MEMS) and the wireless communications have enabled the deployment of the small intelligent sensor nodes at homes, in workplaces, supermarkets, plantations, oceans, streets, and highways to monitor the environment. The realization of smart environments to improve the efficiency of nearly every aspect of our daily lives by enhancing the human-to-physical world interaction is one of the most exciting potential sensor network applications utilizing these intelligent sensor nodes. However, this objective necessitates the efficient and application specific communication protocols to assure the reliable communication of the sensed event features and hence enable the required actions to be taken by the actors in the smart environment. In this talk, the grand challenges for the design and development of sensor/actor network communication protocols are presented. More specifically, application layer, transport layer, network layer, data link layer, in particular, error control and MAC protocols, and physical layer as well as cross layer issues are explained in detail.
Ian F. Akyildiz is Ken Byers Distinguished Chair Professor with the School of Electrical and Computer Engineering, Georgia Institute of Technology and Director of Broadband and Wireless Networking Laboratory He has published over two-hundred technical papers in journals and conference proceedings. He is the Editor-in-Chief of Computer Networks (Elsevier Science) and for the newly launched AdHoc Networks Journal (Elsevier Science). Dr. Akyildiz is an IEEE FELLOW (1995), an ACM FELLOW (1996). He served as a National Lecturer for ACM from 1989 until 1998 and received the ACM Outstanding Distinguished Lecturer Award for 1994. Dr. Akyildiz received the 1997 IEEE Leonard G. Abraham Prize award (IEEE Communications Society) for his paper entitled "Multimedia Group Synchronization Protocols for Integrated Services Architectures" published in the IEEE Journal of Selected Areas in Communications (JSAC) in January 1996. Dr. Akyildiz received the 2002 IEEE Harry M. Goode Memorial award (IEEE Computer Society) with the citation "for significant and pioneering contributions to advanced architectures and protocols for wireless and satellite networking". He also received the 2002 IEEE Best Tutorial Paper award (IEEE Communications Society) for his paper entitled "A Survey on Wireless Sensor Networks" published in the IEEE Communications Magazine in July 2002. Dr. Akyildiz further received the 2003 ACM SIGMOBILE award for his outstanding research contributions to the wireless networking field. His current research interests are in Sensor Networks, Wireless Networks, InterPlaNetary Internet.
Systematic testing of software plays an important role in the quest for improved software quality. Testing, however, turns out to be an error-prone, expensive, and time-consuming process. Model based testing aims at improving this situation. In model based testing there is a formal description, or model, of the system under test. This allows test automation that goes well beyond the mere automatic execution of manually crafted test cases: it allows for the algorithmic generation of large amounts of test cases, including test oracles, completely automatically from the model of required behaviour. If this model is valid, i.e. expresses precisely what the system under test should do, then all these tests are also provably valid.
In this presentation we will report about the state-of-the-art, perspectives, and challenges of automatic, model based testing in general, and of model based testing for transition systems in particular. The "ioco testing theory" for labelled transition systems, which indeed produces provably sound test cases, is discussed. The model based test tool TorX implementing this theory will be shown, and some past and ongoing projects where TorX has been used in academic as well as in industrial applications, are reported.
Jan Tretmans is associate professor in the Institute for Computing and Information Sciences at the Radboud University Nijmegen. He is working in the areas of software testing, and the use of formal methods in software engineering; in particular, he likes to combine these two topics: testing based on formal specifications, or model based testing. In this field he has several publications, and he has given numerous presentations at scientific conferences as well as for industrial audiences.
Jan Tretmans holds a degree in Electrotechnical Engineering and a PhD. in Computer Science, both from the University of Twente in The Netherlands. He spent some time as a post-doctoral researcher in Norway, Greece and Germany, and for a couple of years he was in involved in the academic-industrial transfer of formal methods technology. Before joining the University of Nijmegen he was in the Formal Methods and Tools research group at the University of Twente. Currently he is involved in the Dutch research projects Atomyste, Stress, and Tangram, and in the EU project Tarot, which all address some aspect of the theory, tools and applications of model based testing based on formal methods, and in which industrial-academic collaboration plays an important role.
In the last few years, the embedded system domain has evolved as one of the most dynamic and important fields for the application of computers. In many embedded applications (e.g., airplane, cars, television sets), the required dependability is orders of magnitude higher than the dependability which is given to us in the Personal Computer Sector. Since the coming highly integrated components (Systems-on-a-Chip) are expected to be less reliable than today's components, the needed dependability of embedded systems can only be achieved by architectural means at the system level.
The architecture of computer systems is shaped by the available technology on one side and the need to harness the complexity of the design at all levels on the other side. In this lecture we will discuss current technology trends that have a significant influence of the future architecture of dependable embedded systems and will speculate about new architectural approaches and model-based design methods that adress the mentioned challenges. The European Integrated Project DECOS (Dependable Component and Systems) will be used as an example.
Hermann Kopetz received his PhD degree in physics "sub auspiciis praesidentis" from the University of Vienna, Austria in 1968. He was a manager of a computer process control department at Voest Alpine in Linz, Austria, before joining the Technical University of Berlin as a professor for Computer Process Control in 1978. Since 1982 he is professor for Real-Time Systems at the Vienna University of Technology, Austria. In 1993 he was offered a position as Director of the Max Planck Institute at Saarbrücken, Germany. During the last few years, Dr. Kopetz has been a visiting professor at the University of California in Irvine and in Santa Barbara a number of times. Dr. Kopetz has published more than 150 papers and patents in the fields real-time computing, distributred computing and fault tolerance. He has been active in the organisation of many international conferences. From 1990 to 1992 he was the chairman of the IEEE TC on Fault-Tolerant Computing. In 1993 Dr. Kopetz was elected to the grade of a Fellow of the IEEE for his contributions to the field of fault-tolerant real-time local-area distributed systems. Dr. Kopetz is the Chairman of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance since 1996.