A framework for formal component-based software architecting

M.R.V. Chaudron, E.M. Eskenazi, A. Fioukov, D.K. Hammer

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic


The assessment of quality attributes of software-intensive systems is a challenging issue. This paper describes a method aimed at quantitative evaluation of certain quality attributes that are important design parameters for embedded systems; timeliness, performance and memory consumption. The following principles are important starting points for building a formal model for evaluating quality attributes: (1) Dependability constraints are specified in an end-to-end fashion; (2) Components are attributed with resource demands; (3) Specification of component interaction is separated from specification of component behavior. Furthermore, the method is aimed to be applicable in practice. Therefore we investigate combining of widely used software modeling notations with existing formal methods. In particular, the proposed approach combines Message Sequence Charts and Timed Automata. We illustrate the approach with an example.
Originele taal-2Engels
TitelProceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001)
RedacteurenF. Karelse
Plaats van productieUtrecht
UitgeverijSTW Technology Foundation
ISBN van geprinte versie90-73461-26-X
StatusGepubliceerd - 2001

Vingerafdruk Duik in de onderzoeksthema's van 'A framework for formal component-based software architecting'. Samen vormen ze een unieke vingerafdruk.

Citeer dit