Welcome to the home page for Research and Curriculum Development on Real-Time Embedded Systems in the Department of Computing and Information Sciences at Kansas State University. This material is based upon work supported by the National Science Foundation under Grant No. 9980321 and 0227709. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Research Activities
The research focus in this area is on distributed, fault-tolerant real-time embedded systems. We focus on both formal and informal methods for embedded system development. The initial target for development is on controller area networks used extensively for networking controls and actuators on-board machinery and vehicles. The group currently works on areas related to hard real-time systems whose operation depends not only on the correctness of the results, but also on their timeliness. Areas of interest include networking and operating system support for hard real-time embedded systems, specification and design languages for developing real-time embedded applications, and simulation and verification tools for ensuring their correctness.

Teaching Activities
Our group is currently developing an interdisciplinary, four-course sequence on Real-Time Embedded Systems.

Outreach Activities 
The Engineering Directorate of the National Science Foundation (NSF/ENG) has awarded Kansas State University (KSU) a three year continuing award to support a Research Experience for Teachers (RET) Site Program on real-time embedded system design .Ten upper elementary and/or middle school teachers from both urban and rural schools in Kansas or adjacent metropolitan areas will be selected to participate in this four-week summer research program. The primary goal of this program is to bring knowledge of engineering to the elementary and middle school classroom by involving teachers in engineering research.

To apply for this program visit the NSF Research Experience for Teachers (NSF-RET) Site home page and fill out the application form.


To contact the webmaster E-mail Jeff Rosenberg