Objective
The purpose of COST 247 Action is the co-ordination of national efforts to analyse, classify and originate new and efficient techniques and tools for concurrent software verification/validation, testing and to apply and test the results on selected realistic problems in contemporary distributed communication architectures.
Although the emphasis of the Action is on the applicability of techniques/tools to industrial examples, efforts to improve existing specification language standards with regard to industrial applicability are also within the scope of the action.
The starting point involves contrasting the current problems of distributed communication software industry with the existing specification and validation techniques and know-how, in order to come up with new suggestions in terms of language improvements and/or validation techniques.
Current status
The Action COST 247 started officially on 17 December 1993 and has been extended till the end of 1997. Currently 18 countries (Belgium, Croatia, Czech Republic, Denmark, Germany, Greece, Finland, France, Hungary, Italy, Netherlands, Poland, Slovenia, Spain, Sweden, Switzerland, Turkey and United Kingdom) are participating in COST 247 Action.
COST 247 consists of four working groups :
Working Group 1
"Evaluation of Existing LOTOS and Contributions to Extended LOTOS"
Chaired by Mr Hubert Garavel (France)
WG1 focuses on language development for the new extended LOTOS standards ; although this is a language-specific co-ordination activity geared to generating the necessary scientific inputs specifically for the standardisation group for E-LOTOS, it also has direct relevance, in terms of technical content, to other languages or formalisms used in the area of formal software specification and design.
Working Group 2
"Analysis and Validation"
Chaired by Mr J. Friso Groote(Netherlands)
WG2 focuses on verification and similar analytical techniques applied to formal specifications for validating software designs and implementations.
Working Group 3
"Conformance Testing"
Chaired by Mrs Katie Tarnay (Hungary)
WG3 focuses on conformance and interoperability testing of communication protocols.
Working Group 4
"Simulation and Performance Evaluation Based on FDT"
Chaired by Mr Piotr Dembinski (Poland)
WG4 is on techniques, tools and examples for the logical and performance simulation of concurrent industrial software or hardware/software systems. 1st International Workshop on "Applied Formal Methods In System
Design" was organised by COST 247 to which about 25 papers have contributed.
Also 3 STSMs have been accomplished in 1996.
Programme(s)
Topic(s)
Call for proposal
Data not availableFunding Scheme
Data not availableCoordinator
06531 Ankara
Türkiye