Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems最新文献

筛选
英文 中文
Uniform execution environment for dynamic reconfiguration 用于动态重新配置的统一执行环境
T. Bapty, J. Scott, S. Neema, J. Sztipanovits
{"title":"Uniform execution environment for dynamic reconfiguration","authors":"T. Bapty, J. Scott, S. Neema, J. Sztipanovits","doi":"10.1109/ECBS.1999.755878","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755878","url":null,"abstract":"Modern high-performance embedded systems face many challenges. Systems must function in rapidly changing environments. Power/size constraints limit hardware size, while extreme performance requirements demand algorithm specific architectures. Hardware architectures must structurally adapt to achieve high performance with changing algorithms. Reconfigurable computing devices offer the promise of architectures that change in response to the changing environment. The primary difficulty in this approach lies in system design. A model-integrated approach is used in the design capture and synthesis of these systems. The target systems are built on a heterogeneous computing platform including configurable hardware, ASIC and general purpose processors and DSPs. This project is a DARPA Adaptive Computing Systems funded effort, involving close cooperation with US ARMY/AMICOM.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132267233","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}
引用次数: 11
A new development framework based on efficient middleware for real-time embedded heterogeneous multicomputers 基于高效中间件的实时嵌入式异构多机开发框架
R. Janka
{"title":"A new development framework based on efficient middleware for real-time embedded heterogeneous multicomputers","authors":"R. Janka","doi":"10.1109/ECBS.1999.755890","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755890","url":null,"abstract":"Achieving application software portability is challenging for a computer-based system that has a single embedded processor. Such portability is even more challenging when performance requirements demand distributing and parallelizing the application software to run on an embedded scalable heterogeneous multiprocessing hardware target. Application software development for such an embedded multicomputing target is just plain hard enough-without even having to consider portability and technology insertion issues. One feasible approach to solve both problems is by using middleware-based technology and complementary design methodologies and tools. One recent approach that is proving viable and effective is the Talaris application configuration middleware framework with an application development tool that layers on top of it known as PeakWare for RACE. Applying these concepts to the embedded multiprocessor signal processing domain is both novel and promising. The middleware and tool are introduced and then discussed being illustrated by a simplified STAP (space-time adaptive processing) application that was rapidly prototyped and run on fifteen compute nodes.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123459484","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}
引用次数: 8
Software evolution via reusable architecture 通过可重用架构进行软件进化
M. Harn, V. Berzins, Luqi
{"title":"Software evolution via reusable architecture","authors":"M. Harn, V. Berzins, Luqi","doi":"10.1109/ECBS.1999.755856","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755856","url":null,"abstract":"This paper explores the idea of component-based reuse of software development architecture. It includes: (1) analysis of a domain-specific software development architecture, (2) development of a component base (repository) that is robust with respect to system evolution, and (3) implementation of a light weight inference engine for automated decision support. The study is aimed at gaining a framework for component-based reuse of software architecture, where a family of software systems sharing the same architecture are produced using common components. This embraces a component base (repository) equipped with a lightweight inference engine for software evolution and automated decision support for processes such as component retrieval, version control, project management, and task decomposition.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124089605","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}
引用次数: 12
A system architecture for distributed implementation of virtual measurement systems 虚拟测量系统的分布式实现体系结构
Z. Papp, H. J. Hoeve, A. Bos
{"title":"A system architecture for distributed implementation of virtual measurement systems","authors":"Z. Papp, H. J. Hoeve, A. Bos","doi":"10.1109/ECBS.1999.755857","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755857","url":null,"abstract":"The paper presents a system architecture, which enables distributed implementation of measuring systems featuring multi-user access, geographically distributed data acquisition and parallel data processing. A distinguishing feature of the architecture is the scaleability: measuring (data processing, control) systems ranging from single-processor to networked symmetric multiprocessor implementations can be built up using the proposed architecture as a backbone-without modification the source code (except configuration data). The open standards based components provide great degree of hardware and software platform independence.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129432689","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}
引用次数: 4
Using automatable proof obligations for component-based design checking 为基于组件的设计检查使用自动化证明义务
M. Rangarajan, P. Alexander, N. Abu-Ghazaleh
{"title":"Using automatable proof obligations for component-based design checking","authors":"M. Rangarajan, P. Alexander, N. Abu-Ghazaleh","doi":"10.1109/ECBS.1999.755895","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755895","url":null,"abstract":"The complexity of modern systems is reflected in a proportionate increase in the complexity of their design and verification. Formal analysis methods are of particular interest because they provide the mathematical foundation necessary for rigorous analysis; successful formal analysis of a system provides a high level of assurance of correctness and conformance with specifications. Unfortunately for a number of reasons, formal analysis techniques have failed to scale to large systems. In traditional engineering disciplines, decomposition and component-based design activities have contributed substantially to effective design of large systems. Consequently, this paper presents some proof obligations that perform partial correctness checks on hierarchically designed systems. Since the obligations are applied locally, they avoid the state explosion associated with formal analysis of a large system. The obligations represent initial steps towards the goal of decompositional verification of designs.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"516 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123063052","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}
引用次数: 10
ECBS benefits 欧洲央行的好处
D. Oliver
{"title":"ECBS benefits","authors":"D. Oliver","doi":"10.1109/ECBS.1999.755892","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755892","url":null,"abstract":"Organizations will introduce model based ECBS, only when they sell computer intensive products or services which require a system approach. The management will make decisions to utilize ECBS only if they perceive that the costs and risks of training and implementation will pay of well enough to impact the performance of their organization. ECBS must do the computer system job better, reduce risk, save money in product or service development, and better match product to marketplace. This can happen because the ECBS process works better and is much more efficient and cost effective than the present lack of ECBS and use of vernacular text. This paper describes the benefits of ECBS and estimates the magnitude of improvement possible by reducing the work of creating requirements, tracing them, creating designs, calculating system performance of designs, transforming information for design engineering and management, evaluating requirements changes, and generating test and validation scenarios.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129132689","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
Knowledge elicitation in complex military environments 复杂军事环境下的知识获取
E. Hudlicka
{"title":"Knowledge elicitation in complex military environments","authors":"E. Hudlicka","doi":"10.1109/ECBS.1999.755899","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755899","url":null,"abstract":"Knowledge elicitation (KE) plays a key role in the design and development of human-centered military systems. KE is critical for identifying the information necessary for effective system development, including defining the basic system functionality, user interface design, and human-machine function allocation. Military environments pose special challenges to the KE process, due to the complexity and amount of knowledge being elicited the difficulty of accessing experts, and difficulty of conducting KE in an ecologically-valid manner. In this paper we discuss the theoretical and practical aspects of KE in complex military environment, and outline the available KE techniques and recent computerized KE tools. The paper concludes with a \"lessons learned\" summary regarding knowledge elicitation in military settings.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129186402","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}
引用次数: 6
A seed for a STEP application protocol for systems engineering 用于系统工程的STEP应用协议的种子
E. Herzog, Anders Törne
{"title":"A seed for a STEP application protocol for systems engineering","authors":"E. Herzog, Anders Törne","doi":"10.1109/ECBS.1999.755877","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755877","url":null,"abstract":"An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure that facilitates data exchange between design tools used in the systems engineering process. The model has been developed within the SEDRES project (ESPRIT 20496) and will serve as a seed for the standardisation of a future systems engineering application protocol within the STEP framework.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124705832","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}
引用次数: 8
Establishing enterprise networks through global engineering networking, GEN 通过全球工程网络、GEN建立企业网络
J. Korzonnek, E. Radeke, F. Stewing
{"title":"Establishing enterprise networks through global engineering networking, GEN","authors":"J. Korzonnek, E. Radeke, F. Stewing","doi":"10.1109/ECBS.1999.755881","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755881","url":null,"abstract":"This paper presents the Global Engineering Networking, GEN, approach for building-up global electronic market places for engineers. GEN enables (large-scale and SME like) companies from different sectors to use and exchange engineering information and services in enterprise networks. GEN is being developed and piloted in a number of EU-funded projects (MATES, GENIAL, PROCAT-GEN). The MATES project augments the GEN information services by means of tools for collaboration amongst the partners, customers and suppliers involved in an engineering project. GENIAL and PROCAT-GEN support the access to information and services which are stored in computer systems. GENIAL develops tools for intelligently accessing, inserting and administrating the information, whereas PROCAT-GEN prepares the content for these tools by means of on-line product catalogues.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128447363","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
Black-box modeling of a complex industrial process 复杂工业过程的黑盒建模
G. Horváth, B. Pataki, G. Strausz
{"title":"Black-box modeling of a complex industrial process","authors":"G. Horváth, B. Pataki, G. Strausz","doi":"10.1109/ECBS.1999.755862","DOIUrl":"https://doi.org/10.1109/ECBS.1999.755862","url":null,"abstract":"This paper deals with some important experiences gained from building a black-box model of a Linz-Donawitz (LD) steel converter. Steelmaking with an LD converter is a complex physico-chemical process where many variables have effects on the quality of the resulted steel. During the process a converter is filled with waste iron, melted pig iron and many additives, then it is blasted through with pure oxygen to burn out the unwanted contamination. The complexity of the whole process and the fact that there are many effects that cannot be taken into consideration make this task difficult. It turned out that perhaps the most important step of the whole modeling task was the analysis of the large amount of data, the selection of relevant parameters and to find good strategy to deal with missing and biased data. The paper details the steps of data analysis, summarizes both the motivations of constructing several different neural models and the general experiences obtained through the whole project.","PeriodicalId":229109,"journal":{"name":"Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems","volume":"233 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131598803","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}
引用次数: 11
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学术官方微信