CFP IDPT 2003 Special Topic Session

Session Details

Everyday objects are more and more equipped with computational power that allows them to be smart devices with the ability to communicate with their environment. This intelligence enables them also to reflect their own state and to dynamically react on external stimuli. Ubiquitous Computing is the name for this new paradigm where computers are no longer used to model the real world, but the computational power is brought to the objects of the physical world. In Ubiquitous Computing, computers - as we know them today - vanish into the background, and small computing devices take over everyday tasks. Technically, these devices represent embedded systems communicating with each others using low-cost transceivers. They may form ad-hoc networks to perform more complex tasks by exchanging appropriate information via sensors and actuators. The smart devices will typically work without any user intervention and computational services will become continuously available wherever the action is. In this scenario, Ubiquitous Computing may also be used in situations where safety- critical issues play an important role, e.g. in traffic control, hospitals, or even in medical applications where smart devices may be implanted into the human body to support ill- functioning organs. Also, the openness of the communication of these smart devices brings the whole field of security protocols into the game, because certain information may not be suitable for unrestricted message exchange between these smart devices. These safety and security aspects open the field for the use of formal methods, which have been proven to be a powerful means in tackling problems arising while dealing with these issues. This session will also cover the use of formal methods in Ubiquitous Computing, which means on the hand the development of new mathematically based methods and tools for this new paradigm or on the other hand the transition of existing formal approaches from other paradigms to safety and security aspects in the field of Ubiquitous Computing.
The following list contains some topics, which may be covered in the session:

• Sensor Processing & Ad-hoc Networking for Ubiquitous Devices
• Ad-hoc Networking & Middleware Design for Swarm Type Systems
• Experiences with Sensor Network Applications (e.g. Motes/TinyOS)
• Distributed Computing for Embedded Devices
• Application design and development techniques for "swarm programming"
• Network Embedded Software Technology
• Ubiquitous computing
• Model-Based Integration of Embedded Software
• Security issues in information exchange of smart devices
• (Formal) modeling of the environment, including sensing devices and techniques
• Constraint-based approaches
• Application-specific embedded software design frameworks
• Tools and methods supporting the use of formal methods for the development of Ubiquitous Computing application and their analysis and/or evaluation

Submission Dates:

• Full paper submissions due September 25, 2003
• Final acceptance October 5, 2003
• Final manuscript due October 15, 2003

Please send your submission (PDF, or postscript compressed using zip or gzip) via email to asu@kestrel.edu

Each submitted paper will be fully refereed. It is expected that at least one of the authors will register for the conference at the early subscriber deadline, and present the paper at the conference. Papers not presented at the conference will be excluded from publication in the conference proceedings.

For additional information and questions, please contact Session Organizers:
Asuman Suenbuel asu@kestrel.edu
Matthias Anlauff ma@kestrel.edu

For general conference information, please visit: http://www.sdpsnet.org/news.html

IDPT 2003 Program Committee: