曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

6
IFAD
IFAD
European Industrial use of FM
 European Academia
FME Profile
 The ESPRIT Programme
 European Tool Support
 Example Industrial Projects
 Concluding Remarks
7
IFAD
IFAD
 FME = Formal Methods Europe
 Stimulate the use of formal methods by
industry.
 Promote international co-operation among
researchers and users of formal methods.
 Exchange ideas & identify common
interests.
 Provide links between research and
application areas.
FME Mission
8
IFAD
IFAD
FME (VDM) Conferences
Conferences:
Brussels, Belgium (1987)LNCS 252
Dublin, Ireland (1988)LNCS 328
Kiel, Germany (1990)LNCS 428
Noordwijkerhout, Netherlands (1991)LNCS 551/2
Odense, Denmark (1993)LNCS 670
Barcelona, Spain (1994)LNCS 873
Oxford, UK (1996)LNCS 1051
Graz, Austria (1997)LNCS 1313
Toulouse, France (1999) LNCS 1708/9
Berlin, Germany (2001) LNCS 2021
Copenhagen, Denmark (2002) LNCS ??
9
IFAD
IFAD
FME Projects
FMERail (using FM in the railway domain)
http://www.ifad.dk/Projects/fmerail.htm
FMEIndSem (industrial seminars)
http://www.ifad.dk/Projects/FMEIndSem/fmeindsem.htm
FMEInfRes (information resources)
http://www.ifad.dk/Projects/fmeinfres.htm
Databases for publications, tools and applications!
FMGuides (FM guidelines, web/video)
http://www.ifad.dk/Projects/fmguides.htm
10
IFAD
IFAD
FME Board
 John Fitzgerald (Transitive Technologies,
Chair)
 Nico Plat (West Consulting,Secretary)
 Kees Pronk (Delft University of
Technology,Treasurer)
11
IFAD
IFAD
FME Legal Status
 Non-profit organisation
 'Vereniging' under Dutch Law,
 Formally located in Delft, The Netherlands
 Organize bi-annual conference
 Meetings: approximately 4 times a year
 Subgroups
 Education
 Marketing
 Scope
 Symposium
12
IFAD
IFAD
FME Membership
Membership:
Ordinary members: approx. 100
Institutional members: -
Membership fee: -
Membership advantages: network
Find us at: http://www.fmeurope.org/
Participation is not restricted to EU members
Please become an active member!
13
IFAD
IFAD
European Industrial use of FM
 European Academia
 FME Profile
The ESPRIT Programme
 European Tool Support
 Example Industrial Projects
 Concluding Remarks
14
IFAD
IFAD
The ESPRIT Programme
 European Strategic Programme on
Research on Information Technology
 Supported financially by the European
Union
 Started in 1984
 Several large multi-annual programme in
different phases
 Cordis URL: http://www.cordis.lu/ist/
15
IFAD
IFAD
Different Levels of Research
 Long-term research
 Research and pre-competitive
development
 Trial projects
 Best practice projects
16
IFAD
IFAD
METEOR and VIP
 METEOR = An Integrated Formal
Approach to Industrial Software
Development
 VIP = VDM Interfaces for PCTE
 Both examples of projects with no
effect afterwards!
17
IFAD
IFAD
RAISE and LACOS
 RAISE = Rigorous Approach to
Industrial Software Engineering
 LACOS = Large-Scale Correct
Systems Using Formal Methods
 Has had an effect afterwards
 Now main development at UNU/IIST
 Industrial application: Ørsted satellite
18
IFAD
IFAD
IPTES
 IPTES = Integrated Development
Environment for Embedded Real-Time
Systems
 Prime: IFAD
 Partners (10) including: VTT, SF;
PdM, I; MARI, UK; CEA, F; TID, E
 Basis for VDM-SL Toolbox
19
IFAD
IFAD
AFRODITE
 AFRODITE = Applying Formal Methods
to Real-Size Object-Oriented Designs in
Technical Environments
 Prime: Cap Gemini, The Netherlands
 Partners (9) including: Helintec, GR;
Cern, CH; Manchester Uni, UK; Loyds
Register, UK
 Basis for VDM++ Toolbox
20
IFAD
IFAD
INFORMA
 INFORMA = Integrated Formal Approaches for
Embedded Real-time Systems
　
中國航空網 m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料31(5)