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

2012 Brazilian Symposium on Computing System Engineering最新文献

筛选
英文 中文
Early Verification of Embedded Systems: Testing Automation for UML Models 嵌入式系统的早期验证:UML模型的测试自动化
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.31
M. A. Wehrmeister, Luis M. Ceron, Johnny L. da Silva
{"title":"Early Verification of Embedded Systems: Testing Automation for UML Models","authors":"M. A. Wehrmeister, Luis M. Ceron, Johnny L. da Silva","doi":"10.1109/SBESC.2012.31","DOIUrl":"https://doi.org/10.1109/SBESC.2012.31","url":null,"abstract":"It is widely known that errors discovered in advanced stages of a project are expensive to fix. Therefore, it is important to look for errors as soon as possible within the design cycle. This work addresses the early verification of embedded and real-time systems based on testing the behavior specified in the high-level specifications. A tool to automate the execution of test cases on UML models is presented. Its initial goal is to support the engineers in detecting errors on the system behavior before the implementation phase. The engineers specify a set of test cases, describing: runtime scenarios; behaviors to be tested along with their input; and the expected results. The tool executes automatically each test case, reporting its success/failure as well as the obtained results. The proposed approach has been evaluated by means of a case study representing a real-world embedded system application. The achieved results demonstrate that it is feasible to test the system behavior even though when the implementation is still not available.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116911945","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}
引用次数: 6
Exploratory Study on the Linux OS Jitter Linux操作系统抖动的探索性研究
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.13
Elder Vicente, Rivalino Matias
{"title":"Exploratory Study on the Linux OS Jitter","authors":"Elder Vicente, Rivalino Matias","doi":"10.1109/SBESC.2012.13","DOIUrl":"https://doi.org/10.1109/SBESC.2012.13","url":null,"abstract":"The operating system (OS) Jitter phenomenon has been considered an import and critical factor in high-performance distributed computing. In this paper, we present the results of an experimental study that quantifies the effects of different sources of OS Jitter in the Linux operating system. We use the design of experiments (DOE) method to conduct controlled experiments statistically planned. Different than previous studies, we found that the processor topology, especially regarding the shared processor cache, has the most significant influence in terms of OS Jitter. Also, we found that in order to reduce the impact of OS Jitter on a given application, the number of computational phases in the algorithm is significantly more important than the number of distributed processes or compute nodes.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"203 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129448908","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}
引用次数: 11
An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems 分布式操作系统中冗余资源的高效互斥算法
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.49
M. A. Ramos, R. Macêdo, Anne Blagojevic
{"title":"An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems","authors":"M. A. Ramos, R. Macêdo, Anne Blagojevic","doi":"10.1109/SBESC.2012.49","DOIUrl":"https://doi.org/10.1109/SBESC.2012.49","url":null,"abstract":"Increasing demand for distributed applications raises the need for more reliable control of shared resources among distributed processes. Because of the inherent redundancy of distributed systems, algorithms for critical section access must consider not only the shared resource but also the possibility of redundancy of such a resource. These algorithms are thus known as distributed k-mutex since they control access to k versions of the same shared resource. The inherent uncertainties of distributed systems, like unbounded message transfer delay and the difficulty to detect failures, make the distributed k-mutex problem hard to solve. In this paper, we present a k-mutex algorithm that runs under the partitioned synchronous model, which have recently been formalized, which guarantee liveness (termination) without being restrictive as those conventional solutions of synchronous systems. We complement the presentation of our algorithm with related correctness proofs and simulations that show the efficacy of the proposed solution.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"46 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121002040","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
System-Level Verification of Embedded Operating Systems Components 嵌入式操作系统组件的系统级验证
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.39
Mateus Krepsky Ludwich, A. A. Fröhlich
{"title":"System-Level Verification of Embedded Operating Systems Components","authors":"Mateus Krepsky Ludwich, A. A. Fröhlich","doi":"10.1109/SBESC.2012.39","DOIUrl":"https://doi.org/10.1109/SBESC.2012.39","url":null,"abstract":"The increasing complexity of embedded operating systems is pushing their design to System-Level, leading to the convergence between software and hardware. In such scenario, it is highly desirable to verify system properties formally, regardless of whether their components are going to be implemented in software or hardware. In this paper, we introduce an approach to verify functional correctness and safety properties of embedded operating system components formally and at System-Level. In order to demonstrate our approach, we present a scheduler of an embedded operating system showing that such scheduler follows its specification regardless of the domain it is instantiated. The verified code was subsequently compiled using GCC yielding a software instance and using CatapultC yielding a hardware instance of the scheduler.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131896405","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
Abstraction Techniques for Compositional State-Based Scheduling Analysis 基于组合状态调度分析的抽象技术
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.40
Tayfun Gezgin, Stefan Henkler, A. Rettberg, Ingo Stierand
{"title":"Abstraction Techniques for Compositional State-Based Scheduling Analysis","authors":"Tayfun Gezgin, Stefan Henkler, A. Rettberg, Ingo Stierand","doi":"10.1109/SBESC.2012.40","DOIUrl":"https://doi.org/10.1109/SBESC.2012.40","url":null,"abstract":"Nowadays, most embedded safety critical systems have to work in a timely manner in order to deliver desired services. In such timed systems not only ordering of events but timing properties are relevant for correctness and performance. In order to be safe and reliable, it is important to have rigorous analysis techniques of timing-dependent (state) behavior. Classical scheduling approaches consider only the system behavior stateless. Especially for safety critical systems this is not sufficient as the state space gives important information of the system which has to be considered by analysis approaches. Our approach for scheduling analysis combines analytical and model checking methods. We consider not only critical instances but the full state space for analysis, where all inter-leavings and task dependencies are preserved. For this, the state space of the entire system architecture is constructed with the aid of input event streams for tasks, and the known behavior of the scheduler of each resource. Based on the state space response times can be determined, and safety properties can be verified by means of reachability checks. As this approach alone is not scalable we present abstraction techniques based on determining output event streams for each resource. For this we exploit well known analytical methods for scheduling analysis. These methods typically abstracts from all inter-leavings leading to very pessimistic results. In this work we present an abstraction technique that is relevant if multiple activations of one task can occur. This technique lies in the middle of both approaches mentioned above.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134047104","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
Reconfigurable Agents for Heterogeneous Wireless Sensor Networks 异构无线传感器网络的可重构代理
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.10
David Cemin, M. Götz, C. Pereira
{"title":"Reconfigurable Agents for Heterogeneous Wireless Sensor Networks","authors":"David Cemin, M. Götz, C. Pereira","doi":"10.1109/SBESC.2012.10","DOIUrl":"https://doi.org/10.1109/SBESC.2012.10","url":null,"abstract":"Heterogeneous wireless sensor networks combine static nodes and mobile nodes. These mobile nodes might present a more sophisticated and powerful computation platform if compared to static nodes. UAVs (Unmanned Aircraft Vehicle) can confer mobility feature to a node, as well as offer a powerful computation platform, including reconfigurable hardware as an execution platform alternative. These types of networks enable a vast and interesting spectrum of applications, like area surveillance, public security support, among others. An UAV might join or leave a network, and thereby migration of agents might occur among UAVs. In this scenario, this paper proposes a reconfigurable agent, which is able to be executed as pure software agent, as well as a hardware agent, depending on the available execution environment and application decisions. The proposed architecture for a reconfigurable agent presents the necessary transparency so that the rest of the system is not aware of the agents' nature. Moreover, the system enables a dynamic migration of an agent reconfiguring thereby itself to the target execution environment, in a transparent manner as well. Case studies and results are presented, showing the feasibility and costs related to the architecture proposed.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123554113","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
Time Synchronization at OS Level Using the IEEE 1588 Protocol 使用IEEE 1588协议的操作系统级时间同步
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.37
Peterson Oliveira, Alexandre Massayuki Okazaki, A. A. Fröhlich
{"title":"Time Synchronization at OS Level Using the IEEE 1588 Protocol","authors":"Peterson Oliveira, Alexandre Massayuki Okazaki, A. A. Fröhlich","doi":"10.1109/SBESC.2012.37","DOIUrl":"https://doi.org/10.1109/SBESC.2012.37","url":null,"abstract":"Time Synchronization is a pertinent field of study to fulfill the OS requirements in many distributed applications. In this work, we implemented the IEEE 1588 protocol - Precision Time Protocol - for the EPOS operating system to deliver the clock time among the network. For test purposes, we choose a topology consisted of one master clock and another slave clock. We made two configurations: one in which we have two previously synchronized clocks, to evaluate their behavior among time after some synchronizations. On the other configuration, we delayed the slave clock in some hours and analysed the behavior of the protocol after some iterations. With the results obtained we can ensure the viability of the protocol implementation to the EPOS operating system and consequently to embedded systems.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122592534","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
Analyzing the Performance of an Externally Journaled Filesystem 分析外部日志文件系统的性能
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.26
Pedro Eugenio Rocha, L. C. E. Bona
{"title":"Analyzing the Performance of an Externally Journaled Filesystem","authors":"Pedro Eugenio Rocha, L. C. E. Bona","doi":"10.1109/SBESC.2012.26","DOIUrl":"https://doi.org/10.1109/SBESC.2012.26","url":null,"abstract":"Journaling is a common technique used by current filesystems to ensure data consistency in face of a crash. Because the journal is often stored as a file within the filesystem, journal and fixed-position writes are likely to compete for disk bandwidth, posing a considerable overhead to the storage system. In order to isolate journal and fixed-position traffic, some filesytems allow the journal to be stored in an external device, thereby allowing the exploitation of parallelism and increasing the spatial locality. In this paper we analyze the performance of an externally journaled filesystem under different scenarios and journaling modes and compare it to a traditional journaled filesystem. We found that ordered and writeback journaling modes in an external device can obtain about 40% of performance improvement in a mail server workload if compared to a traditional journaled filesystem; in addition, we also observed that data journaling mode can provide substantial performance gains under very specific workloads.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126281592","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
Automation Control Targeting of a Solar Distiller 太阳能蒸馏器的自动控制定位
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.47
Salomao de Freitas, Ricardo Santos Nascimento, Marcia Lissandra Machado Prado
{"title":"Automation Control Targeting of a Solar Distiller","authors":"Salomao de Freitas, Ricardo Santos Nascimento, Marcia Lissandra Machado Prado","doi":"10.1109/SBESC.2012.47","DOIUrl":"https://doi.org/10.1109/SBESC.2012.47","url":null,"abstract":"This study aimed at planning, building and running an automatic solar distiller, whose function is to direct the mirror still in the position that there is a maximum brightness of the capture of the sunlight. The distiller was designed in the style of a cylindrical parabolic solar concentrator developed sheet steel, coated mirrors, modeled on a parabolic structure, with a focus along the copper tube functioning as absorber. In the parameters for the automation of the project were considered the elements of machinery, power electronics and industrial instrumentation. The results for the automation of the solar distiller, satisfied the proposed project, as it was possible to obtain the data necessary to perform the mapping and displacement of the distiller in the direction of sunlight.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131809278","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
High Availability for Critical Services Using Open Software and Virtualization 使用开放软件和虚拟化实现关键服务的高可用性
2012 Brazilian Symposium on Computing System Engineering Pub Date : 2012-11-05 DOI: 10.1109/SBESC.2012.50
Luciano Eduardo Caciato
{"title":"High Availability for Critical Services Using Open Software and Virtualization","authors":"Luciano Eduardo Caciato","doi":"10.1109/SBESC.2012.50","DOIUrl":"https://doi.org/10.1109/SBESC.2012.50","url":null,"abstract":"This article presents a proposal to solve the problem of unavailability of services in the level of the operating systems hosted on virtual machines. The proposal is based on the use of open software in order to attend a demand reported in the literature in which we can find some restricted solutions limited to the level of virtualization.","PeriodicalId":112286,"journal":{"name":"2012 Brazilian Symposium on Computing System Engineering","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130377579","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
首页 上一页 下一页 尾页
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学术官方微信