University of Minnesota
Software Engineering Center

You are here

Sanjai Rayadurgam

Photo of Sanjai Rayadurgam
Staff Member
Phone Number: 
Office Location: 
6-202 Keller Hall

Sanjai Rayadurgam is a Research Project Specialist at the University of Minnesota Software Engineering Center. His research interests are in software testing, formal analysis and requirements modeling, with particular focus on safety-critical systems development, where he has significant industrial experience. He earned a B.Sc. in Mathematics from the University of Madras at Chennai, and in Computer Science & Engineering, an M.E. from the Indian Institute of Science at Bangalore and a Ph.D. from the University of Minnesota at Twin Cities. He is a member of IEEE and ACM.

Recent Publications

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.

Modes, Features, and State-Based Modeling for Clarity and Flexibility

The behavior of a complex system is frequently defined in terms of operational modes—mutually exclusive sets of the system behaviors. Within the operational modes, collections of features define the behavior of the system.

Modeling and Requirements on the Physical Side of Cyber-Physical Systems

In a cyber-physical system (a system where the physical world interacts extensively with—often networked— software), the physical portion of the system resides in the continuous and continual domain. Thus, on the physical side of cyber-physical systems we will have to contend with not only real time requirements but also the continuous and continual nature of the system.