?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Specifying+Modal+Systems+using+Event-B&rft.creator=Dotti%2C+Fernando&rft.creator=Iliasov%2C+Alexei&rft.creator=Romanovsky%2C+Alexander&rft.subject=Composition+and+reuse&rft.subject=Methodology&rft.subject=Event-B&rft.description=Several+safety-critical+systems%2C+such+as+avionic%2C+transportation+and+space+systems%2C+use+the+notion+of+operation+modes.+Operation+modes+are+useful+structuring+units+that+facilitate+design%2C+specially+if+used+with+state-based+formal+methods.+However%2C+modelling+abstractions+to+support+the+specification%2C+analysis+and+correct+construction+of+modal+systems+are+still+lacking.+The+contribution+of+this+paper+is+twofold%3A+(i)+modal+systems+and+modal+systems+refinement+are+discussed+and+formalized%3B+(ii)+the+relation+of+a+modal+system+specification+with+an+Event-B+model+is+discussed%2C+showing+how+to+demonstrate+that+the+behaviour+of+an+Event-B+model+can+satisfy+a+modal+system.&rft.publisher=(Technical+report)&rft.type=Other&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F134%2F1%2FmodesFM.pdf&rft.identifier=++Dotti%2C+Fernando+and+Iliasov%2C+Alexei+and+Romanovsky%2C+Alexander+++Specifying+Modal+Systems+using+Event-B.++(Technical+report).++++(Unpublished)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F134%2F