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