DocumentCode :
3144750
Title :
The FMICS-jETI Platform: Status and Perspectives
Author :
Margaria, Tiziana ; Kubczak, Christian ; Steffen, Bernhard ; Naujokat, Stefan
Author_Institution :
Univ. Potsdam, Potsdam
fYear :
2006
fDate :
15-19 Nov. 2006
Firstpage :
402
Lastpage :
407
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-jETIplatform1, 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.
Keywords :
formal verification; FMICS-jETI platform; formal methods for industrial critical systems; formal methods technology; verification tools; verified software repository grand challenge; Application software; Collaborative software; Collaborative tools; Computer industry; Europe; Robustness; Software engineering; Software tools; Solids; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
Type :
conf
DOI :
10.1109/ISoLA.2006.50
Filename :
4463742
Link To Document :
بازگشت