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
关键词
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 条
  • [1] Architecting reconfigurable component-based operating systems
    Polakovic, Juraj
    Stefani, Jean-Bernard
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2008, 54 (06) : 562 - 575
  • [2] On Specifying Reconfigurable Component-Based Systems Using Strategies
    Djoudi, Brahim
    Bouanaka, Chafia
    Zeghib, Nadia
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 656 - 670
  • [3] Component-based protocol stack management for reconfigurable systems
    Chi, Cheng
    Feng, Zhiyong
    Xue, Yuan
    Cai, Huying
    Zhang, Ping
    [J]. 2008 IEEE 67TH VEHICULAR TECHNOLOGY CONFERENCE-SPRING, VOLS 1-7, 2008, : 2616 - 2620
  • [4] A logical basis for the specification of reconfigurable component-based systems
    Aguirre, N
    Maibaum, T
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 37 - 51
  • [5] Reconfigurable Component-based Middleware for Networked Embedded Systems
    Costa, Paolo
    Coulson, Geoff
    Mascolo, Cecilia
    Mottola, Luca
    Picco, Gian Pietro
    Zachariadis, Stefanos
    [J]. INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2007, 14 (02) : 149 - 162
  • [6] Reconfigurable, component-based systems and the role of enterprise engineering concepts
    Weston, RH
    [J]. COMPUTERS IN INDUSTRY, 1999, 40 (2-3) : 321 - 343
  • [7] A temporal logic approach to the specification of reconfigurable component-based systems
    Aguirre, N
    Maibaum, T
    [J]. ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 271 - 274
  • [8] A dynamically reconfigurable component-based architecture
    Talevski, A
    Chang, E
    [J]. ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2002, 10 (01): : 27 - 36
  • [9] A component-based reconfigurable RFID middleware
    Wu, Jie
    Wang, Dong
    Sheng, Huanye
    [J]. IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 2248 - 2253
  • [10] Security model oriented attestation on dynamically reconfigurable component-based systems
    Gu, Liang
    Bai, Guangdong
    Guo, Yao
    Chen, Xiangqun
    Mei, Hong
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2012, 35 (03) : 974 - 981