You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Newcastle University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Newcastle University

Return to search Previous output Next output

Output 37 of 100 in the submission

Article title

Developing mode-rich satellite software by refinement in Event-B

Type

D - Journal article

DOI

10.1016/j.scico.2012.04.010

Title of journal

Science of Computer Programming

Article number

Volume number

Issue number

First page of article

884

ISSN of journal

1872-7964

Year of publication

2013

URL

http://dx.doi.org/10.1016/j.scico.2012.04.010

Number of additional authors

Additional information

<09> Our experience in the FP7 DEPLOY IP clearly showed that industrial partners from various domains need rigorous reasoning about modes. By defining the theory of modal structuring of Event-B models and their refinement we introduce modal thinking into top-down development. These theoretical foundations served as a basis on which Space Systems Finland (the aerospace domain, an ESA sub-contractor) conducted their work on modelling the Attitude and Orbit Control System. This development is reported together with the experience in applying the modal thinking. This work led to development of an tool that has been used by several partners in DEPLOY.

Interdisciplinary

Cross-referral requested

Research group

C - Dependability

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract