Reactive Framework for Resource Aware Distributed Computing ⋆ (2008)
Rajesh Gupta, R. K. Shyamasundar, In Honour, Jean-louis Lassez
Abstract. Rapid strides in technology have lead to pervasive computing in a spectrum of applications such as crisis management systems, distributed critical systems, medical therapy systems, home...
An Efficient Secure, Vishwas Patil, Scientific Officer, Vishwas Patil, R. K. Shyamasundar, Prof Rk Shyamasundar
In this paper, we propose a new efficient and secure micro-payment scheme, named {\em e-coupons}, which can provide the users the facility of delegating their spending capability to other users or...
Designing Systolic Architecture For Symmetrizing Hessenberg Matrices (2007)
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
In this paper, we describe a systematic method for mapping the problem of symmetrizing Hessenberg matrices onto systolic architectures. The starting point of our method is a graphical abstraction of...
Mapping Linear Recurrence Equations into Systolic Architectures (2007)
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
In this paper, we describe a methodology for mapping linear recurrence equations to a spectrum of systolic architectures. First, we provide a method to map a system of directed recurrence equations,...
Preemption Primitives in Reactive Languages (A Preliminary Report) (2007)
Sophie Pinchinat, Eric Rutten, R. K. Shyamasundar
Abstract. In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT ') in a common framework. This enables us to compare...
Taxonomy and Expressiveness of Preemption: A syntactic approach (2007)
Sophie Pinchinat, Eric Rutten, R. K. Shyamasundar
Abstract. We propose a taxonomy of preemptive (suspensive and abortive) operators capturing the intuition of such operators that exist in the various synchronous languages. Some of the main...
Proving Termination of GHC Programs 1 (2007)
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits...
Modelling VHDL in Multiclock Esterel (2007)
Basant Rajan, R. K. Shyamasundar
The introduction of HDLs (hardware description languages) have made a significant contribution to VLSI circuit design. While these languages are well suited to describe circuits in great detail, they...
Scheduling Periodic Distributed Hard Real-Time Tasks (2007)
Me Tas Ks, Ashok Khemka, R. K. Shyamasundar
) Ashok Khemka and R.K. Shyamasundar Computer Science Group Tata Institute of Fundamental Research Bombay - 400 005, India, e-mail: fkhemka,shyamg@tcs.tifr.res.in Abstract We present several...
An Actor Formalism For Open Concurrent Systems (2007)
Shyamasundar Anna Patterson, R. K. Shyamasundar, Anna Patterson, Gul Agha
This paper describes a universal model of concurrent computation based on an Actor formalism. Apart from the usual actor primitives, namely, branching, message send, actor creation, and local state...
Design of Controllers for Linear Hybrid Systems (2007)
Rupak Majumdar, R. K. Shyamasundar
. In this paper, we describe an approach for deriving control laws for linear hybrid systems given the phase transition system and the global invariance. After illustrating the method, we show that...
MSC + : A Generalized Hierarchical Message Sequence Charts. The Third (2007)
Mes N Belachew, S. Gadhwala, R. K. Shyamasundar
Abstract | Message Sequence Charts (MSC) is a graphical language that has been widely used in the design of distributed systems and communication protocols. MSCs are particularly useful in the early...
Mesfin Belachew, V. N. Joshi, R. K. Shyamasundar
is a generalization of hierarchical message sequence charts (hMSCs) having the capability to specify preemptive features such as watchdogs, generalized coregion and forbidden scenarios. In this...
MSC/sup +/: From requirement to prototyped systems (2007)
Mesfin Belachew, R. K. Shyamasundar
Abstract--- Message Sequence Charts (MSCs) have gained wide acceptance for scenario-based specification of component behaviors. MSCs are very useful during requirements capture phase of the software...
MSC/sup +/: From requirement to prototyped systems (2007)
Mesfin Belachew, R. K. Shyamasundar
Message Sequence Charts (MSCs) have gained wide acceptance for scenario based specifi-cation of component behaviors. MSCs are very useful during requirements capture phase of the software development...
Application of Esterel for Modelling and Verication of Cachet protocol on CRF Memory Model (2007)
Siddharth R. Phanse, R. K Shyamasundar
Synchronous languages have been widely used for the reliable design of reactive systems and synchronous circuits. as it has become possible to move from the realm of simulations to that of proofs....
Proving Termination of GHC Programs 1 (2007)
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits...
J. V. Aghav, R. K. Shyamasundar
Synchronous languages are widely used for the design of verifiable reactive systems. Design and implementation of automotive control systems is a challenging task. In this paper, we shall describe an...
Mes N Belachew, S. Gadhwala, R. K. Shyamasundar
Abstract. Message Sequence Charts (MSC) is a graphical language that has been widely used in the design of distributed systems and communication protocols. MSCs are particularly useful in the early...
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit Seshia, R. K. Shyamasundar
Abstract. In this paper, we describe the design and implementation of an environment for the specication, analysis and verication of reactive systems. The environment allows the user to develop...
From Requirement to Prototyped Systems (2007)
Mesfin Belachew And, Mesfin Belachew, R. K. Shyamasundar
Message Sequence Charts (MSCs) have gained wide acceptance for scenario-based specification of component behaviors. MSCs are very useful during requirements capture phase of the software development...
Semantics and Verification of Hierarchical CRP Programs (2007)
Communicating Reactive Processes (CRP) paradigm unifies asynchronous and synchronous mechanisms of concurrent programming languages. As an example, CRP unifies Esterel and Hoare's Communicating...
Report Sophie, Sophie Pinchinat, Eric Rutten, R. K. Shyamasundar
. In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT ') in a common framework. This enables us to compare...
A System for Object Code Validation (2007)
A. K. Bhattacharjee, Bhattacharjee Gopa Sen, S. D. Dhodapkar, Basant Rajan, R. K. Shyamasundar
In several key safety-critical embedded applications, it has become mandatory to verify the process of translation by compilers since usually compilers are only certi ed rather than veri ed. In this...
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation helps analysts and...
Bob Blainey, Philippe Charles, Perry Cheng, Patrick Gallop, Christian Grothoff, Allan Kielstra, ...
This draft report provides an initial description of the programming language X10. X10 is a single-inheritance class-based object-oriented (OO) programming language designed for highperformance,...
Trust Management for E-Transactions (2005)
Vishwas Patil And, Vishwas Patil, R. K. Shyamasundar
There has been an enormous increase of transactions and cooperative-computing services on the Internet. This is both a technical and a social phenomenon. Transactions and services over the Internet...
Trust Management for E-Transactions (2005)
Vishwas Patil, R K Shyamasundar
There has been enormous increase in transactions and cooperativecomputing services on the internet. This is both a technical and a social phenomenon. Transactions and services over the internet have...
Actors as a Coordinating Model of Computation (2004)
This paper relates two prominent models of concurrent computation, namely Actors and the π-calculus. We build on a thesis that proclaims – Actors enact the role of a coordinating model of...
Towards a Flexible Access Control Mechanism for E-Transactions (2004)
Vishwas Patil, R. K. Shyamasundar
Abstract. Security over the Internet depends on a clear distinction between authorized and un-authorized principals. Discriminating between the two involves: identification (user identifies...
MOBICHARTS: A Notation to Specify Mobile Computing Applications (2003)
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation helps analysts and...
Approximate Computation of Reach Sets in Hybrid Systems (2002)
One of the most important problems in hybrid systems is the {\em reachability problem}. The reachability problem has been shown to be undecidable even for a subclass of {\em linear} hybrid systems....
Analyzing Cryptographic Protocols in a Reactive Framework (2002)
In this paper, we analyze the suitability of reactive frameworks for modelling and veri cation of cryptographic protocols. Our study shows that cryptographic protocols can be modelled easily and...
Validating real-time constraints in embedded systems (2001)
R. K. Shyamasundar, J. V. Aghav
There is a growing demand for software tools that can assist in designing, analyzing and validating embedded real-time system applications. Validating real-time constraints in embedded systems plays...
Validating Real-Time Constraints in Embedded Systems (2001)
R. K. Shyamasundar, J. V. Aghav
There is a growing demand for software tools that can assist in designing, analyzing and validating embedded real-time system applications. ESTEREL a synchronous language, is widely used in the...
Realizing real-time systems from synchronous language specifications (2000)
R. K. Shyamasundar, J. V. Aghav
Synchronous languages specify reactions of the reactive/realtime systems to its environment within the language. This makes it easier to validate and verify the systems relative to the assumptions...
Realizing real-time systems from synchronous language specifications (2000)
R. K. Shyamasundar, J. V. Aghav
Abstract. Synchronous languages specify reactions of the reactive/realtime systems to its environment within the language. This makes it easier to validate and verify the systems relative to the...
Multiclock ESTEREL: A Reactive Framework for Asynchronous Design (2000)
Basant Rajan, R. K. Shyamasundar
this paper, we discuss a new paradigm called Multiclock ESTEREL, based on the paradigm of the synchronous reactive language, ESTEREL, used for reactive systems and synchronous circuit design. We show...
Modeling Distributed Embedded Systems in Multiclock Esterel (2000)
Basant Rajan, R. K. Shyamasundar
In this paper, we show that the paradigm of Multiclock Esterel can be effectively used for the design of asynchronously communicating distributed systems. First we show that the protocol used in...
Multiclock ESTEREL: A Reactive Framework for Asynchronous Design (2000)
Basant Rajan And, Basant Rajan, R. K. Shyamasundar
this paper, we discuss a new paradigm called Multiclock ESTEREL, based on the paradigm of the synchronous reactive language, ESTEREL, used for reactive systems and synchronous circuit design. We show...
Designing of Reactive System using Extended Message Sequence Charts (2000)
Mesfin Belachew, V. N. Joshi, R. K. Shyamasundar
MSC is a generalization of hierarchical message sequence charts (hMSCs) having the capability to specify preemptive features such as watchdogs, generalized coregion and forbidden scenarios. In this...
A Translation of Statecharts to Esterel (1999)
S. A. Seshia, R.K. Shyamasundar, A. K. Bhattacharjee, S.D. Dhodapkar
. Statecharts and Esterel are two formalisms that have been widely used in the development of reactive systems. Statecharts are a powerful graphical formalism for system specification. Esterel is a...
Pentium Bug Verification (1999)
Jagannath Aghav, J V Aghav, R K Shyamasundar
This paper covers discovery of event, background to understand division operation, SRT algorithm, analyzes the pentium bug and surveys its veri cations
Synthesizing controllers for hybrid systems (1997)
Deepak Kapur, R. K. Shyamasundar
Abstract. A methodology for synthesizing control laws of hybrid systems is proposed using the hybrid automaton framework. The objective is to synthesize guards for making phase transitions to ensure...
An implementation of communicating reactive processes (1997)
Basant Rajan, R. K. Shyamasundar
It has recently been shown that both asynchrony and perfect synchrony are needed for the specification of complex reactive systems and a paradigm called Communicating Reactive Processes (CRP) was...
Synthesizing Controllers for Hybrid Systems (1997)
Deepak Kapur, R. K. Shyamasundar
. A methodology for synthesizing control laws of hybrid systems is proposed using the hybrid automaton framework. The objective is to synthesize guards for making phase transitions to ensure that the...
An Optimal Multiprocessor Real-Time Scheduling Algorithm (1997)
Ashok Khemka, R. K. Shyamasundar
An optimal scheduling algorithm is described that feasibly schedules a set of m periodic tasks on n processors before their respective deadlines, if the task set satisfies certain conditions. The...
An Implementation of CRP (1995)
Basant Rajan, R. K. Shyamasundar
Communicating Reactive Processes or CRP [1] is a relatively new programming paradigm that combines the capabilities of asynchronous and synchronous concurrent languages. This
Mapping Linear Recurrences onto Systolic Arrays (1995)
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
We present an automatic method for mapping a system of linear recurrence equations onto systolic architectures. First, we show that systolic architectures can be derived from linear recurrence...
Networks of Preemptible Reactive Processes: An Implementation (1995)
An Implementation, Basant Rajan, R. K. Shyamasundar
Reactive languages such as Esterel, Lustre, Signal , Statecharts etc have found wide use in the development of verifiable software for reactive applications. It has been recently argued that both...
Preemption Primitives in Reactive Languages (1995)
Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
. In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT ') in a common framework. This enables us to compare...
A Compositional Semantics of Esterel in Duration Calculus (1995)
P.K. Pandya, Y. S. Ramakrishna, R. K. Shyamasundar
) P.K. Pandya, Y.S. Ramakrishna, and R.K. Shyamasundar Computer Science Group Tata Institute of Fundamental Research Homi Bhabha Road Bombay-400 005, India e-mail: fysr, pandya,...
A methodology for proving termination of logic programs (1994)
In this paper, we describe a methodology for proving termination of logic programs. First, we introduce U-graphs as an abstraction of logic programs and establish that SLDNFderivations can be...
Derivation of systolic programs (1994)
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
We describe a methodology for mapping linear recurrence equations to a spectrum of systolic architectures. First, we design a systolic program in a very general architecture referred to as Basic...
Unification-free Execution of Well-moded and Well-typed Prolog Programs (1994)
Krishna Rao, R. K. Shyamasundar
In this paper, a static analysis of Prolog programs has been proposed to improve the efficiency by replacing run-time unification with matching. Programs for which run-time unification can be...
Programming Dynamic Real-Time Systems In Crp (1994)
Shyamasundar Tata, R. K. Shyamasundar
In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) unifying asynchronous and perfectly synchronous mechanisms can be adapted for programming dynamic real-time systems.
Specifying Dynamic Real-Time Systems in CRP (1994)
this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be effectively used for programming dynamic real-time systems. Timed CRP unifies
Communicating Reactive Processes (1993)
G. Berry, S. Ramesh, R. K. Shyamasundar
We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous...
Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment (1993)
Ashok Khemka, R. K. Shyamasundar, K.V. Subrahmanyam
This paper discusses the problem of scheduling multiprocessors in a hard real-time environment allowing imprecise computations. When results of the desired quality cannot be produced in time, then...
A Transformational Methodology for Proving Termination of Logic Programs (1991)
Deepak Kapur, R. K. Shyamasundar
this paper, we present a transformational approach for proving termination of logic programs by reducing the termination problem of logic programs to that of term rewriting systems. The termination...
Multiprocessor Scheduling Of Periodic Tasks In A Hard Real-Time Environment (1990)
Ashok Khemka, R. K. Shyamasundar
Preemptive scheduling a set of periodic tasks on multiprocessors is studied from the point of view of meeting their service requirements before given deadlines. Sufficient conditions permitting full...
Languages for Reactive Specifications: Synchrony Vs Asynchrony
Shyamasundar Tata, R. K. Shyamasundar, S. Ramesh
Asynchronous and Synchronous languages have been in use for the specification of reactive systems. One of the main distinguishing features of these two classes lies in the way nondeterminism is used...