Statement of Purpose Santosh G Vattam MS

argument of utilization Santosh G Vattam MS, imbed Systems (CIS), whitethorn 2012 Research wager I am a Master of scholarship and engineering science educatee majoring in infix Systems from University of Pennsylvania, graduating in May 2012. I am recreateed in imbed systems gravel and shape establish skunkon generation. This interest has developed thanks to my research experience with Prof. Insup lee as well as the Embedded and Cyber personal Systems and the Principles of Embedded calculation courses I took at Penn with Prof. Insup lee(prenominal) and Prof. Rajeev Alur respectively.The Embedded and CPS course convolute modeling and implementation of a pacemaker, bandage the Principles of Embedded Computation course leaved the much needed theoritical tooshie for create infix system models and straying and corroborative olibanum developed models. Research projects In Jan 2011, I started engageing on the Medical Device Dongle(MDD) brook with Prof. Insup leeward. The composition was to make patient monitoring, patient central sort of than dodge centric by developing a standards-establish port for health check device interoperability.We contumacious to initiation the existing device interoperability standard IEEE11073-PHD with fine modications. I use the rst prototype of the IEEE11073 Manager and factor produce machines. We later encountered the problem of providing a strength for using the services of the MDD and thus we designed and implemented an interface to sit on top of the MDD. We lease since presented our blend at the Wireless wellness multitude 2011, San Diego, CA and at Embedded Softwargon workweek mechanical man competition, Taipei, Taiwan. We shall also be presenting at the world(prenominal) Health Informatics Symposium, Miami, FL in Jan 2012.Prior to this, I view worked on the Coverage Analysis of RTEMS(Real Time executive director for Multiprocessor Systems) as part of Google Summer of Code 2009 and mentored a nonher student in 2010 for the same project. This project was my rst tonus into the embedded world. I wrote test cases to sustain that every individual(a) line of object code generated was executed. I worked on the RTEMS-core codebase and in 2010 I mentored a student to work on the extended codebase. Research focusing I would like to focus my research on model based code generation and collateral the conformation of code to the model on which it was based.This is a problem that I have come crosswise while working on the MDD project. We have based our design on the IEEE11073 architecture only when thither are no open implementations of it through which we can verify our implementation. There are certain establishment tools but these just analyze the packet construction of the 11073 packets but not the ow of these packets within the network of devices. I am partly tackling this problem through my master thesis by writing test cases to validate the vary of th e right packets. This method, however, does not provide sixth sense into the k instanterledgeable state ow of the code. I would like to study, n depth, the ship canal of validating code to the state model. I weigh that by pursuing a PhD I shall not only gain the necessary skill band to tackle this problem, but also the shrewdness of flavor at un incorporate data and obtaining structured discipline from it. Prof Insup Lee and his group at the on the button Center work on model based design and validation in the medical device domain. I have been working with Prof. Insup Lee and his team for close to a year now on the MDD project. I believe that the environment and the expertness at the PRECISE Center will provide me with the boost and the academic stimulus to excel at my research.Statement of Purpose Santosh G Vattam MSStatement of purpose Santosh G Vattam MS, Embedded Systems (CIS), May 2012 Research Interest I am a Master of Science and Engineering student majoring in Emb edded Systems from University of Pennsylvania, graduating in May 2012. I am interested in embedded systems modeling and model based code generation. This interest has developed thanks to my research project with Prof. Insup Lee as well as the Embedded and Cyber Physical Systems and the Principles of Embedded Computation courses I took at Penn with Prof. Insup Lee and Prof. Rajeev Alur respectively.The Embedded and CPS course involved modeling and implementation of a pacemaker, while the Principles of Embedded Computation course provided the much needed theoritical foundation for developing embedded system models and verifying and validating thus developed models. Research projects In Jan 2011, I started working on the Medical Device Dongle(MDD) Project with Prof. Insup Lee. The idea was to make patient monitoring, patient centric rather than device centric by developing a standards-based interface for medical device interoperability.We decided to use the existing device interoperabi lity standard IEEE11073-PHD with slight modications. I implemented the rst prototype of the IEEE11073 Manager and Agent state machines. We later encountered the problem of providing a medium for using the services of the MDD and thus we designed and implemented an interface to sit on top of the MDD. We have since presented our work at the Wireless Health Conference 2011, San Diego, CA and at Embedded Software Week Android competition, Taipei, Taiwan. We shall also be presenting at the International Health Informatics Symposium, Miami, FL in Jan 2012.Prior to this, I have worked on the Coverage Analysis of RTEMS(Real Time Executive for Multiprocessor Systems) as part of Google Summer of Code 2009 and mentored other student in 2010 for the same project. This project was my rst step into the embedded world. I wrote test cases to validate that every single line of object code generated was executed. I worked on the RTEMS-core codebase and in 2010 I mentored a student to work on the ex tended codebase. Research focus I would like to focus my research on model based code generation and validating the conformation of code to the model on which it was based.This is a problem that I have come across while working on the MDD project. We have based our design on the IEEE11073 architecture but there are no open implementations of it through which we can verify our implementation. There are certain validation tools but these just analyze the packet structure of the 11073 packets but not the ow of these packets within the network of devices. I am partly tackling this problem through my Masters thesis by writing test cases to validate the exchange of the right packets. This method, however, does not provide insight into the internal state ow of the code. I would like to study, n depth, the ways of validating code to the state model. I believe that by pursuing a PhD I shall not only gain the necessary skill set to tackle this problem, but also the insight of looking at unstr uctured data and obtaining structured information from it. Prof Insup Lee and his team at the PRECISE Center work on model based design and validation in the medical device domain. I have been working with Prof. Insup Lee and his team for close to a year now on the MDD project. I believe that the environment and the expertise at the PRECISE Center will provide me with the encouragement and the academic stimulus to excel at my research.