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

2011 Brazilian Symposium on Computing System Engineering最新文献

筛选
英文 中文
Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models 框架来模拟UML模型中指定的嵌入式实时系统的行为
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.47
M. A. Wehrmeister, Joao G. Packer, Luis M. Ceron
{"title":"Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models","authors":"M. A. Wehrmeister, Joao G. Packer, Luis M. Ceron","doi":"10.1109/SBESC.2011.47","DOIUrl":"https://doi.org/10.1109/SBESC.2011.47","url":null,"abstract":"Identifying errors in early design phases leads to a decrease in the cost of repairing such problems if they are discovered only in advanced design phases.This work is a first step toward an automatic verification approach for embedded and real-time systems' high-level specifications, such as UML models.This paper presents a model-driven framework to allow simulating system's behavior already in early design phases, prior to the implementation phase.More specifically, the mentioned framework simulates the behavior specified within UML models, generating a trace of executed actions for the selected behaviors.The achieved results show that early simulation of UML models is practicable, opening room for its usage in different CASE tools for early verification and validation of embedded and real-time systems.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114290218","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
Tutorial 1: Mobile Robotics 教程1:移动机器人
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.51
G. Raffo, J. Farines, L. Becker, U. Moreno
{"title":"Tutorial 1: Mobile Robotics","authors":"G. Raffo, J. Farines, L. Becker, U. Moreno","doi":"10.1109/SBESC.2011.51","DOIUrl":"https://doi.org/10.1109/SBESC.2011.51","url":null,"abstract":"The goal of this course is to present the topic of mobile robotics, including the design difficulties and challenges. Participants will be presented to the main design tools currently adopted. The topics to be addressed are: terrestrial mobile robots, unmanned aerial vehicles, submarine vehicles, architectures, movement control techniques, behavior and perception, applications, navigation and location (mapping, SLAM, sensors fusion, and simulation), cooperation (architectures, planning, and supervision), and platforms (operating systems, platforms, and sensors).","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123825379","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
A Comparison of Memory Allocators for Multicore and Multithread Applications: A Quantitative Approach 多核和多线程应用的内存分配器比较:定量方法
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.29
T. Ferreira, Rivalino Matias, Autran Macêdo, Lucio Borges de Araujo
{"title":"A Comparison of Memory Allocators for Multicore and Multithread Applications: A Quantitative Approach","authors":"T. Ferreira, Rivalino Matias, Autran Macêdo, Lucio Borges de Araujo","doi":"10.1109/SBESC.2011.29","DOIUrl":"https://doi.org/10.1109/SBESC.2011.29","url":null,"abstract":"The performance of memory allocation operations is a very important aspect to be considered in software design, however it is frequently neglected. This paper presents a comparative analysis of seven largely adopted memory allocators. Unlike other related works, based on artificial benchmark tests, we evaluate the selected allocators using real-world middleware applications. In order to compare the performance of the investigated allocators we consider the response time, memory consumption, and memory fragmentation. All tests are evaluated with respect to different combinations of processor cores. The results indicate that for workloads based on memory allocations up to 64 bytes and all combinations of processor cores up to four, the best average response time and memory usage is obtained using the TCMalloc memory allocator, followed by the Ptmalloc version 3.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116332760","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}
引用次数: 2
WirelessHART Routing Analysis Software 无线网路由分析软件
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.21
J. Winter, C. Lima, I. Müller, C. Pereira, J. Netto
{"title":"WirelessHART Routing Analysis Software","authors":"J. Winter, C. Lima, I. Müller, C. Pereira, J. Netto","doi":"10.1109/SBESC.2011.21","DOIUrl":"https://doi.org/10.1109/SBESC.2011.21","url":null,"abstract":"Reliability and robustness are critical parameters in choosing a wireless protocol to be used in industry. Nowadays, WirelessHART is the most adopted wireless industrial protocol. However, there are only a few number of analysis tools for industrial networks, specially for WirelesHART, which implies in a lack of information about the health network to its end users. In this paper a software to obtain network data from a WirelessHART network is presented. The developed software allows to identify relevant issues to the verification and maintenance of WirelessHART networks. One of the advantages is the ability to customize the tests, being allowed to evaluate data of most interest for a particular purpose. In a case study, the obtained data allowed to identify the mostly used routes of the network which lead to the identification of bottlenecks.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130433679","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}
引用次数: 19
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker 使用非定时有界模型检查器验证带有时间约束的嵌入式C软件
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.19
R. Barreto, L. Cordeiro, B. Fischer
{"title":"Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker","authors":"R. Barreto, L. Cordeiro, B. Fischer","doi":"10.1109/SBESC.2011.19","DOIUrl":"https://doi.org/10.1109/SBESC.2011.19","url":null,"abstract":"Embedded systems are everywhere, from home appliances to critical systems such as medical devices. They usually have associated timing constraints that need to be verified. Here, we use an untimed bounded model checker to verify timing properties of embedded C programs. We describe an approach to specify discrete-time timing constraints using code annotations. The annotated code is then automatically translated to code that manipulates auxiliary timer variables and is thus suitable as input to conventional, untimed software model checkers such as ESBMC. Moreover, we can check timing constraints in the same way and at the same time asuntimed system requirements, and even allow for interaction between them. We applied the proposed method in a case study, and verified timing constraints of a pulse oximeter, a noninvasive medical device that measures the oxygen saturation of arterial blood.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132641108","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
System for Measurement and Control of Water Consumption Using Wireless Sensor Network 基于无线传感器网络的水耗测控系统
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.11
Marcos Cleve Alves da Silva, Daniel Patrick Pereira
{"title":"System for Measurement and Control of Water Consumption Using Wireless Sensor Network","authors":"Marcos Cleve Alves da Silva, Daniel Patrick Pereira","doi":"10.1109/SBESC.2011.11","DOIUrl":"https://doi.org/10.1109/SBESC.2011.11","url":null,"abstract":"Water has becoming a commodity of rising costs and increasingly scare. Currently, the waste is being pointed out as a major enemy to be combated, as the population in general does not give due weight to the liquid of life, whichever is the illusion of an inexhaustible well, many places do not have water potable. This paper presents the prototype of a system of measurement and control of water through Wireless Sensor Network. The system aims to educate the user presenting the daily graph for separate rooms in home or industries. In addition, the system can help detect leaks.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130916820","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
Generating Java Code from UML Class and Sequence Diagrams 从UML类图和序列图生成Java代码
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.22
A. G. Parada, Eliane Siegert, L. Brisolara
{"title":"Generating Java Code from UML Class and Sequence Diagrams","authors":"A. G. Parada, Eliane Siegert, L. Brisolara","doi":"10.1109/SBESC.2011.22","DOIUrl":"https://doi.org/10.1109/SBESC.2011.22","url":null,"abstract":"UML-based approaches provide abstraction todeal with the high complexity of embedded applications andwhen combined with Model-driven Engineering can also pro-vide automation trough automatic code generation. This paperpresents an approach to automatically generate structuraland behavioral code from UML class and sequence diagrams.This approach is demonstrated through a case study and wasvalidated by the implementation of a code generator.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131222958","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}
引用次数: 36
A Predictable Execution Model for Digital TV Java Applications in Conformance with GEM Standard 符合GEM标准的数字电视Java应用程序的可预测执行模型
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.38
Moacyr Franco M. Neto, C. Montez
{"title":"A Predictable Execution Model for Digital TV Java Applications in Conformance with GEM Standard","authors":"Moacyr Franco M. Neto, C. Montez","doi":"10.1109/SBESC.2011.38","DOIUrl":"https://doi.org/10.1109/SBESC.2011.38","url":null,"abstract":"This article describes an execution model for running TVDI java applications that implement GEM. The goal is to create a model capable of providing better management of resources related applications, some improvement in quality of service (QoS), mechanism treatment and control of overloads, add features to enable soft real-time applications for digital TV that has time constraints.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123743046","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
An Analysis Energy Consumption Tool for ARM7 Processor ARM7处理器能耗分析工具
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.40
Diogo Lages, A. Filho
{"title":"An Analysis Energy Consumption Tool for ARM7 Processor","authors":"Diogo Lages, A. Filho","doi":"10.1109/SBESC.2011.40","DOIUrl":"https://doi.org/10.1109/SBESC.2011.40","url":null,"abstract":"Estimations about energy consumption in embedded applications allow to engineers improve codification, scale power systems as well as improve redundant power system in case of fail. In this context, was developed a framework, which is capable to characterize execution time, requested power, used energy, executed instructions and its frequency. Additionally, the developed framework is capable to evaluate ARM processor and its operations modes like THUMB/ARM in terms of execution time and used energy. The framework was evaluated with five applications of benchmark Powerstone suite. Preliminaries results of these applications showed differences of 98% for execution time and approximately 73% in used energy when different operation modes are used.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122289204","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
Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus flexray总线实时微积分建模的探讨
2011 Brazilian Symposium on Computing System Engineering Pub Date : 2011-11-07 DOI: 10.1109/SBESC.2011.45
Eduardo Bonet, R. S. Oliveira, R. Lange
{"title":"Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus","authors":"Eduardo Bonet, R. S. Oliveira, R. Lange","doi":"10.1109/SBESC.2011.45","DOIUrl":"https://doi.org/10.1109/SBESC.2011.45","url":null,"abstract":"The FlexRay protocol is becoming the standard protocol for in-car communications systems. Therefore, there's great effort in searching for a reliable and fast method to model and analyze the performance of the FlexRay bus. The last work regarding this topic was presented in the paper \"Performance Analysis of FlexRay-based systems using Real-Time Calculus, Revisited\", where the authors claimed to solve this problem using Real-Time Calculus. The main contribution of this paper is to discuss the reliability of the existing algorithm as well as the use of the Real-Time Calculus.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128911825","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信