Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
Search
 
S. Ramesh
Indian Institute of Technology
Mumbai, India
 

S. Ramesh has been with with General Motors Global R&D for the last 10 years, where he currently holds the position of Technical Fellow and Thrust Area Lead for model-based embedded software. At General Motors, he is responsible for providing technical leadership for research and development in several areas related to electronics, control & software processes, methods, and tools. He has been an active industrial member of the Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems (NECSIS), sponsored by the Automotive Partnership Canada. NECSIS is a research program focusing on making model-driven engineering into a mature industrial engineering methodology. As a member of NECSIS, Ramesh is responsible for monitoring and providing direction, and to facilitate interactions among the partners involved in NECSIS and GM Engineering.

Earlier, Ramesh was on the faculty of the Department of Computer Science & Engineering at the Indian Institute of Technology Bombay (IITB), India, for more than 15 years. At IITB, he played a major role in setting up a National Centre for Formal Design and Verification of Embedded Software.

His areas of research are rigorous software engineering, embedded systems, and real-time systems. He has published more than 100 papers in international journals and conferences. He has been on the editorial boards of the International Journal on Real-Time Systems and the Eurasip Journal on Embedded Systems and the IEEE Journal on Embedded System Letters.


     

Modelling and verification of weighted spiking neural systems
Aman B., Ciobanu G. Theoretical Computer Science 623(C): 92-102, 2016.  Type: Article

This paper considers the problem of formal verification of systems described using an abstract computing model called a spiking neural system, which is modeled after how brain cells (neurons) communicate. A spiking neural system is a c...

 

Schedulability analysis of a graph-based task model for mixed-criticality systems
Ekberg P., Yi W. Real-Time Systems 52(1): 1-37, 2016.  Type: Article

This paper is concerned with the problem of scheduling sporadic mixed-criticality tasks in uniprocessor systems. In these systems, tasks may not have fixed periods but minimum inter-arrival times. Further, they may have different criti...

 

 Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J. Formal Methods in System Design 44(3): 203-239, 2014.  Type: Article

Runtime verification involves checking whether a given system (in software or hardware) satisfies a given property during the execution of the system. This paper presents a set of runtime verification algorithms, their correctness, and...

 

Beginning Google Glass development
Tang J., Apress, Berkeley, CA, 2014. 368 pp.  Type: Book (978-1-430267-88-1)

Google Glass embraces at least three technology areas (ubiquitous computing, Internet of Things, and wearable technologies), all of which find a place in any survey on recent technology trends. Like smartphones, Google Glass provides a...

 

Modeling and analysis of TinyOS sensor node firmware: a CSP approach
McInnes A. ACM Transactions on Embedded Computing Systems 12(1): 1-23, 2013.  Type: Article

This paper, as the name suggests, formalizes certain elements of TinyOS, an operating system that has become popular in the domain of sensor networks. The well-known formalism of communicating sequential processes (CSP) is used for mod...

 
  more...

 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy