?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Correct-by-Construction+Development+of+Fault+Tolerant+Systems+(Tutorial+at+FM+2011)&rft.creator=Iliasov%2C+Alexei&rft.creator=Laibinis%2C+Linas&rft.creator=Troubitsyna%2C+Elena&rft.creator=Romanovsky%2C+Alexander&rft.subject=Event-B&rft.subject=Refinement&rft.subject=Methodology&rft.subject=Resilience&rft.subject=Training&rft.description=Ensuring+system+fault+tolerance+is+one+of+the+major+concerns+in+developing+critical+industrial+applications.+The+tutorial+shows+how+to+rigorously+develop+systems+that+are+not+only+functionally+correct+but+also+fault+tolerant.+The+material+of+the+tutorial+is+built+on+the+results+of+two+EC+projects%2C+RODIN+and+DEPLOY%2C+that+created+and+validated+in+the+industrial+settings+the+RODIN+platform+-+an+Eclipse-based+development+environment+supporting+formal+modelling+in+Event-B.+The+focus+of+the+tutorial+is+on+demonstrating+how+fault+tolerance+can+be+systematically+specified+and+verified+as+an+intrinsic+part+of+the+overall+system+behavior.+The+general+principles+are+demonstrated+by+several+industrial+case+studies+based+on+our+work+with+telecommunication%2C+space+and+business+information+sectors.+As+part+of+the+tutorial+we+will+introduce+and+demonstrate+a+number+of+RODIN+tools+that+support+model+structuring+using+modes%2C+modules%2C+and+fault+tolerance+views%2C+and+facilitate+fault+tolerance+modelling.%0D%0A%0D%0AAll+materials+of+this+tutorial+are+available+on+http%3A%2F%2Filiasov.org%2Ffm2011%2F%0D%0A&rft.date=2011&rft.type=Teaching+Resource&rft.type=NonPeerReviewed&rft.relation=http%3A%2F%2Filiasov.org%2Ffm2011%2F&rft.identifier=++Iliasov%2C+Alexei+and+Laibinis%2C+Linas+and+Troubitsyna%2C+Elena+and+Romanovsky%2C+Alexander++(2011)+Correct-by-Construction+Development+of+Fault+Tolerant+Systems+(Tutorial+at+FM+2011).++%5BTeaching+Resource%5D+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F319%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>