SMILE: Service Model for Integration of reaL-time Embedded systems

Project Description

The goal of this project is to develop concepts and technology to support configurable and reconfigurable system and middleware services for embedded real-time systems. We achieve these goals by modeling the system as a collection of abstract services. The service model describes the functional behavior of the service; it is augmented with a performance model that describes the run-time performance of the service. We define service protocols to capture the configurability of the service and how the service can be composed with other services to form the larger system.

We are exploring the implementation and utility of these concepts by building reconfigurable middleware services for networked embedded systems. Our primary testbed is a wireless sensor network composed of Crossbow Motes running the TinyOS? operating system. Our focus is on data dissemination and energy-efficient message routing.

QuadChart?

Presentations

• Kickoff Meeting presentation, June 2001 (PDF)
• PI Meeting, PI status presentation, September 2001 (PPT), (PDF)
• PI Meeting, PI status presentation, February 2002 (PPT), (PDF)
• PI Meeting, PI status presentation, July 2002 (PDF)
• PI Meeting, Demo presentation, July 2002 (PDF)
• Project status update, November 2002 (PDF)
• Performance Profiling of Reconfigurable Communication Services, November 2002 (PDF)
• PI Meeting, PI status presentation, January 2003 (PDF)
• PI Meeting, Demo presentation, January 2003 (PDF)

Publications

• S. Wang, S. Kodase, K.G.Shin, D.L.Kiskis, "Measurement of OS services and its applications to performance modeling and analysis of integrated embedded software", Proceedings of the 8th IEEE Symposium on Real-Time Embedded Technology and Applications, San Jose, Sept 24-27, 2002, pp 113-122. * Shige Wang, Sharath Kodase, Kang G. Shin, "Automating embedded software construction and analysis with design models", Proceedings of International Conference of Euro-uRapid 2002, Frankfurt, Germany, Dec. 2-3, 2002, pp A/5-1~A/5-6. * Min-gyu Cho and Kang G. Shin, "On soft real-time guarantees on the Ethernet", In Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications, Feb. 2003.

Research Members

• Kang Shin, Professor/Principal Investigator. Email: kgshin@eecs.umich.edu
• Daniel L. Kiskis, Research Scientist. Email: dlk@umich.edu
• Zhigang Chen, Graduate Student. Email: zhigangc@eecs.umich.edu
• Min-gyu Cho, Graduate Student. Email: mgcho@eecs.umich.edu
• Amit Jain, Graduate Student. Email: amitj@eecs.umich.edu
• Jai-jin Lim, Graduate Student. Email: jjinlim@eecs.umich.edu
• Shige Wang, Graduate Student. Email: wangsg@eecs.umich.edu

-- Main.mgcho - 21 Mar 2007