Toggle Main Menu Toggle Search

Open Access padlockePrints

Structuring Specifications with Modes

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD, Dr Fernando Dotti



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.

Publication metadata

Author(s): Iliasov A, Romanovsky A, Dotti FL

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the Fourth Latin-American Symposium on Dependable Computing (LADC)

Year of Conference: 2009

Pages: 81-88

Date deposited: 24/09/2010

Publisher: IEEE Computer Society


DOI: 10.1109/LADC.2009.11

Library holdings: Search Newcastle University Library for this item

ISBN: 9781424446780