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

A Hierarchical Requirements Reference Model

Requirements reference models provide a conceptual framework for discussing and reasoning about system development artifacts such as requirements, assumptions and designs. In practice, complex systems are naturally constructed in hierarchies in which design choices at one level of abstraction influence the requirements that flow down to the subsequent lower levels. Well-known reference models such as Parnas’ Four-variable model, Jackson’s World-Machine model, and the WRSPM model of Gunter et al., can be seen as capturing on view of this decomposition—the one in which the solution (software

From Requirements to Code: Model Based Development of A Medical Cyber Physical System?

The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an eort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system

Structuring Simulink Models for Verification and Reuse

Model-based development (MBD) tool suites such as Simulink and Stateflow offer powerful tools for design, development, and analysis of models. These models can be used for several purposes: for code generation, for prototyping, as descriptions of an environment (plant) that will be controlled by software, as oracles for a testing process, and many other aspects of software development. In addition, a goal of model-based development is to develop reusable models that can be easily managed in a version-controlled continuous integration process.