A compositional claim-based component certification procedure

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


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 languageEnglish
Title of host publicationProceedings of the 30th Euromicro Conference (Euromicro'04, Rennes, France, August 31-September 3, 2004)
EditorsR. Steinmetz, A. Mauthe
Place of PublicationLos Alamitos CA, USA
PublisherIEEE Computer Society
ISBN (Print)0-7695-2199-1
Publication statusPublished - 2004


Dive into the research topics of 'A compositional claim-based component certification procedure'. Together they form a unique fingerprint.

Cite this