A compositional claim-based component certification procedure

H. Mei; J.J. Lukkien; J. Muskens

doi:10.1109/EURMIC.2004.1333430

A compositional claim-based component certification procedure

H. Mei, J.J. Lukkien, J. Muskens

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Abstract

Component-based software construction is of much interest in software engineering due to its promise of black-box composition and independent deployment. Because of this black-box nature, users of components must be concerned with their trustworthiness, in particular when third parties are involved. Component certification is used to improve trust, usually relating the component to the party that made it. In order to support predictable assembly the certification procedure should also address extra-functional properties. In addition, certificates should remain valid across certain compositions. We present a certification procedure in the context of the ROBOCOP component architecture. We discuss specific requirements, introduce terminology and present a solution.

Original language	English
Title of host publication	Proceedings of the 30th Euromicro Conference (Euromicro'04, Rennes, France, August 31-September 3, 2004)
Editors	R. Steinmetz, A. Mauthe
Place of Publication	Los Alamitos CA, USA
Publisher	IEEE Computer Society
Pages	620-626
ISBN (Print)	0-7695-2199-1
DOIs	https://doi.org/10.1109/EURMIC.2004.1333430
Publication status	Published - 2004

Access to Document

10.1109/EURMIC.2004.1333430

Cite this

@inproceedings{50c90e4d4e684ff1887b9b9ebadeb358,

title = "A compositional claim-based component certification procedure",

abstract = "Component-based software construction is of much interest in software engineering due to its promise of black-box composition and independent deployment. Because of this black-box nature, users of components must be concerned with their trustworthiness, in particular when third parties are involved. Component certification is used to improve trust, usually relating the component to the party that made it. In order to support predictable assembly the certification procedure should also address extra-functional properties. In addition, certificates should remain valid across certain compositions. We present a certification procedure in the context of the ROBOCOP component architecture. We discuss specific requirements, introduce terminology and present a solution.",

author = "H. Mei and J.J. Lukkien and J. Muskens",

year = "2004",

doi = "10.1109/EURMIC.2004.1333430",

language = "English",

isbn = "0-7695-2199-1",

pages = "620--626",

editor = "R. Steinmetz and A. Mauthe",

booktitle = "Proceedings of the 30th Euromicro Conference (Euromicro'04, Rennes, France, August 31-September 3, 2004)",

publisher = "IEEE Computer Society",

address = "United States",

}

A compositional claim-based component certification procedure. / Mei, H.; Lukkien, J.J.; Muskens, J.
Proceedings of the 30th Euromicro Conference (Euromicro'04, Rennes, France, August 31-September 3, 2004). ed. / R. Steinmetz; A. Mauthe. Los Alamitos CA, USA: IEEE Computer Society, 2004. p. 620-626.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A compositional claim-based component certification procedure

AU - Mei, H.

AU - Lukkien, J.J.

AU - Muskens, J.

PY - 2004

Y1 - 2004

N2 - Component-based software construction is of much interest in software engineering due to its promise of black-box composition and independent deployment. Because of this black-box nature, users of components must be concerned with their trustworthiness, in particular when third parties are involved. Component certification is used to improve trust, usually relating the component to the party that made it. In order to support predictable assembly the certification procedure should also address extra-functional properties. In addition, certificates should remain valid across certain compositions. We present a certification procedure in the context of the ROBOCOP component architecture. We discuss specific requirements, introduce terminology and present a solution.

AB - Component-based software construction is of much interest in software engineering due to its promise of black-box composition and independent deployment. Because of this black-box nature, users of components must be concerned with their trustworthiness, in particular when third parties are involved. Component certification is used to improve trust, usually relating the component to the party that made it. In order to support predictable assembly the certification procedure should also address extra-functional properties. In addition, certificates should remain valid across certain compositions. We present a certification procedure in the context of the ROBOCOP component architecture. We discuss specific requirements, introduce terminology and present a solution.

U2 - 10.1109/EURMIC.2004.1333430

DO - 10.1109/EURMIC.2004.1333430

M3 - Conference contribution

SN - 0-7695-2199-1

SP - 620

EP - 626

BT - Proceedings of the 30th Euromicro Conference (Euromicro'04, Rennes, France, August 31-September 3, 2004)

A2 - Steinmetz, R.

A2 - Mauthe, A.

PB - IEEE Computer Society

CY - Los Alamitos CA, USA

ER -

A compositional claim-based component certification procedure

Abstract

Access to Document

Fingerprint

Cite this