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 条
  • [21] Optimal Component Selection for Component-Based Systems
    Khan, Muhammad Ali
    Mahmood, Sajjad
    [J]. INNOVATIONS IN COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2010, : 467 - 472
  • [22] A holonic component-based approach to reconfigurable manufacturing control architecture
    Chirn, JL
    McFarlane, DC
    [J]. 11TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATION, PROCEEDINGS, 2000, : 219 - 223
  • [23] Component-based development for eHome systems
    Norbisrath, Ulrich
    Mosler, Christof
    [J]. RECENT PROGRESS IN COMPUTATIONAL SCIENCES AND ENGINEERING, VOLS 7A AND 7B, 2006, 7A-B : 422 - 426
  • [24] Runtime Enforcement for Component-Based Systems
    Charafeddine, Hadil
    El-Harake, Khalil
    Falcone, Ylies
    Jaber, Mohamad
    [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1789 - 1796
  • [25] 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 - +
  • [26] Enhancing dependability of component-based systems
    Lanoix, Arnaud
    Hatebur, Denis
    Heisel, Maritta
    Souquieres, Jeanine
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS, 2007, 4498 : 41 - +
  • [27] Viewpoints for specifying component-based systems
    Kotonya, G
    Hutchinson, J
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 114 - 121
  • [28] Adaptation of open component-based systems
    Poizat, Pascal
    Salauen, Gwen
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 141 - +
  • [29] Structural Testing of Component-Based Systems
    Sundmark, Daniel
    Carlson, Jan
    Punnekkat, Sasikumar
    Ermedahl, Andreas
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 180 - 195
  • [30] Component-based workflow systems development
    Zhuge, H
    [J]. DECISION SUPPORT SYSTEMS, 2003, 35 (04) : 517 - 536
12345