University of Minnesota
Software Engineering Center

You are here

Anitha Murugesan

Anitha Murugesan
Student/Research Assistant
Office Location: 
6-248 Keller Hall
Phd - Computer Science (Expected 2015) University of Minnesota

Master of Technology - Computer Science (2004) Vellore Institute of Technology, India

Bachelors of Engineering - Electrical and Electronics, University of Madras, India
Anitha Murugesan received B.E Degree in Electrical and Electronics Engineering from Madras University, India (2002) and M.Tech Degree in Computer Science and Engineering from Vellore Institute of Technology, India (2004). She has worked as a Software Engineer with Honeywell Technology Solutions, India (2004-2010). She is currently pursuing Ph.D in the area of Software Engineering at University of Minnesota. Her research interests are Requirements Engineering and Modeling for cyber physical systems.
Critical Systems Requirements and Modeling
Software Engineering; Requirements; Model based development

Recent Publications

Exploring the Twin Peaks using Probabilistic Verification Techniques

System requirements and system architecture/design co-evolve as the understanding of both the problem at hand as well as the solution to be deployed evolve---the Twin Peaks concept. Modeling of requirements and solution is a promising approach for exploring the Twin Peaks. Commonly, such models are deterministic because of the choice of modeling notation and available analysis tools. Unfortunately, most systems operate in an uncertain environment and contain physical components whose behaviors are stochastic.

Compositional Verification of a Medical Device System

Complex systems are by necessity hierarchically organized; they are decomposed into subsystems for intellectual control as well as the ability to have the subsystems created by several distinct teams. This decomposition affects both requirements and architecture; the architecture describes the structure and this affects how requirements are ``flowed down'' to each subsystem, and discoveries in the design process may affect the requirements. Demonstrating that a complex system satisfies its requirements when the subsystems are composed is a challenging problem.

Cyber-Physical System Requirements - A Model Driven Approach

Systems where the physical world interacts extensively with often distributed and networked-software are referred to as Cyber-Physical Systems (CPS). Gathering and analyzing CPS requirements poses unique challenges to the requirements engineering community - a perspective that is sensitive to the scoping and interplay between the cyber, physical and behavioral aspects of the system.