Principal Member of Research Staff
Nokia Research Center Cambridge
Contact
I joined Nokia in 2001 as a Senior Researcher in Software Architecture Group, Burlington, MA. Before joining Nokia I worked at Motorola, Global Software Group, Ft. Lauderdale, FL.
I am interested in System Modeling and Formal Analysis of Computing Platforms, especially Smart Phones that have high performance demands and strict energy constraints. During my Ph.D days, I was involved in developing tools and methods to formalize various informal object-oriented and structured methods using Z and Obj-Z specification language. At Motorola, I used more graphical formal representations such as SDL and SPIN for modeling some Paging and Cellular SW Components. At Nokia, I have been working on various aspects of Software and System Performance. Very often we are faced with some challenging questions from Business Units that require quick architectural analysis and estimation. My research goal is to facilitate a formal approach to answer these architectural tradeoff questions in early design stage. System modeling at multiple levels of abstraction is definitely the way to go. As much as I am thrilled about building high-level abstract models in layered queuing networks or predicate-transition net that makes analysis really simple and rapid, so am I interested in detailed models in Bluespec or Verilog to verify cycle level accuracy and power consumption. I am now leading the ARMO project(http://research.nokia.com/projects/armo), which is part of Nokia-MIT collaboration. Please feel free to send me a note if you have similar research interests.
We developed a model based performance estimation framework. This framework facilitates modeling, analysis and estimation of performance for mobile devices that are not yet available in hardware implementation. Based on this framework, detailed component level models and service times were derived for use cases that involve file system, MMC, USB, TCPIP, WLAN, Mass Storage etc. The system level simulator and the use case simulator were effectively applied to analyze various use cases and design alternatives on the simulated environment and to verify various performance constraints.
Modeling and simulation of WLAN architecture in mobile devices: Estimating system performance in critical scenarios, like VoIP and UMA, which involve WLAN device. Part of this project was done in collaboration with the WLAN Standardization Program in which various new schemes like HCCA and EDCF were experimented for enhanced power savings, throughput and latencies.
Modeled tightly coupled memory in High Bit Rate Architecture. This model and simulator was used to evaluate the High Bit Rate Architecture (HBRA) by Nokia Mobile Phones/PAJA System Design group. Using this model, we could analyze the system performance under different system configurations and scenarios. As a result of this study, optimal memory design and tightly coupled memory sizing were recommended.
Developed shared memory model using Predicate Transition Net to analyze contentions and latencies involved when MCU and DSP access the shared memory in RAP3G architecture.
Developed meta-model of RME object-model by using specific grammar and parsing strategies. Provided static and dynamic validation mechanisms for evaluating usage of RME model. This concept and associated tool was successfully transferred to Nokia Mobile Phones /Boston Browser development group.
Developed a systematic method and prototype tool support for analyzing software portability with respect to specific environment APIs, features (persistent memory, IO) and capabilities (threading support, interrupt handling, memory size, processor(s), reliability support). Evaluated and provided solutions for various portability problems for Nokia Mobile Phones/Boston Browser development group.
Developed application framework architecture for Synergy (common platform for GSM/CDMA/TDMA) based cellular phones at Motorola. Modeling and analysis was done using Unified Modeling Language (UML) and Specification and Description Language (SDL).
Modeled and implemented a token-based resource allocation scheme to allocate appropriate resources for applications based on usage profile and scenario. This scheme was effectively used in v-series GSM and CDMA mobile phones at Motorola.
Ph.D., Computer Engineering, Florida Atlantic University, May 2000
M.S., Computer Engineering, Florida Atlantic University, August 1995
B.E., Electrical & Electronics Engineering, University of Mysore, India, August 1991
G. Raghavan and R. Lencevicius, “Software Performance Modeling: Exploring System Architecture to Maximize Performance on Future Devices”, Tutorial at 5th European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2005, Lisbon, Portugal, 2005
Hubbard, R. Lencevicius, E. Metz and G. Raghavan, “Performance Validation on Multicore Mobile Devices”, Proceedings of IFIP Working Conference on Verified Software: Tools, Techniques and Experiments, VSTTE2005, Zurich, Switzerland, 2005
Raghavan, A. Salomaki and R. Lencevicius, “Model Based Estimation and Verification of Mobile Device Performance”, Proceedings of Fourth ACM International Conference on Embedded Software – EMSOFT2004, Pisa, Italy, 2004
Raghavan, “Performance Modeling in a Nutshell”, Tutorial presentation at Performance Research Workshop, Boston, 2004
Raghavan, “Killer Apps”, Invited presentation at Software Architecture and Performance session at NERD2004, Finland, 2004.
Raghavan, “Introducing Object Validation and Navigation in Software Process to Improve Software Quality”, Proceedings of 4th International Conference on Product Focused Software Process Improvement, Rovaniemi, Finland, 2002.
Raghavan, “Improving Software Quality in Product Families Through Systematic Reengineering”, Proceedings of 7th European conference on Software Quality, Helsinki, Finland. 2002.
Raghavan, “A Practical Reengineering Approach for Mobile Terminal Software”, Proceedings of Sixth European Conference on Software Maintenance and Reengineering, Budapest, Hungary, 2002.
Raghavan, “Reengineering Legacy Wireless Systems to Accommodate New Technologies”, Proceedings of 20th IASTED International Conference on Applied Informatics, Innsbruck, Austria, 2002.
Ran, E. Metz, G. Raghavan, R. Lencevicius, “Software Performance Architecture”, Nokia Exchange of Research and Development Conference (NERD 2002), October, Finland, 2002.
Raghavan, “Reducing Maintenance Cost in Product Families Using Multi-Platform Development Scheme”, Proceedings of Fifth IASTED International Conference on Software Engineering and Applications, Anaheim, California, 2001.
Raghavan, M. Boughdadi, “Mapping UML Object Model and Statechart to SDL”, Software Engineering Symposium, Motorola Conference, Arizona, 2000.
Raghavan, M. Boughdadi, “Integration of UML and SDL: Industrial Strength Formal Modeling of Embedded Systems”, International Conference on Unified Modeling Language - UML’99, Ft. Collins, October 1999.
Raghavan, M. M. Larrondo-Petrie, “A Formal UML Package for Specifying Real-Time System Constraints”. Proceedings of the 1999 International Workshop on Real-Time Constraints (RTC’99). Virginia, October 1999.
Hsu, Robert France, G. Raghavan, M. Boughdadi, “Towards Internet-based Education in The Caribbean”, Proceedings of Caribbean Academy of Sciences, 1998.
Robert B. France, J.-M. Bruel and G. Raghavan, “Towards Rigorous Analysis of Fusion Models: The MIRG Experiences”, Northern Formal Methods Workshop, 1997.
Robert B. France, J.-M. Bruel and G. Raghavan, “Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models”, Proceedings of HASE97 Conference, 1997.
M. Larrondo–Petrie, K. R. Nair, and G. K. Raghavan, “A Domain Analysis of Web Browsers Architectures, Languages and Features”, Proceedings of IEEE Southcon’96 Conference Record, Southcon’96, Orlando, FL. June 1996.
J–M. Bruel, R. B. France, M. M. Larrondo–Petrie, B. Chintapally and G. K. Raghavan, “CASE-based Rigorous Object-Oriented Modeling”, Proceedings of the Northern Formal Methods Workshop (NFMW’96), University of Bradford, UK, September, 1996.
J-M. Bruel, Bharat Chintapally, R. B. France, Gopal Raghavan and M. M. Larrondo-Petrie, “FuZE: Draft of the User’s Guide”, FAU Technical Report TR-CSE-96-9, Department of Computer Science and Engineering, Florida Atlantic University, FL,1996
J-M. Bruel, R. B. France, Bharat Chintapally, and Gopal Raghavan, “A Tool for Rigorous Analysis of Object Models”, Proceedings of the 20th International Conference on Technology of Object-Oriented Languages (TOOLS), Santa Barbara, 1996.
R. Nair, G. K. Raghavan, Robert B. France, M. M. Larrondo–Petrie, and T. B. Horton, “A Process Model for Domain Analysis”, Proceedings of the ACM Southeast Conference, Auburn, AL, April 1996.
K. Raghavan, K. R. Nair, T. B. Horton, M. M. Larrondo–Petrie, R. B. France, “A Domain Model of WWW Browsers”, Proceedings of the IEEE Southeastcon’96, Tampa, FL, April 1996.
