Summary of Work Done ('98 - '99)
[Prev Year]
Areas of work
Telepresence - A pilot project
The field deal with the issues that need to be addressed when operating
equipment situated at remote locations. The overall aim is to provide an
illussion of actually being in the work environment. The specific aim of
the project is to build a remotely piloted vehicle from easily available
technology.
Towards this end, an I/O card for PC based used has been designed
and a prototype built. Driver for this card is under developement on Linux,
a freely available OS. Th mechanical components that will need to be used
have been identified and an overall plan drawn up for continuation of work.
P. Bhuvad, V. Mayekar,
B.Rajan, R.K.Shyamasundar
Multiclock Esterel
M-EST is a generalization of ESTEREL which allows this. M-EST
provides for latching of signals and allows one to deal asynchronous
signals.
We have explored the use of M-EST in the domain of hardware specification
and shown that a large class of VHDL specifications can be translated into
M-EST
specification. This will enable one to study behavioral properties of circuits
in a more formal setting.
Completed and submitted my thesis which defined Multiclock Esterel and
amongst other things dealt with aspects mentioned above.
B.Rajan R.K.Shyamasundar
In Proceedings/Journals
-
B.Rajan, R.K.Shyamasundar - "Modelling Hardware in Multiclock Esterel"
- Submitted to 36th Design Automation Conference, New
Orleans, June 21 - 25, 1999
In Workshops
-
B.Rajan - "Multiclock Esterel" - Intl. Workshop on Hybrid Systems,TIFR,
Bombay, India, Jan 07 -11, 1999.
-
B.Rajan - "Tutorial on Esterel" - Intl. Workshop on Hybrid Systems,TIFR,
Bombay, India, Jan 07 -11, 1999.
basant@tcs.tifr.res.in
- Basant
- TCS
Group [Feb99]