||Design and Validation of Telephone Systems.
||Formerly Timethreads, development of the Use
Case Maps (UCM) methodology, its use with LOTOS, and
its application to the telecommnunication field, was initiated
by Daniel Amyot
||In collaboration with NORTEL people working at standardizing
Wireless Intelligent Network (WIN), we have
undertaken the task of assembling and tayloring a
specification methodology based on UCMs.
||We are working on the project Software Architecture and
Protocols for Advanced Mobile Data Systems with
Motorola Advanced Radiodata Research Centre.
||Object-Based Distributed Computing / Open Distributed
Processing (OBDC/ODP) and its applications to
Telecommunication Architectures and Network Management
Architectures: Kazi Farooqui
||Specification of a Group Communication Server
in LOTOS: Daniel Amyot
||The elaboration of Enhanced LOTOS (E-LOTOS) is
carried out by ISO/JTC1/SC21/WG7 as project 126.96.36.199.3.
||EUCALYPTUS is a European-Canadian
project involving the Universities of Ottawa (with sponsorship
from TRIO), Montreal,
Grenoble and Liege in the elaboration of a LOTOS Toolset.
||The development of the XEludo Toolkit has
been carried on along the years. It is used as a workbench
to test and experiment various ideas about the automation of
different verification and validation activities.
||Global System Mobility (GSM):
||Specifying the ATM Signaling Protocol in LOTOS:
Patrick Bihan-Faou. The report
Rewriting (part of) the ATM specification in LOTOS, by
Patrick Bihan-Faou & Eleye Mahamad (July 23, 1995) is
available in either
LaTeX formats). Also availabe is a directory containing the
||Fax Machine by Patrick
PostScript) and its related