Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


A UML Profile for designing Reusable and Verifiable Software Components for On-Board Applications


M. Egli, A. Pasetti, O. Rohlik, T. Vardanega

Data System in Aerospace (DASIA) Conference, Berlin, no. 17

Software frameworks offer sets of reusable and adaptable components embedded within an architecture optimized for a given target domain. This paper introduces an approach to the design of software frameworks for on-board applications taken in the ASSERT project. Onboard applications are characterized by functional and non-functional (timing, in particular) requirements. The proposed approach separates the treatment of these two aspects. For functional issues, it defines an extensible state machine concept to define components that encapsulate functional behaviour and offer adaptation mechanisms to extend this behaviour while warranting the preservation of the functional properties defined at the level of the framework. For timing issues, it defines software structures which are provably endowed with specific timing properties and which encapsulate functional activity in a way that enforces them. A UML2 profile is defined to formally capture both the state machine concept and the real-time structures. The profile allows the proposed approach to be enforced at design level. We are using our approach to construct a software framework for satellite on-board applications.


Type of Publication:


File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { EglEtal:2006:IFA_2970,
    author={M. Egli and A. Pasetti and O. Rohlik and T. Vardanega},
    title={{A UML Profile for designing Reusable and Verifiable
	  Software Components for On-Board Applications}},
    booktitle={Data System in Aerospace (DASIA) Conference},
Permanent link