The Department of Computing Science and Mathematics presents the following seminars. Unless otherwise stated, seminars will take place in Room 4B94 of the Cottrell Building, University of Stirling from 15.00 to 16.00.
If you would like to give a seminar to the department in future or if you need more information, please contact the seminar organiser Ken Turner (Phone 01786-467-420, Email email@example.com).
Ji He, University of Stirling
DILL (Digital Logic in LOTOS) is an approach for specifying and analysing digital logic using the LOTOS formal specification language. After an overview of DILL, the talk will focus on the application of DILL to specification and analysis of synchronous circuits. Models of building blocks such as logic gates, flip flops and whole circuits will be given. Verification can then be achieved by equivalence or temporal logic model-checking. Two standard benchmark circuits have been specified using these models, and analysed by the LOTOS toolset CADP (Cæsar/Aldébaran Package).
Dr. Gusztáv Adamis, Technical University of Budapest, Hungary
Apart from Hardware Description Languages, FDTs (Formal Description Techniques) are suitable for the specification of digital hardware elements. One of the most popular FDTs is SDL (Specification and Description Language) that was originally developed for specification of telecommunications protocols. SDL supports hierarchical system specification, high-level communication. and timing. These features make it suitable for description of hardware systems. But in SDL there is no way to define real-time timers, so signals may in fact not be consumed in the order they were sent. We have developed methods for ordering signals to avoid this problem. The presentation will also give examples of how the approach can be used to describe simple digital hardware elements.
Greg Law, City University, London
This seminar describes a new model of program protection particularly suited to component-based Operating Systems. Instead of the traditional separate user and kernel processor modes and paging, traditional segmentation is combined with a simple software technique to avoid the use of separate processor modes while maintaining full protection. This new model offers dramatically improved performance, simplified and improved architectures, and increased flexibility.
A component-based Operating System (called Go!) has been implemented using such techniques. Early experiences with it will be presented. In particular, Go! offers fully-protected round-trip RPC in just 85 cycles on a Pentium processor. Single-processor mode allows the ORB (Go!'s analogue of a kernel) to be responsible for component management only. Such a system allows multi-threading, device management and even interrupt handling to be provided by separate `application level' components.
Stephen Brewster, University of Glasgow
I will discuss the possibilities for the use of sound to improve
interaction in computing devices, from desktop machines to hand-held
devices. I will give an introduction to non-speech sound and then focus on
two experiments we have recently performed:
Dr. David Pym, Queen Mary and Westfield College, London
The following three observations are characteristic of traditional, i.e.
mathematical and philosophical, approaches to a logical account of
I will explain these observations and argue that the concerns of informatics lead us to overturn each of them, illustrating my arguments with examples drawn from my research in each of the following three areas:
Up one level to Computing Science Seminars