Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755878
T. Bapty, J. Scott, S. Neema, J. Sztipanovits
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755890
R. Janka
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.
实现应用软件的可移植性对于具有单个嵌入式处理器的基于计算机的系统是具有挑战性的。当性能需求要求应用程序软件在嵌入式可伸缩异构多处理硬件目标上运行时，这种可移植性甚至更具挑战性。针对这种嵌入式多计算目标的应用程序软件开发非常困难，甚至不必考虑可移植性和技术插入问题。解决这两个问题的一个可行方法是使用基于中间件的技术和互补的设计方法和工具。最近证明可行且有效的一种方法是Talaris应用程序配置中间件框架，该框架带有一个应用程序开发工具，该工具在其之上分层，称为PeakWare for RACE。将这些概念应用于嵌入式多处理器信号处理领域是新颖而有前途的。介绍了中间件和工具，然后通过一个简化的STAP(时空自适应处理)应用程序进行了讨论，该应用程序快速原型并在15个计算节点上运行。
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755856
M. Harn, V. Berzins, Luqi
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755857
Z. Papp, H. J. Hoeve, A. Bos
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755895
M. Rangarajan, P. Alexander, N. Abu-Ghazaleh
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755892
D. Oliver
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755899
E. Hudlicka
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755877
E. Herzog, Anders Törne
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.
提出了支持核心系统工程设计数据的信息模型。该模型与STEP (ISO 10303)框架服务一起提供了一个基础设施，该基础设施促进了系统工程过程中使用的设计工具之间的数据交换。该模型已在SEDRES项目(ESPRIT 20496)中开发，并将作为STEP框架内未来系统工程应用协议标准化的种子。
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755881
J. Korzonnek, E. Radeke, F. Stewing
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.
{"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}
Pub Date : 1999-03-07DOI: 10.1109/ECBS.1999.755862
G. Horváth, B. Pataki, G. Strausz
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：