creators_name: Iliasov, Alexei creators_name: Troubitsyna, Elena creators_name: Laibinis, Linas creators_name: Romanovsky, Alexander creators_name: Varpaaniemi, Kimmo creators_name: Väisänen, Pauli creators_name: Ilic, Dubravka creators_name: Latvala, Timo creators_id: "Alexei Iliasov" creators_id: Elena.Troubitsyna@abo.fi creators_id: Linas.Laibinis@abo.fi creators_id: alexander.romanovsky@ncl.ac.uk creators_id: Pauli.Vaisanen@ssf.fi type: conference_item datestamp: 2010-07-14 12:58:15 lastmod: 2010-07-14 13:14:22 metadata_visibility: show title: Verifying Mode Consistency for On-Board Satellite Software ispublished: pub subjects: deploy_industrial subjects: deploy_industrial_space subjects: deploy_method subjects: deploy_method_comp subjects: deploy_method_resil subjects: deploy_tooldev full_text_status: restricted pres_type: paper abstract: Space satellites are examples of complex embedded systems. Dynamic behaviour of such systems is typically described in terms of operational modes that correspond to the different stages of a mission and states of the components. Components are susceptible to various faults that complicate the mode transition scheme. Yet the success of a mission depends on the correct implementation of mode changes. In this paper we propose a formal approach that ensures consistency of mode changes while developing a system architecture by refinement. The approach relies on recursive application of modelling and refinement patterns that enforce correctness while implementing the mode transition scheme. The proposed approach is exemplified by the development of an Attitude and Orbit Control System undertaken within the ICT DEPLOY project. date: 2010 date_type: published event_title: The 29th International Conference on Computer Safety, Reliability and Security (Safecomp 2010) event_location: Vienna, Austria event_dates: 14 - 17 September 2010 event_type: conference refereed: TRUE official_url: http://www.ocg.at/safecomp2010/ citation: Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Väisänen, Pauli and Ilic, Dubravka and Latvala, Timo (2010) Verifying Mode Consistency for On-Board Satellite Software. In: The 29th International Conference on Computer Safety, Reliability and Security (Safecomp 2010), 14 - 17 September 2010, Vienna, Austria. document_url: http://deploy-eprints.ecs.soton.ac.uk/239/1/Safecomp_CR.pdf