Madhukar Anand
PhD Student
Department
of Computer and Information Science
School of
Engineering and Applied Science
University of
Pennsylvania
Office: GRW 461
Email: my last name followed by m (at) cis (dot) upenn (dot) edu
About me
I am a PhD student, and my adviser is Prof Insup Lee.
My research interests are Real-Time and Embedded Systems, Formal
Methods, and Sensor Networks. Prior to joining Penn, I got my B.S and
M.S at IIT
Kharagpur in Mathematics and Computing. At IIT, amongst
other awards, I received the President's Institute Silver Medal for
academic excellence in 2003.
Research Statement
The focus of my research is
to utilize formal methods to provide and verify guarantees with respect
to semantics, composition, and security in real-time and
embedded systems including sensor networks. My dissertation
research focuses on developing conditional real-time models. Embedded
real-time processes are typically implemented as some event-driven code
embedded within an infinite loop.In many applications, the action to be
taken upon the occurrence of external events depends on factors such as
the current state of the system, the values of certain external
variables, etc. The timing requirements for such code is best
represented by a conditional task model. The analysis of such models
therefore, is of great practical significance. Specifically, my
dissertation aims to (1) define metrics and develop an
analysis framework for such models, (2) extend the analysis, and
develop abstractions for composition of different models, and (3) use
these models to build flexible, efficient, and robust distributed
real-time applications .
The second thread
of my research concentrates on providing semantic guarantees in
embedded software by generating code from Hybrid System models. By
providing mathematically provable guarantees in the code, we can
greatly improve the reliability and reduce the cost of development in
embedded software.
Finally, I am also
interested in Sensor Networks where the emphasis of my work has been on
developing models and techniques for programming the sensor network and
provide metrics for security.
Teaching
Refereed Publications
Madhukar Anand and Insup Lee, Robust and Sustainable Schedulability Analysis of Embedded Software
(To Appear) Proceedings of the ACM SIGPLAN/SIGBED 2008 Conference on
Languages, Compilers, and Tools for Embedded Systems (LCTES 2008), Tucson, AZ, Jun 12-13, 2008
Madhukar Anand, Arvind Easwaran, Sebastian
Fischmeister
and Insup Lee, Compositional Feasibility Analysis for Conditional Task
Models, (To Appear) Proceedings of the 11th IEEE
International Symposium on Object-oriented Real-time Distributed
Computing (ISORC 2008), Orlando, Florida, May 5-7, 2008
Abstract
- PDF
Arvind Easwaran, Madhukar Anand, and Insup Lee.
Compositional Analysis Framework using EDP Resource Models.
28th IEEE Real-Time Systems Symposium (RTSS), Tuscon,
Arizona, December 2007.
Abstract
PDF
Luis Almeida, Madhukar Anand, Sebastian
Fischmeister, and Insup Lee, A Dynamic Scheduling Approach to Designing
Flexible Safety-Critical Systems 7th ACM
International Conference on Embedded Software (EMSOFT) ,
Salzburg, Austria, October 2007.
Abstract
- PDF
Madhukar Anand, Sebastian Fischmeister, and Insup
Lee, Composition Techniques for Tree Communication Schedules, 19th
Euromicro Conference on Real-Time Systems (ECRTS), Pisa,
Italy, July 2007.
Abstract
- PDF
A Agung Julius, Georgios E. Fainekos, Madhukar
Anand, Insup Lee and George J. Pappas, Robust Test Generation and
Coverage for Hybrid Systems, 10th
International Conference on Hybrid Systems: Computation and Control
(HSCC), Pisa, Italy, April 2007.
Abstract
- PDF
Madhukar Anand, Sebastian Fischmeister, and Insup
Lee, An Analysis Framework for Network-Code Programs, Proceedings
of the 6th ACM International Conference on Embedded Software (EMSOFT
2006), Seoul, South Korea, October 22-25, 2006
Abstract - PDF
Madhukar Anand, Insup Lee, Oleg Sokolsky, and
George Pappas, Unit & Dynamic Typing in Hybrid Systems Modeling
with CHARON, In Proceedings of the IEEE International
Symposium on Computer-Aided Control Systems Design (CACSD 2006),
Munich, Germany, October 4-6, 2006
Abstract - PDF
Madhukar Anand, Eric Cronin, Micah Sherr, Matt
Blaze, Zachary Ives and Insup Lee, Sensor Network Security: More
Interesting Than You Think, Proceedings of the 1st USENIX
Workshop on Hot Topics in Security (HotSec 2006), Vancouver,
B.C. Canada, July 31, 2006
Abstract - PDF
Madhukar Anand, Samar Dajani-Brown, Steve Vestal,
and Insup Lee, Formal Modeling and Analysis of AFDX Frame Management
Design, Proceedings of the 9th IEEE International Symposium
on Object-oriented Real-time Distributed Computing (ISORC 2006),
Gyeongiu, Korea, April 24-26, 2006
Abstract - PDF
Madhukar Anand, Jesung Kim, Sebastian
Fischmeister, and Insup Lee, Generating Sound and Resource-Aware Code
from Hybrid System Models, Proceedings of the 2nd Workshop on
Advanced Automotive Software and Systems Development (ASWSD 2006),
San Diego, March 15-17, 2006
Abstract - PDF
Madhukar Anand, Zachary G. Ives, and Insup Lee,
Quantifying Eavesdropping Vulnerability in Sensor Networks, Proceedings
of the 2nd International VLDB Workshop on Data Management for Sensor
Networks, DMSN'05, Trondheim, Norway, August 29, 2005
Abstract - PDF
Madhukar Anand, Sebastian Fischmeister, Jesung
Kim, and Insup Lee, Distributed-Code Generation from Hybrid Systems
Models for Timedelayed Multirate Systems, Proceedings of
EMSOFT'05, Jersey City, New Jersey, USA, September 19-22, 2005
Abstract - PDF
Madhukar Anand, Jesung Kim, and Insup Lee, Code
Generation from Hybrid Systems Models for Distributed Embedded System,
Proceedings of the 8th IEEE International Symposium on Object-oriented
Real-time distributed Computing, ISORC'05, Seattle,
Washington, May 18-20, 2005
Abstract - PDF
Other Technical Writings
Madhukar Anand, Eric Cronin, Micah Sherr, Matt
Blaze, and Sampath Kannan, Security Protocols with Isotropic Channels,
Cryptology ePrint Archive, Report 2006/396, 2006 [pdf]
Madhukar Anand, Jesung Kim, and Insup Lee, Sound
Code Generation from Hybrid System Models: Some Theoretical Results, in
Technical report, MS-CIS-05-03, University of Pennsylvania, 2005.[pdf]
Madhukar Anand, T.Praveen Babu and
S.Sundar An Intelligent Decision Making System for Autonomous
Vehicle Control, Proceedings of the 89th ISC, 2002.
Madhukar Anand, Hariharan R , A Genetic
Algorithmic Approach for Finding the Root of an Equation, Proceedings
of the 89th ISC 2002.
|
