首页 > 最新文献

2013 III Brazilian Symposium on Computing Systems Engineering最新文献

英文 中文
Embedded System for Visual Odometry and Localization of Moving Objects in Images Acquired by Unmanned Aerial Vehicles 无人机图像中运动目标的视觉里程测量与定位嵌入式系统
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.34
R. A. Reboucas, Quenaz da Cruz Eller, Mateus Habermann, E. H. Shiguemori
In this paper is presented the visual odometry and the localization of moving objects from aerial images embedded in an Unmanned Aerial Vehicle system with use of the Raspberry Pi and an IP camera. The techniques used are the Oriented FAST and Rotated BRIEF (ORB) descriptor to detect and extract the interest points and the RANdom SAmple Consensus (RANSAC) method to estimate the parameters from a matched points matrix for finding the camera translation. The visual odometry and morphological operations to point out moving objects have been performed.
本文介绍了利用树莓派和IP摄像机从嵌入在无人机系统中的航空图像中进行视觉里程计和运动物体的定位。使用的技术是定向快速和旋转简短(ORB)描述符来检测和提取兴趣点,随机样本共识(RANSAC)方法从匹配点矩阵中估计参数以找到摄像机平移。通过视觉里程计和形态学操作来指出运动物体。
{"title":"Embedded System for Visual Odometry and Localization of Moving Objects in Images Acquired by Unmanned Aerial Vehicles","authors":"R. A. Reboucas, Quenaz da Cruz Eller, Mateus Habermann, E. H. Shiguemori","doi":"10.1109/SBESC.2013.34","DOIUrl":"https://doi.org/10.1109/SBESC.2013.34","url":null,"abstract":"In this paper is presented the visual odometry and the localization of moving objects from aerial images embedded in an Unmanned Aerial Vehicle system with use of the Raspberry Pi and an IP camera. The techniques used are the Oriented FAST and Rotated BRIEF (ORB) descriptor to detect and extract the interest points and the RANdom SAmple Consensus (RANSAC) method to estimate the parameters from a matched points matrix for finding the camera translation. The visual odometry and morphological operations to point out moving objects have been performed.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116354755","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
An Implementation of the AES Cipher Using HLS 利用HLS实现AES密码
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.36
R. Meurer, T. Mück, A. A. Fröhlich
The Advanced Encryption Standard (AES) is the main algorithm used to ensure security and privacy in several different applications ranging from massive data servers to small low-power embedded systems. Such embedded systems often rely on dedicated hardware implementations of AES in order to meet tight power budgets. In this scenario, C/C++ High-Level Synthesis (HLS) solutions are gaining acceptance as traditional hardware design methodologies can no longer match the strict time-to-market requirements of current applications. In this paper, we describe a C++ implementation of the AES algorithms and explore different hardware micro-architectures by using HLS solutions. We focus on describing the process of obtaining an efficient synthesizable C++ description form plain software code.
高级加密标准(AES)是用于确保从海量数据服务器到小型低功耗嵌入式系统等不同应用程序的安全性和隐私性的主要算法。这种嵌入式系统通常依赖于AES的专用硬件实现,以满足紧张的功率预算。在这种情况下,C/ c++高级综合(HLS)解决方案正在获得认可,因为传统的硬件设计方法已不能满足当前应用程序严格的上市时间要求。在本文中,我们描述了AES算法的c++实现,并通过HLS解决方案探索了不同的硬件微架构。我们重点描述了从普通软件代码中获得有效的可综合的c++描述的过程。
{"title":"An Implementation of the AES Cipher Using HLS","authors":"R. Meurer, T. Mück, A. A. Fröhlich","doi":"10.1109/SBESC.2013.36","DOIUrl":"https://doi.org/10.1109/SBESC.2013.36","url":null,"abstract":"The Advanced Encryption Standard (AES) is the main algorithm used to ensure security and privacy in several different applications ranging from massive data servers to small low-power embedded systems. Such embedded systems often rely on dedicated hardware implementations of AES in order to meet tight power budgets. In this scenario, C/C++ High-Level Synthesis (HLS) solutions are gaining acceptance as traditional hardware design methodologies can no longer match the strict time-to-market requirements of current applications. In this paper, we describe a C++ implementation of the AES algorithms and explore different hardware micro-architectures by using HLS solutions. We focus on describing the process of obtaining an efficient synthesizable C++ description form plain software code.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132470502","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
3D Point Clouds Segmentation for Autonomous Ground Vehicle 自主地面车辆三维点云分割
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.43
Danilo Habermann, A. Hata, D. Wolf, F. Osório
Point clouds segmentation is an essential step to improve the performance of obstacle detection and classification in areas of autonomous ground vehicles and mobile robotics. This paper presents a study and comparison of the performance of segmentation methods using point clouds coming from a 3D laser sensor, more specifically obtained from a Velodyne HDL32.
在自主地面车辆和移动机器人领域,点云分割是提高障碍物检测和分类性能的重要步骤。本文研究和比较了三维激光传感器点云的分割方法的性能,更具体地说,是由Velodyne HDL32获得的。
{"title":"3D Point Clouds Segmentation for Autonomous Ground Vehicle","authors":"Danilo Habermann, A. Hata, D. Wolf, F. Osório","doi":"10.1109/SBESC.2013.43","DOIUrl":"https://doi.org/10.1109/SBESC.2013.43","url":null,"abstract":"Point clouds segmentation is an essential step to improve the performance of obstacle detection and classification in areas of autonomous ground vehicles and mobile robotics. This paper presents a study and comparison of the performance of segmentation methods using point clouds coming from a 3D laser sensor, more specifically obtained from a Velodyne HDL32.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127249957","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}
引用次数: 9
OB-STM: An Optimistic Approach for Byzantine Fault Tolerance in Software Transactional Memory 软件事务性内存中拜占庭容错的乐观方法
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.31
T. A. Ribeiro, L. Lung, Hylson Vescovi Netto
Recently, researchers have shown an increased interest in concurrency control using distributed Software Transactional Memory (STM). However, there has been little discussion about certain types of fault tolerance, such as Byzantine Fault Tolerance (BFT), for kind of systems. The focus of this paper is on tolerating byzantine faults on optimistic processing of transactions using STM. The result is an algorithm named OB-STM. The processing of a transaction runs with an optimistic approach, benefiting from the high probability of messages being delivered in order when using Reliable Multicast on a local network (LAN). The protocol has a better performs when messages are delivered ordered. In case of a malicious replica or out-of-order messages, the Byzantine protocol is initiated. In smaller scenarios and using an optimistic approach, the protocol has a better throughput than Tazio.
最近,研究人员对使用分布式软件事务性内存(STM)进行并发控制的兴趣越来越大。然而,对于某些类型的容错,如拜占庭容错(BFT),很少有讨论。本文的重点是在使用STM的乐观处理中容忍拜占庭错误。其结果是一个名为OB-STM的算法。事务处理以一种乐观的方式运行,这得益于在本地网络(LAN)上使用可靠多播时消息按顺序传递的高概率。当消息按顺序传递时,该协议具有更好的性能。在恶意复制或乱序消息的情况下,启动拜占庭协议。在较小的场景和使用乐观方法时,该协议具有比Tazio更好的吞吐量。
{"title":"OB-STM: An Optimistic Approach for Byzantine Fault Tolerance in Software Transactional Memory","authors":"T. A. Ribeiro, L. Lung, Hylson Vescovi Netto","doi":"10.1109/SBESC.2013.31","DOIUrl":"https://doi.org/10.1109/SBESC.2013.31","url":null,"abstract":"Recently, researchers have shown an increased interest in concurrency control using distributed Software Transactional Memory (STM). However, there has been little discussion about certain types of fault tolerance, such as Byzantine Fault Tolerance (BFT), for kind of systems. The focus of this paper is on tolerating byzantine faults on optimistic processing of transactions using STM. The result is an algorithm named OB-STM. The processing of a transaction runs with an optimistic approach, benefiting from the high probability of messages being delivered in order when using Reliable Multicast on a local network (LAN). The protocol has a better performs when messages are delivered ordered. In case of a malicious replica or out-of-order messages, the Byzantine protocol is initiated. In smaller scenarios and using an optimistic approach, the protocol has a better throughput than Tazio.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134118557","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
Model-Driven Development of WSN Applications WSN应用的模型驱动开发
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.27
L. Becker, F. Basso, A. A. Fröhlich, A. R. Paulon
Wireless Sensor Networks (WSNs) are rapidly becoming a necessary tool in many different application areas, such as environmental monitoring, security, safety, and so on. The heterogeneity of hardware is large, so there exists several different environments that support WSN programming. However, the great majority of such environments only target the sensors programming, forgetting about their real intent: the application. In this paper we propose an approach to satisfy the need of high level development methods in WSN applications, aiming to provide a clear link between the modeled WSN constraints and the programming entities. An important part of this proposal is the so-called WiSeN Profile, an UML profile devoted for WSN applications design in a Model-Drivel Development (MDD) paradigm.
无线传感器网络(WSNs)正迅速成为许多不同应用领域的必备工具,如环境监测、安防、安全等。硬件的异构性很大,因此存在几种不同的支持WSN编程的环境。然而,绝大多数这样的环境只针对传感器编程,而忘记了它们的真正意图:应用程序。本文提出了一种满足WSN应用中高层次开发方法需求的方法,旨在提供建模的WSN约束与编程实体之间的清晰联系。该建议的一个重要部分是所谓的WiSeN概要文件,这是一个UML概要文件,专门用于在模型驱动开发(MDD)范例中设计WSN应用程序。
{"title":"Model-Driven Development of WSN Applications","authors":"L. Becker, F. Basso, A. A. Fröhlich, A. R. Paulon","doi":"10.1109/SBESC.2013.27","DOIUrl":"https://doi.org/10.1109/SBESC.2013.27","url":null,"abstract":"Wireless Sensor Networks (WSNs) are rapidly becoming a necessary tool in many different application areas, such as environmental monitoring, security, safety, and so on. The heterogeneity of hardware is large, so there exists several different environments that support WSN programming. However, the great majority of such environments only target the sensors programming, forgetting about their real intent: the application. In this paper we propose an approach to satisfy the need of high level development methods in WSN applications, aiming to provide a clear link between the modeled WSN constraints and the programming entities. An important part of this proposal is the so-called WiSeN Profile, an UML profile devoted for WSN applications design in a Model-Drivel Development (MDD) paradigm.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121575984","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
Quality Impact on Software Performance 质量对软件性能的影响
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.30
U. Corrêa, L. F. Millani, A. C. S. Beck, L. Carro
Nowadays, market needs pose novel challenges to computer science requiring increasingly computational capacity to deal with more and more complex applications. Embedded systems represent a large slice of these new complex systems. This scenario promoted the employment of advanced hardware platforms on embedded systems. However, embedded software development has not progressed at the same pace. Although high-level technologies have been employed in embedded development it still lacks of understanding about their impact on physical constraints, which are extremely important on embedded domain. This paper analyzes Object Oriented (OO) and procedural implementations running on different processor organizations. We demonstrate that for the future embedded processors the gains of the old-fashioned procedural code over OO code do not justifies the risks of delayed time-to-market.
如今,市场需求对计算机科学提出了新的挑战,需要越来越多的计算能力来处理越来越复杂的应用。嵌入式系统代表了这些新的复杂系统的很大一部分。这种情况促进了在嵌入式系统上采用先进的硬件平台。然而,嵌入式软件开发并没有以同样的速度发展。尽管在嵌入式开发中已经采用了高级技术,但对它们对物理约束的影响仍然缺乏了解,而物理约束在嵌入式领域中是极其重要的。本文分析了在不同处理器组织上运行的面向对象(OO)和过程实现。我们证明,对于未来的嵌入式处理器来说,老式过程代码比面向对象代码的优势并不能证明延迟上市时间的风险是合理的。
{"title":"Quality Impact on Software Performance","authors":"U. Corrêa, L. F. Millani, A. C. S. Beck, L. Carro","doi":"10.1109/SBESC.2013.30","DOIUrl":"https://doi.org/10.1109/SBESC.2013.30","url":null,"abstract":"Nowadays, market needs pose novel challenges to computer science requiring increasingly computational capacity to deal with more and more complex applications. Embedded systems represent a large slice of these new complex systems. This scenario promoted the employment of advanced hardware platforms on embedded systems. However, embedded software development has not progressed at the same pace. Although high-level technologies have been employed in embedded development it still lacks of understanding about their impact on physical constraints, which are extremely important on embedded domain. This paper analyzes Object Oriented (OO) and procedural implementations running on different processor organizations. We demonstrate that for the future embedded processors the gains of the old-fashioned procedural code over OO code do not justifies the risks of delayed time-to-market.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125212670","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
Phase Cyclical Process Requirements for the Development of Embedded Systems 嵌入式系统开发的阶段循环过程需求
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.26
Magda Aparecida Silverio Miyashiro, M. Ferreira
Continuously Software Engineering seeks to increase the quality of all kinds of software products, however these different types have different characteristics that need to be observed also in a different way. Currently, the major concern is with the quality of Embedded Computing Systems, as they are a classification of software that are strongly present in our daily lives and often without notice. The greatest feature of such systems is the ability to perform extremely important tasks with little computational resource. In general, such systems have restrictions on development and operation, they require specific requirements. To ensure its functioning in its development, we need to use processes with defined procedures to identify these features. This article presents part of a study being carried out to develop a process framework covering all phases of the development process of embedded systems, organized into phases, activities and document templates that induce developers to carry out the good practices suggested by quality models. It is understood by development, all activities related either to new components or reuse.
软件工程不断地寻求提高各种软件产品的质量,然而,这些不同类型的软件具有不同的特征,需要以不同的方式来观察。目前,主要关注的是嵌入式计算系统的质量,因为它们是一种软件分类,在我们的日常生活中非常普遍,而且经常没有注意到。这种系统的最大特点是能够用很少的计算资源执行极其重要的任务。一般来说,这样的系统在开发和操作上有限制,它们需要特定的需求。为了确保其在开发过程中的功能,我们需要使用带有已定义过程的过程来识别这些特性。本文介绍了正在进行的一项研究的一部分,该研究旨在开发一个过程框架,该框架涵盖嵌入式系统开发过程的所有阶段,组织成阶段、活动和文档模板,以诱导开发人员执行质量模型所建议的良好实践。它被开发所理解,所有与新组件或重用相关的活动。
{"title":"Phase Cyclical Process Requirements for the Development of Embedded Systems","authors":"Magda Aparecida Silverio Miyashiro, M. Ferreira","doi":"10.1109/SBESC.2013.26","DOIUrl":"https://doi.org/10.1109/SBESC.2013.26","url":null,"abstract":"Continuously Software Engineering seeks to increase the quality of all kinds of software products, however these different types have different characteristics that need to be observed also in a different way. Currently, the major concern is with the quality of Embedded Computing Systems, as they are a classification of software that are strongly present in our daily lives and often without notice. The greatest feature of such systems is the ability to perform extremely important tasks with little computational resource. In general, such systems have restrictions on development and operation, they require specific requirements. To ensure its functioning in its development, we need to use processes with defined procedures to identify these features. This article presents part of a study being carried out to develop a process framework covering all phases of the development process of embedded systems, organized into phases, activities and document templates that induce developers to carry out the good practices suggested by quality models. It is understood by development, all activities related either to new components or reuse.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124188034","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
Survey of Memory Optimization Techniques for Embedded Systems 嵌入式系统内存优化技术综述
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.35
L. Oliveira, J. Mattos, L. Brisolara
Memory systems have been pointed out as a main source to the performance and power consumption of embedded software. Embedded systems require low-power consumption, so becomes interesting investigate memory optimization techniques for these systems. There are many techniques in the literature to reduce power/energy consumption and execution time of embedded systems. This work revises and discusses these techniques focusing on hardware and software optimizations.
存储系统已被指出是影响嵌入式软件性能和功耗的主要来源。嵌入式系统需要低功耗,因此研究这些系统的内存优化技术变得很有趣。文献中有许多技术可以降低嵌入式系统的功耗/能耗和执行时间。本文对这些技术进行了修订和讨论,重点关注硬件和软件优化。
{"title":"Survey of Memory Optimization Techniques for Embedded Systems","authors":"L. Oliveira, J. Mattos, L. Brisolara","doi":"10.1109/SBESC.2013.35","DOIUrl":"https://doi.org/10.1109/SBESC.2013.35","url":null,"abstract":"Memory systems have been pointed out as a main source to the performance and power consumption of embedded software. Embedded systems require low-power consumption, so becomes interesting investigate memory optimization techniques for these systems. There are many techniques in the literature to reduce power/energy consumption and execution time of embedded systems. This work revises and discusses these techniques focusing on hardware and software optimizations.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117105738","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
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models 时间Petri网模型单步和最大步语义实时调度问题分析
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.45
R. Freitas, R. Barreto, P. Maciel
One of the most intricate problem in the synthesis of hard real-time systems is the scheduling. There are two general approaches for scheduling tasks in real-time systems: runtime or pre-runtime scheduling. However, there are situations where the runtime approach does not find a feasible schedule even if such a schedule exists. This situation generally occurs when the task model imposes arbitrary intertask relations, such as precedence and exclusion relations. However, finding a feasible schedule is not trivial, because this problem is NP-Hard in its general form. The approach proposed in this paper models real-time systems using time Petri nets, and finds a pre-runtime scheduling, provided that one exists, using a depth-first search method adopting two kinds of firing rules: single and maximal step semantics. The main aim of this paper is to compare both semantics in the context of embedded hard real-time pre-runtime scheduling.
硬实时系统综合中最复杂的问题之一是调度问题。在实时系统中有两种通用的任务调度方法:运行时调度或运行前调度。然而,在某些情况下,即使存在可行的计划,运行时方法也找不到可行的计划。这种情况通常发生在任务模型强加任意任务间关系时,例如优先级和排除关系。然而,找到一个可行的时间表并非易事,因为这个问题在其一般形式下是NP-Hard。该方法利用时间Petri网对实时系统进行建模,并利用采用单步和最大步语义两种触发规则的深度优先搜索方法,在存在预运行调度的情况下,找到一个预运行调度。本文的主要目的是比较这两种语义在嵌入式硬实时预运行时调度环境下的区别。
{"title":"Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models","authors":"R. Freitas, R. Barreto, P. Maciel","doi":"10.1109/SBESC.2013.45","DOIUrl":"https://doi.org/10.1109/SBESC.2013.45","url":null,"abstract":"One of the most intricate problem in the synthesis of hard real-time systems is the scheduling. There are two general approaches for scheduling tasks in real-time systems: runtime or pre-runtime scheduling. However, there are situations where the runtime approach does not find a feasible schedule even if such a schedule exists. This situation generally occurs when the task model imposes arbitrary intertask relations, such as precedence and exclusion relations. However, finding a feasible schedule is not trivial, because this problem is NP-Hard in its general form. The approach proposed in this paper models real-time systems using time Petri nets, and finds a pre-runtime scheduling, provided that one exists, using a depth-first search method adopting two kinds of firing rules: single and maximal step semantics. The main aim of this paper is to compare both semantics in the context of embedded hard real-time pre-runtime scheduling.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132510440","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
Integration of Wireless Sensor Networks to the Internet of Things Using a 6LoWPAN Gateway 使用6LoWPAN网关将无线传感器网络集成到物联网
Pub Date : 2013-11-04 DOI: 10.1109/SBESC.2013.37
L. Schrickte, C. Montez, R. S. Oliveira, A. R. Pinto
The Internet of Things is a new paradigm where smart embedded devices and systems are connected to the Internet. In this context, Wireless Sensor Networks (WSN) are becoming an important alternative for sensing and actuating critical applications like industrial automation, remote patient monitoring and domotics. The IEEE 802.15.4 protocol has been adopted as a standard for WSN and the 6LoWPAN protocol has been proposed to overcome the challenges of integrating WSN and Internet protocols. In this paper, the mechanisms of header compression and fragmentation of IPv6 datagrams proposed in the 6LoWPAN standard were evaluated through field experiments using a gateway prototype and IEEE 802.15.4 nodes.
物联网是一种将智能嵌入式设备和系统连接到互联网的新范式。在这种情况下,无线传感器网络(WSN)正在成为传感和驱动关键应用的重要替代方案,如工业自动化,远程患者监测和家庭生活。采用IEEE 802.15.4协议作为WSN的标准,并提出了6LoWPAN协议来克服WSN与Internet协议集成的挑战。本文通过网关原型和IEEE 802.15.4节点的现场实验,对6LoWPAN标准中提出的IPv6数据报的报头压缩和分片机制进行了评估。
{"title":"Integration of Wireless Sensor Networks to the Internet of Things Using a 6LoWPAN Gateway","authors":"L. Schrickte, C. Montez, R. S. Oliveira, A. R. Pinto","doi":"10.1109/SBESC.2013.37","DOIUrl":"https://doi.org/10.1109/SBESC.2013.37","url":null,"abstract":"The Internet of Things is a new paradigm where smart embedded devices and systems are connected to the Internet. In this context, Wireless Sensor Networks (WSN) are becoming an important alternative for sensing and actuating critical applications like industrial automation, remote patient monitoring and domotics. The IEEE 802.15.4 protocol has been adopted as a standard for WSN and the 6LoWPAN protocol has been proposed to overcome the challenges of integrating WSN and Internet protocols. In this paper, the mechanisms of header compression and fragmentation of IPv6 datagrams proposed in the 6LoWPAN standard were evaluated through field experiments using a gateway prototype and IEEE 802.15.4 nodes.","PeriodicalId":359419,"journal":{"name":"2013 III Brazilian Symposium on Computing Systems Engineering","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130302994","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}
引用次数: 14
期刊
2013 III Brazilian Symposium on Computing Systems Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1