!!! New Deadline: September 25, 2003 !!!
------------------------------------------------------------------------
CFP IDPT 2003 Special Topic Session
------------------------------------------------------------------------
CALL FOR PAPERS
SEVENTH WORLD CONFERENCE ON INTEGRATED DESIGN & PROCESS TECHNOLOGY Austin, Texas, Dec 3-5, 2003 (http://www.sdpsnet.org/)
SPECIAL TOPIC SESSIONS:
Application Design and Techniques for Embedded Systems in Ubiquitous Computing
------------------------------------------------------------------------
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 evaluationSubmission 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 [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Matthias Anlauff [EMAIL PROTECTED]
For general conference information, please visit: http://www.sdpsnet.org/news.html
IDPT 2003 Program Committee:
M. Aiello, University of Trento,Italy M. Anlauff, Kestrel Institute, Palo Alto C. Bayrak, University of Arkansas at Little Rock, Little Rock, AR, USA R. Bharadwaj, Naval Research Laboratory, USA Wen-Tsuen Chen, Tsinghua Univ., Taiwan, China H. Chen, East China Institute of Computing Technology M. C. Chyu, Texas Tech University, Lubbock, TX, USA A. Dogru, METU, Turkey A. E. Engin, University of South Alabama, Mobil, AL, USA I. I. Esat, Brunel University, Middlesex, UK W-J. van den Heuvel, Tilburg University, The Netherlands T. Hirota, Kyushu Institute of Technology, Japan K. Itoh, Sophia University, Tokyo, Japan T. Kikuno, Osaka Univ., Japan Moon-Hae Kim, Konkuk Univ., Korea B. Kraemer, FernUniversitaet, Hagen, Germany V. Kirova; Lucent Technologies - Bell Labs, USA S. Kumagai, Yamatake Corporation, Japan M. Lyu, Chinese Univ. of Hong Kong, China K.Mori,Tokyo Institute of Tech., Japan A. M. Madni, Intelligent Systems Technology, Inc., CA T. Margaria, Uni Dortmund, Germany T.T. Maxwell, Texas Tech University, Lubbock, TX, USA J. Padberg, Technical University Berlin, Germany I. Poernomo, Monash Univ, Melbourne, Australia R. Reussner, Monash Univ, Melbourne, Australia M. Riebisch, TU-Ilmenau, Germany W. Rossak; FSU Jena, Germany Kee-Wook Rim, ETRI, Korea M. Ronchetti, University of Trento,Italy H. Qian, Chemical Industry and Eng. Society of China S. Jing, System Engineering Society of China A. Suenbuel, Kestrel Institute, Palo Alto M. Takizawa, Tokyo Denki Univ., Japan M.M. Tanik, Univ. of Alabama at Birmingham, AL, USA T. H. Tse, Univ. of Hong Kong, Hong Kong, China C. Wang , Shenyang Institute of Automation, China R. Wang, Chinese Mechanical Engineering Society S. Watanabe, Sojo University, Japan C. Wu, Tsinghua University, China Y. Yang, Chemical Industry and Engineering Society of China Z. Shi, General secretary of China Computer Federation B.Zhou, Software Inst., Beijing Areonautical & Astron. Univ., China ------------------------------------------------------------------------
_______________________________________________ Tinyos-users mailing list [EMAIL PROTECTED] http://mail.Millennium.Berkeley.EDU/mailman/listinfo/tinyos-users
