Integrating Design, Verification, and Implementation of a Communication Protocol
Department
Computer Science
Major
Computer Science
Research Advisor
McMillin, Bruce M.
Advisor's Department
Computer Science
Funding Source
UMR Opportunities for Undergraduate Research Experiences (OURE) Program, NSF MRI grant CNS-0420869, UMR Intelligent Systems Center
Abstract
In a real-time embedded system, correct communication between components is critical. This includes accounting for lost and late data. When existing protocols are not designed to handle real time constraints, a new protocol must be designed. Since the accuracy is vital, the protocol must be modeled and verified for correctness. However, such models are often too abstracted from the hardware and system to be of any use. This paper discusses the process that was used to refine a model for a specialized power electronics device. The end result is an implemented protocol that meets the device’s correctness requirements.
Biography
Jimmy is a senior attending the University of Missouri--Rolla majoring in Computer Science.
Research Category
Engineering
Presentation Type
Oral Presentation
Document Type
Presentation
Presentation Date
12 Apr 2006, 9:30 am
Integrating Design, Verification, and Implementation of a Communication Protocol
In a real-time embedded system, correct communication between components is critical. This includes accounting for lost and late data. When existing protocols are not designed to handle real time constraints, a new protocol must be designed. Since the accuracy is vital, the protocol must be modeled and verified for correctness. However, such models are often too abstracted from the hardware and system to be of any use. This paper discusses the process that was used to refine a model for a specialized power electronics device. The end result is an implemented protocol that meets the device’s correctness requirements.
