TY - GEN
T1 - The FMICS-jETI platform
T2 - 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
AU - Margaria, Tiziana
AU - Kubczak, Christian
AU - Steffen, Bernhard
AU - Naujokat, Stefan
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77956421493&partnerID=8YFLogxK
U2 - 10.1109/ISoLA.2006.50
DO - 10.1109/ISoLA.2006.50
M3 - Conference contribution
AN - SCOPUS:77956421493
SN - 0769530710
SN - 9780769530710
T3 - Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
SP - 402
EP - 407
BT - Proceedings - ISoLA 2006
PB - IEEE Computer Society
Y2 - 15 November 2006 through 19 November 2006
ER -