发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
Efficient SOAP processing in embedded systems 嵌入式系统中的高效SOAP处理
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316691
J. Janecek
{"title":"Efficient SOAP processing in embedded systems","authors":"J. Janecek","doi":"10.1109/ECBS.2004.1316691","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316691","url":null,"abstract":"The aim is to describe the technique that uses XML-based RPC communication with tiny servers, e.g. sensors and actuators in control systems, or controllers of advanced appliances. This form of communication uses textual messages that respect SOAP (Simple Object Access Protocol). The interface of the service can be described in WSDL (Web Service Description Language) and published on independent UDDI (Universal Directory, Discovery and Integration) servers. XML-based communication is efficient from the viewpoint of programming ease and flexibility of the design. The main drawback is the huge system support required and high overhead of parsing textual messages. Our research has been targeted to the design and implementation of a development infrastructure needed to implement SOAP services on small devices - even on those without a standard OS support. The main component is the compiler that takes a WSDL description of the service as its input and creates the SOAP analyzer. Our main concern has been to support C as the implementation language, but the technology is language independent and may be used with Java or C# when the target system allows.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"88 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":"121167977","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
Particle rendering engine in DSP and FPGA 基于DSP和FPGA的粒子渲染引擎
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316720
P. Zemčík, A. Herout, Ludek Crha, Otto Fucík, Pavel Tupec
{"title":"Particle rendering engine in DSP and FPGA","authors":"P. Zemčík, A. Herout, Ludek Crha, Otto Fucík, Pavel Tupec","doi":"10.1109/ECBS.2004.1316720","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316720","url":null,"abstract":"We present an algorithm for rendering 3D point-clouds, which exploits an FPGA chip coupled with a DSP processor on an experimental board. Point-clouds are sets of graphical data in 3D space, which seem to be more suitable for potentially many purposes than the most frequently, used triangle meshes. The actual experimental implementation, which verifies the concept and reports promising results, is also described.","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":"126525697","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}
引用次数: 13
Improving CBS tool development with technological spaces 利用技术空间改进CBS工具开发
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316702
J. Sprinkle
{"title":"Improving CBS tool development with technological spaces","authors":"J. Sprinkle","doi":"10.1109/ECBS.2004.1316702","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316702","url":null,"abstract":"The complexity of computer based systems (CBSs) requires that multiple levels of abstraction be available to a designer in order to facilitate their formal specification. Generating final executable code from the model of the system is preferred to hand-coding the implementation, but this is seldom done in one step-usually there are several cascading transformations that eventually result in the executable system. We explain how the concept of the technological space (TS) can be used to define and describe the layers between cascading transformations, and the transformations themselves. TSs are also shown as a categorization that better distinguishes between a domain and the technology used to store information in a domain.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"31 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":"132460850","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
An efficient implementation of the 1D DCT using FPGA technology 利用FPGA技术有效地实现了一维DCT
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316719
H. El-Banna, A. El-Fattah, W. Fakhr
{"title":"An efficient implementation of the 1D DCT using FPGA technology","authors":"H. El-Banna, A. El-Fattah, W. Fakhr","doi":"10.1109/ECBS.2004.1316719","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316719","url":null,"abstract":"This paper describes and represents different algorithms and efficient implementation of one-dimensional 8 point discrete cosine transform on field programmable gate arrays. One of the main objectives is to minimize the complexity of operations as much as possible while maintaining low delays and high-speed throughput. Distributed arithmetic is a powerful technique that has been used for fast and efficient implementation of 1D DCT on FPGA.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"14 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":"132590822","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}
引用次数: 23
An approach for the verification of UML models using B 一种使用B
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316699
Ninh-Thuan Truong, J. Souquières
{"title":"An approach for the verification of UML models using B","authors":"Ninh-Thuan Truong, J. Souquières","doi":"10.1109/ECBS.2004.1316699","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316699","url":null,"abstract":"We describe the formal verification of UML models using B abstract machines and a support tool (AtelierB). We transform the UML metamodel to B and automatically check proof obligations generated by using the B proven The correctness of the properties of UML models is ensured by the well-formedness rules in the UML semantics which are transformed to B as the invariants of abstract machines. We address the class diagram and study the Core Package (backbone and relationships) of the UML metamodel as well as the well-formedness rules of these packages.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"12 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":"116780685","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}
引用次数: 13
Requirements trade-offs during UML design UML设计期间的需求权衡
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316710
A. Andrews, P. Runeson, R. France
{"title":"Requirements trade-offs during UML design","authors":"A. Andrews, P. Runeson, R. France","doi":"10.1109/ECBS.2004.1316710","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316710","url":null,"abstract":"Designs almost always require trade-offs between competing design choices to meet pervasive system dependability requirements (e.g., security, performance and fault tolerance system goals). In some cases, dependability requirements are realized by functionality that cross-cuts designs. Aspect-oriented modeling (AOM) methods allow developers to localize such cross-cutting functionality in design modeling views called aspects. Aspects can be composed with other design views to obtain an integrated view of a design. This paper presents a technique that extends such methods to cover dependability requirements that are not directly realized by functional structures in a design. Performance goals provide examples of such requirements. We also present a trade-off mechanism to rank feasible solutions with respect to requirements priorities between different dependability requirements. The paper applies this technique to an example that has performance, fault-tolerance, and security requirements.","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":"115553047","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
A design framework for Internet-based embedded distributed systems 基于internet的嵌入式分布式系统设计框架
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316689
M. Svéda
{"title":"A design framework for Internet-based embedded distributed systems","authors":"M. Svéda","doi":"10.1109/ECBS.2004.1316689","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316689","url":null,"abstract":"The presented design framework stems from verifiable formal specifications as a launching paradigm, from Internet-based distributed HW/SW components with multicast as an architectural paradigm, and from reusability paradigm supporting all phases of the design process ranging from specification to implementation and testing. This paper presents concepts of a specification-driven design framework aiming at IEEE 1451-based embedded distributed systems that consist of smart components connected to Internet. It deals with an integrated networking framework stemming from the IEEE 1451.1 object-based networking model, complemented by the Internet Protocol (IP) multicast that mediates efficient and unified access from Internet to distributed components. The kernel of the paper deals with tools and techniques aiming to prop specification and design life cycle phases of applications under development.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"279 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":"115216121","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
Evolution of software for embedded systems in Processor Expert 嵌入式系统软件在Processor Expert中的演变
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316726
D. Kolář, Stanislav Cerny
{"title":"Evolution of software for embedded systems in Processor Expert","authors":"D. Kolář, Stanislav Cerny","doi":"10.1109/ECBS.2004.1316726","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316726","url":null,"abstract":"Software development is not an easy task at all. Even more complicated and tricky the problem becomes when developing software for embedded systems. Thus, there have been defined processes for efficient (real-time) embedded software development (RUP, DESS, etc.). Nevertheless, these guidelines are not applicable for evolution of existing software, which is also an activity connected with software development, but staying in a shade of complete development cycle, so far. The situation has been changed by successful finishing of some research activities (i.e. EMPRESS).","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"10 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":"126118291","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
Functional and object-oriented views in embedded software modeling 嵌入式软件建模中的功能视图和面向对象视图
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316722
J. Fernandes, J. Lilius
{"title":"Functional and object-oriented views in embedded software modeling","authors":"J. Fernandes, J. Lilius","doi":"10.1109/ECBS.2004.1316722","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316722","url":null,"abstract":"We discuss how the functional and the object-oriented views can be interplayed in order to model the various modeling perspectives of an embedded system. We discuss if the object-oriented modeling paradigm, most likely the predominant one to develop nowadays software, in the broader sense of the term, is also adequate for modeling embedded software and how it must be conjugated with the functional paradigm. More specifically, we present how data flow diagrams (DFDs), the main diagram in the traditional structured methods, can be integrated in an object-oriented development strategy based on the Unified Modeling Language (UML).","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"18 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":"123750318","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}
引用次数: 15
Enabling optimisation in the design of complex computer based systems 在复杂的基于计算机的系统设计中实现优化
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316684
J. Leaney, M. Denford, T. O'Neill
{"title":"Enabling optimisation in the design of complex computer based systems","authors":"J. Leaney, M. Denford, T. O'Neill","doi":"10.1109/ECBS.2004.1316684","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316684","url":null,"abstract":"This paper aims to understand the issues involved in introducing optimisation in complex computer based systems. It also proposes a framework within which optimisation may occur, and suggests the research that needs to be done. The paper follows through on software's dominance in complex systems to determine the feasibility of raising complex computer based system design to a new level of practice by enabling optimisation and refinement built upon architectural modelling. The paper draws on optimisation in chemical, control system and aeronautical engineering for its techniques and tools. The major issues are: how to apply optimisation to complex systems; how to apply refinement in a scalable, inclusive manner; how to extend architectural modelling to encompass optimisation and refinement. Additionally, a visual design guidance system need to be developed for the designer, and an appropriate design process is to be developed. The effect of a project built upon this framework could be to transform the way system/software architects design complex systems, and, have a profound effect on the effectiveness of all industries which deal with complex systems.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"55 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":"131835544","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
首页 上一页 下一页 尾页
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学术官方微信