creators_name: Iliasov, Alexei creators_name: Dotti, Fernando creators_name: Romanovsky, Alexander creators_id: "Alexei Iliasov" creators_id: Fernando Luis Dotti creators_id: alexander.romanovsky@ncl.ac.uk type: conference_item datestamp: 2009-05-27 20:31:51 lastmod: 2010-04-19 15:05:54 metadata_visibility: show title: Structuring Specifications with Modes ispublished: pub subjects: Refinement subjects: deploy_method_resil subjects: deploy_method full_text_status: public pres_type: paper abstract: The two dependability means considered in this paper are rigorous design and fault tolerance. It can be complex to rigorously design some classes of systems, including fault tolerant ones, therefore appropriate abstractions are needed to better support system modelling and analysis. The abstraction proposed in this paper for this purpose is the notion of operation mode. Modes are formalised and their relation to a state-based formalism in a refinement approach is established. The use of modes for fault tolerant systems is then discussed and a case study presented. Using modes in state-based modelling allows us to improve system structuring, the elicitation of system assumptions and expected functionality, as well as requirement traceability. date: 2009-09 date_type: published publisher: IEEE CS Press event_title: Fourth Latin-American Symposium on Dependable Computing (LADC) event_location: Brazil event_dates: September 1-4, 2009 event_type: conference refereed: TRUE citation: Iliasov, Alexei and Dotti, Fernando and Romanovsky, Alexander (2009) Structuring Specifications with Modes. In: Fourth Latin-American Symposium on Dependable Computing (LADC), September 1-4, 2009, Brazil. document_url: http://deploy-eprints.ecs.soton.ac.uk/105/1/ladc-final.pdf