High Assurance Systems

Educational Activities

This project seeks to develop educational programs in the design of high-assurance systems and to enhance outreach linkages to local industry and state government.  The proposed activities (partially funded by MSU's Quality Fund), initially involving four MSU colleges, represent a first step toward establishing a Center for High-assurance Systems at MSU.  The Center is planned to be self-sustaining with funding from federal agencies, the State of Michigan, and industrial partners. In addition to serving MSU students, the Center will provide an "extension service" to local industry and State government in key areas (e-commerce and supply chain management, manufacturing, management of natural resources, and homeland security) and will serve as an economic engine for the State of Michigan.

The main objectives of the educational activities are:

  1. to construct undergraduate and graduate multidisciplinary curricula in high assurance systems
  2. to build a "laboratory chassis" that supports hands-on experiments and designing and testing such systems
  3. provide undergraduates with multidisciplinary research opportunities in high assurance systems

In its initial stages, the project will target four application domains:

bullet Embedded control systems for manufacturing and transportations systems
bullet Sensor networks and related technologies for homeland security
bullet Information assurance technologies for e-commerce and supply-chain management
bullet Computing technologies for monitoring and assessing quality of ecosystems

 

Undergraduate Research Assistantships:

We are seeking talented students to work on these research projects with fellow students and HAS faculty members. If you are interested in performing research in HAS as an undergraduate, please contact one of the following faculty members to explore possible research opportunities: Betty H.C. Cheng (CSE), Philip K. McKinley (CSE),  Stuart Gage (ENT), Brian Pentland (ACC), Clark Radcliffe (ME), Xiaobo Tan (ECE), Subir Biswas (ECE), Sandeep Kulkarni (CSE), Laura Dillon (CSE), Kurt Stirewalt (CSE).

Online Application form