{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}