COST 247 project @ RUN
ULg COST 247 project RUN
Verification and Validation Methods for Formal Descriptions


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.

COST 247: "Verification and Validation Methods for Formal Descriptions"

Project objectives

  • 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

Countries involved

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

Working groups

WG1: E-LOTOS Activities

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

WG2: Analysis and Validation

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

WG3: Testing

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, ...

WG4: Simulation and Performance Evaluation based on FDTs

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

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 54.162.139.105... RUN | Montefiore | ULg
© 2000-2015.