Managing Trustworthiness in Component-based Embedded Systems

被引:9
|
作者
Lenzini, Gabriele [1 ]
Tokmakoff, Andrew [1 ]
Muskens, Johan [2 ]
机构
[1] Inst Telemat, Brouwerijstr 1, NL-7523 XC Enschede, Netherlands
[2] Philips Res, NL-5656 AA Eindhoven, Netherlands
关键词
component-based systems; trustworthiness evaluation; trustworthiness management architecture; dependability and security;
D O I
10.1016/j.entcs.2006.08.038
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Component-based systems use software components to achieve their overall high-level functionality which, in turn, may be extended by initiating the download of new components. This action may detrimentally affect the system's overall dependability and security characteristics. We address the problem of the enhancement of dependability and security for component-based embedded systems that run, for example, in consumer and embedded electronics devices. We propose a Trustworthiness Management Framework which, while acting on the behalf of components (Trustors), supervises the system's existing Trustor-Trustee relationships and preserves the overall system level of dependability and security. This is achieved by monitoring quality metrics on the components behaviours, by periodically evaluating their trustworthiness, and (when applicable) by controlling them. This paper focuses on the trustworthiness evaluation process offered by the Trustworthiness Management Framework. Trustworthiness evaluation is seen as a Trustors-parameterisable function. Trustworthiness is expressed with a triple of values: compliance, benignity and stability. The first measures the degree to which a component satisfies the Trustor's requirement; the second and third express the expected belief that, resp., the components will continue to be compliant and the component's behavioural qualities will remain stable. Trustworthiness is used by the Trustworthiness Manager Framework to make control decisions to regulate the system's overall dependability and security characteristics.
引用
收藏
页码:143 / 155
页数:13
相关论文
共 50 条
  • [1] Trust4All enhances Trustworthiness of Embedded Component-based Systems
    Lenzini, Gabriele
    Muskens, Johan
    Tokmakoff, Andrew
    [J]. ERCIM NEWS, 2006, (67): : 48 - 49
  • [2] Component-Based Modeling for Embedded Systems
    Chen, Fulong
    Fan, Xiaoya
    Wei, Jianjun
    [J]. 2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 414 - +
  • [3] Component-Based Design of Embedded Systems
    Kopetz, Hermann
    [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1
  • [4] Component-based embedded database for mobile embedded systems
    Ahamed, SI
    Vallecha, S
    [J]. ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, PROCEEDINGS, 2004, : 534 - 538
  • [5] Managing dynamic reconfiguration in component-based systems
    Batista, T
    Joolia, A
    Coulson, G
    [J]. SOFTWARE ARCHITECTURE, PROCEEDINGS, 2005, 3527 : 1 - 17
  • [6] A HAL for component-based embedded operating systems
    Teng, QM
    Wang, H
    Chen, XQ
    [J]. PROCEEDINGS OF THE 29TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, WORKSHOPS AND FAST ABSTRACTS, 2005, : 23 - 24
  • [7] Component-based software engineering for embedded systems
    Crnkovic, I
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 712 - 713
  • [8] Complexity of Component-based Development of Embedded Systems
    Zheng, M.
    Alagar, V. S.
    [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 8, 2005, 8 : 282 - 287
  • [9] A component-based model for predictable embedded systems
    Díaz, M
    Garrido, D
    Rus, F
    Troya, JM
    [J]. ESA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS AND APPLICATIONS, 2003, : 183 - 189
  • [10] A Formal Framework for Component-Based Embedded Systems
    Tu, Yuqing
    Li, Di
    Li, Fang
    Zheng, Shixiong
    [J]. 2010 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM), 2010,