Rigorous development of reusable, domain-specific components, for complex applications


Snook, Colin, Butler, Michael, Edmunds, Andy and Johnson, Ian, (2004) Rigorous development of reusable, domain-specific components, for complex applications Jurgens, Jan and France, Robert (eds.) At 3rd International Workshop on Critical Systems Development with UML. , pp. 115-129.

Download

[img] PDF csduml04_JohnsonSnookEdmundsButler.pdf - Other
Download (273kB)

Description/Abstract

The reuse of reliable, domain-specific software components is a strategy commonly used in the avionics industry to develop safety critical airborne systems. One method of achieving reuse is to use domain specific languages that map closely onto abstractions in the problem domain. While this works well for control algorithms, it is less successful for some complex ancillary functions such as failure management. The characteristics of device failures are often difficult to predict resulting in late requirements changes. Hence a small semantic gap is especially desirable but difficult to achieve. Object-oriented design techniques include mechanisms, such as inheritance, that cater well for variations in behaviour. However, object-oriented notations such as the UML lack the precision, and rigor, needed for safety critical software. UML-B is a profile of the UML for formal modelling. In this paper we show how UML-B can be used to model failure management systems via progressive refinement, and indicate how this approach could utilise UML concepts to cope with high variability, while providing rigorous verification.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: October 12th, 2004
Venue - Dates: 3rd International Workshop on Critical Systems Development with UML, 2004-10-12
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 260211
Date :
Date Event
2004Published
Date Deposited: 14 Jan 2005
Last Modified: 17 Apr 2017 22:17
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/260211

Actions (login required)

View Item View Item