Home
People
Research Topics
Projects
Publications
IFIP WG 6.1
Events and Conferences
CSS
How to Reach Us
|
COST is an open and flexible framework for R&D co-operation in Europe.
COST Actions involve precompetitive or basic research, or activities of public
utility.
COST involves the E.U. Member States plus additional EFTA countries.
- Co-ordination of national efforts to analyse, classify and develop new
techniques and tools for current software verification/validation and testing
- Application of the techniques to selected realistic problems in
contemporary distributed communication architectures
- Improvement of existing specification language standards along directions
of industrial applicability
Start date: December 1993
End date: December 1997
Belgium, Croatia, Czech Republic, Denmark, Finland, France, Germany, Greece,
Hungary, Italy, Netherlands, Poland, Slovenia, Spain, Sweden, Switzerland,
Turkey, United Kingdom
Chairperson: Kemal Inan, Middle East Technical University,
Ankara, Turkey
Vice-Chairperson: Stanislaw Budkowski, INT, Evry, France
Chairperson: Hubert Garavel, Verimag, Grenoble, France
- Evaluating the applicability of existing LOTOS to realistic case studies
- Suggesting and discussing suitable extensions to LOTOS (e.g. time,
datatypes)
- Providing technical contributions to the ISO standardization
- Achieving a European convergence on E-LOTOS
Chairperson: Jan Friso Groote, CWI, Amsterdam, The Netherlands
- Create a library of short problem descriptions that people have worked on
- Gain new experience in applying existing techniques to common
examples
Chairperson: Katalin Tarnay, KFKI, Budapest, Hungary
- Assessment of the state-of-the-art in conformance test suite generation
techniques
- Improvement of fault coverage, interoperability testing, ...
Chairperson: Piotr Dembinski, Polish Academy of Science, Warsaw, Poland
- Performance evaluation of distributed systems based on a formal
specification
- Development of simulation techniques
Belgians who would like to be
involved in COST 247 are invited to contact
Guy
Leduc, Belgian representative in this action.
Further information can be found on the
COST
247 server.
Publications
A formal definition of time in LOTOS
- L. Léonard and G. Leduc
- Keywords : ET-LOTOS, LOTOS, negative premises, operational semantics, real time
- Read the abstract
- Download the PDF document
- Formal Aspect of Computing, vol. 10 E, 1998, pp. 28-96
-
A formal definition of time in LOTOS - Extended abstract
- L. Léonard and G. Leduc
- Keywords : ET-LOTOS, LOTOS, negative premises, operational semantics, real time
- Read the abstract
- Download the PDF document
- Formal Aspects of Computing, vol. 10, nb. 3, 1998, pp. 248-266
-
An introduction to ET-LOTOS for the description of time-sensitive systems
- L. Léonard and G. Leduc
- Keywords : ET-LOTOS, formal methods, LOTOS, specification, time
- Read the abstract
- Download the PDF document
- Computer Networks and ISDN Systems, vol. 29, nb. 3, 1997, pp. 271-292
-
An Extended LOTOS for the design of Real-Time Systems
- L. Léonard and G. Leduc
- Keywords : ET-LOTOS, LOTOS, process algebra, real-time
- Read the abstract
- Download the PostScript document or the compressed PostScript (gzip) document
- Proc. of the Workshop on Design and Analysis of Real Time Systems (DARTS'95), Nov. 1995, Brussels, Belgium
-
The Tick-Tock Case Study for the Assessment of Timed FDT's
- L. Léonard, G. Leduc and A. Danthine
- Keywords : assessment, case study, FDT, time
- Read the abstract
- Download the PostScript document or the compressed PostScript (gzip) document
- In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 338-352
-
An enhanced Version of Timed LOTOS and its Application to a Case Study
- L. Léonard and G. Leduc
- Keywords : formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
- Read the abstract
- Download the PostScript document or the compressed PostScript (gzip) document
- Proc. of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques (FORTE '93), 26-29 Oct. 1993, Boston, Massachusetts, R. Tenney, P. Amer, M. Uyar (eds.), Formal Description Techniques VI, IFIP Transactions, C-22, pp. 483-498, Elsevier Science
-
A timed LOTOS supporting a dense time domain and including new timed operators
- G. Leduc and L. Léonard
- Keywords : formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
- Read the abstract
- Download the PostScript document or the compressed PostScript (gzip) document
- Proc. of FORTE'92, 13-16 Oct. 1992, Perros-Guirec, France, M. Diaz, R. Groz (eds.), Formal Description Techniques V, IFIP Transactions, C-10, pp. 87-102, Elsevier Science
|
