The FMICS-jETI platform: Status and perspectives

Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) [8], is to transfer and promote the use formal methods technology in industry. The ongoing Verified Software Repository Grand Challenge [11] offers a great opportunity to reach this goal, resulting in a more robust and solid software industry in Europe. We demonstrate here the current status of the FMICS-jETI platform1, a collaborative demonstrator based on the jETI technology2, that provides as repository a collection of verification tools stemming from the activities of the FMICS working group and facilities to orchestrate them in a remote and simple way. At the same time FMICS-jETI itself is a contribution to the VSR repository and thus to the Grand Challenge.

Original languageEnglish
Title of host publicationProceedings - ISoLA 2006
Subtitle of host publication2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
PublisherIEEE Computer Society
Pages402-407
Number of pages6
ISBN (Print)0769530710, 9780769530710
DOIs
Publication statusPublished - 2006
Externally publishedYes
Event2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 - Paphos, Cyprus
Duration: 15 Nov 200619 Nov 2006

Publication series

NameProceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Conference

Conference2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
Country/TerritoryCyprus
CityPaphos
Period15/11/0619/11/06

Cite this