Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.最新文献

筛选
英文 中文
Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT 两个遗留的多智能体系统——LOGOS和ACT的一些自治特性
W. Truszkowski, J. Rash, C. Rouff, M. Hinchey
{"title":"Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT","authors":"W. Truszkowski, J. Rash, C. Rouff, M. Hinchey","doi":"10.1109/ECBS.2004.1316738","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316738","url":null,"abstract":"To reduce the cost of future space flight missions and to perform new science, NASA has been investigating autonomous ground and space flight systems. These goals of cost reduction have been further complicated by NASA's plans to use constellations and swarms of nanosatellites for future science data-gathering which may entail large communications delays and loss of contact with ground control for extended periods of time. This paper describes two prototype agent-based systems, the Lights-out Ground Operations System (LOGOS) and the Agent Concept Testbed (ACT), and their autonomic properties that were developed at NASA Goddard Space Flight Center (GSFC) to demonstrate autonomous operations of future space flight missions. The paper discusses the architecture of the two agent-based systems, operational scenarios of both, and the two systems' autonomic properties.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127299858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Simulation approach to embedded system programming and testing 嵌入式系统的仿真方法编程与测试
P. Grillinger, Přemek Brada, S. Racek
{"title":"Simulation approach to embedded system programming and testing","authors":"P. Grillinger, Přemek Brada, S. Racek","doi":"10.1109/ECBS.2004.1316706","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316706","url":null,"abstract":"We describe how simulation using production code can help in achieving higher quality software while reducing the effort associated with embedded application development. The recommended steps in developing embedded safety-critical software are outlined, and the issues of proper verification of the simulation models are discussed in detail. The feasibility of the approach is shown on a case study of a brake-by-wire application development.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126715014","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
GeneralStore - a CASE-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems 一个case工具集成平台,支持嵌入式电子系统异构设计的模型级耦合
C. Reichmann, M. Kühl, P. Graf, K. Müller-Glaser
{"title":"GeneralStore - a CASE-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems","authors":"C. Reichmann, M. Kühl, P. Graf, K. Müller-Glaser","doi":"10.1109/ECBS.2004.1316703","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316703","url":null,"abstract":"The integration platform GeneralStore is a tool that assists an integrated development process starting with a model and ending with executable code. The software features coupling of subsystems from different modeling domains on model level. From the coupled model it generates a running prototype by code generation. In addition to object-oriented system modeling for software components in embedded systems, it supports time-discrete and time-continuous modeling concepts. The Unified Modeling Language (UML) metamodel is used for storing CASE data in a meta object facility (MOF) object repository whereas XML metadata interchange format (XMI) is used to interchange this data with UML-CASE-tools. The CASE-tool chain we present in this paper further supports concurrent engineering including versioning and configuration management. It provides adaptors for the tools MATLAB/Simulink/Stateflow and ARTiSAN real-time studio, as well as an importer and exporter of UML/XMI. Utilizing the UML notation for an overall system design cycle, the focus of this paper lies on the coupling of heterogeneous subsystems and on a new code generation and coupling approach.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129501885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 44
Applications for mobile agents in peer-to-peer-networks 点对点网络中移动代理的应用
Daniel Lübke, J. Gómez
{"title":"Applications for mobile agents in peer-to-peer-networks","authors":"Daniel Lübke, J. Gómez","doi":"10.1109/ECBS.2004.1316742","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316742","url":null,"abstract":"Peer-to-peer-networking has lately become one of the most popular applications used in the Internet. Today's applications allow users to share files, offer processing power to other entities and do collaboration by using software which is relatively easy to use. This paper studies possible applications of mobile agents within peer-to-peer-networks to provide the user with more and/or better functionality than the networks in use today are offering.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126329337","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Model based self adaptive behavior language for large scale real time embedded systems 基于模型的大规模实时嵌入式系统自适应行为语言
S. Shetty, S. Neema, T. Bapty
{"title":"Model based self adaptive behavior language for large scale real time embedded systems","authors":"S. Shetty, S. Neema, T. Bapty","doi":"10.1109/ECBS.2004.1316736","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316736","url":null,"abstract":"At Fermi lab, high energy physics experiments require very large number of real time computations. With thousands of processors (around /spl sim/1000 FPGA's, /spl sim/2500 embedded processors, /spl sim/2500 PC's and /spl sim/25,000,000 detector channels) involved in performing event filtering on a trigger farm, there is likely to be a large number of failures within the software and hardware systems. Historically, physicists have developed their own software and hardware for experiments such as BTeV [J.N. Buttler (2002)]. However, their time is best spent working on physics and not software development. The target users of this tool are the physicists. The tool should be user-friendly and the physicists should be able to introduce custom self-adaptive behaviors, since they can best define how the system should behave in fault conditions. The BTeV trigger system is being used as a model for researching tools for defining fault behavior and automatically generating the software. This paper presents a language to define the behaviors and an application scenario for the BTeV system and its expected fault scenarios. These self adaptive system tools are implemented using model integrated computing. The domain specific graphical language (DSL) is implemented within the generic modeling environment (GME) tool, which is a meta-programmable modeling environment developed at Vanderbilt University.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116557850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A modular approach to systemC-based codesign promoting reuse of high-level legacy C-models 基于系统c的协同设计的模块化方法,促进了高级遗留c模型的重用
Ole Blaurock
{"title":"A modular approach to systemC-based codesign promoting reuse of high-level legacy C-models","authors":"Ole Blaurock","doi":"10.1109/ECBS.2004.1316729","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316729","url":null,"abstract":"Today's systems-on-chip have reached a complexity that demands high-level modelling for both design and verification. By raising the level of abstraction and supporting seamlessness in the methodology new design flows increases the productivity. High level models described on the basis of the C/C++ language family are widely used. Introducing a new flow based on the SDL SystemC allows reuse of such legacy models. A refinement method and a supporting framework are presented to integrate C-code for software and hardware components into a system level model. The focus of the presentation is on the multilevel model support of the framework.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130944963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Gradient method with topology discovery for load-balancing in active networks 主动网络负载均衡的梯度拓扑发现方法
T. Koutny, J. Safarík
{"title":"Gradient method with topology discovery for load-balancing in active networks","authors":"T. Koutny, J. Safarík","doi":"10.1109/ECBS.2004.1316685","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316685","url":null,"abstract":"Active networks bring new possibilities for networking, which can be used to enhance performance of distributed applications. We focus on load balancing and outline new method that at the beginning does not need to know neither virtual topology nor physical one and therefore it can be potentially used for any application on any network topology.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114562075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Architectural description with integrated data consistency models 具有集成数据一致性模型的体系结构描述
P. Tabeling
{"title":"Architectural description with integrated data consistency models","authors":"P. Tabeling","doi":"10.1109/ECBS.2004.1316697","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316697","url":null,"abstract":"The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed in a rudimentary way. While typical approaches pay attention to technical issues like deployment, data consistency problems are mostly ignored. We present a modeling approach which integrates assumptions about data consistency into architectural models. The concepts of abstract locations and operations play a central role in this context. They allow transactions and snapshots to be implicitly defined by mapping high-level architectural models to low-level models. The decision about the application of transactional techniques and snapshot algorithms can then be based on architectural models. Furthermore, the approach can be integrated into programming languages and platforms. In this case, a runtime environment could automatically detect and process both transactions and snapshots.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"55 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128355624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Throughput computing 吞吐量计算
Petr Matena
{"title":"Throughput computing","authors":"Petr Matena","doi":"10.1109/ECBS.2004.1316733","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316733","url":null,"abstract":"Summary form only given. Customers today spend 70% of their IT budget on current operations with only 30% going towards adding new services and gaining competitive advantage. They would rather have the proportions reversed. Sun's throughput computing strategy aims to help our customers get there. The significantly increased processor throughput enable customers do a whole lot more with less. For a given workload, the IT infrastructure costs such as floor space, power, and maintenance is dramatically reduced. Additionally, fewer components per system also increase the reliability of the systems. Basically the cost of computing is reduced by an order of magnitude. This is the biggest change in computing technology since we moved from tubes to transistors to integrated microprocessors. And it frees customers to spend a much bigger proportion of their IT budget on deploying entirely new and more competitive services via network computing. Executing on Sun's throughput computing strategy, the dual-threaded UltraSPARC IV processor marks the first milestone in the CMT processor roadmap from Sun.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125389002","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信