Component-based reconfigurable systems

被引：0
|
作者：
Lowry, MR [1 ]
机构：
[1] NASA, Ames Res Ctr, Automated Software Engn Grp, Computat Sci Div, Moffett Field, CA 94035 USA
来源：
COMPUTER | 1998年 / 31卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In "Component-Based Reconfigurable Systems," Michael R. Lowry describes NASA Ames' Amphion project, a system for building high-assurance reconfigurable software systems from components in a software library.
引用
收藏
页码：44 / +
页数：3
相关论文
共 50 条
  • [41] Monitoring Distributed Component-Based Systems
    Falcone, Ylies
    Nazarpour, Hosein
    Bensalem, Saddek
    Bozga, Marius
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 153 - 173
  • [42] Adding features to component-based systems
    Heisel, M
    Souquières, J
    [J]. OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 137 - 153
  • [43] Typing Component-Based Communication Systems
    Lienhardt, Michael
    Mezzina, Claudio Antares
    Schmitt, Alan
    Stefani, Jean-Bernard
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 167 - 181
  • [44] Safety interfaces for component-based systems
    Elmqvist, J
    Nadjm-Tehrani, S
    Minea, M
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 246 - 260
  • [45] Performance analysis of component-based systems
    Zuberek, W. M.
    Bluemke, I.
    [J]. DEPCOS - RELCOMEX 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2008, : 293 - +
  • [46] Runtime Verification of Component-Based Systems
    Falcone, Ylies
    Jaber, Mohamad
    Thanh-Hung Nguyen
    Bozga, Marius
    Bensalem, Saddek
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
  • [47] Extracting Interactions in Component-Based Systems
    Parsons, Trevor
    Mos, Adrian
    Trofin, Mircea
    Gschwind, Thomas
    Murphy, John
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (06) : 783 - 799
  • [48] Component-based systems: A classification of issues
    Brereton, Pearl
    Budgen, David
    [J]. Computer, 2000, 33 (11) : 54 - 62
  • [49] Component-Based Design of Embedded Systems
    Kopetz, Hermann
    [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1
  • [50] Architecture Normalization for Component-based Systems
    Wen, Lian
    Dromey, Geoff R.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 (335-348) : 335 - 348
12345