Int. J. Networked Distributed Comput.最新文献_第8页

On Design-time Modelling and Verification of Safety-critical Component-based Systems 基于安全关键部件的系统设计时建模与验证研究

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.7

N. Kajtazovic, C. Preschern, Andrea Höller, Christian Kreiner

{"title":"On Design-time Modelling and Verification of Safety-critical Component-based Systems","authors":"N. Kajtazovic, C. Preschern, Andrea Höller, Christian Kreiner","doi":"10.2991/ijndc.2014.2.3.7","DOIUrl":"https://doi.org/10.2991/ijndc.2014.2.3.7","url":null,"abstract":"Component-based Software Engineering (CBSE) is currently a key paradigm used for developing safetycritical systems. It provides a fundamental means to master systems complexity, by allowing to design systems parts (i.e., components) for reuse and by allowing to develop those parts independently. One of the main challenges of introducing CBSE in this area is to ensure the integrity of the overall system after building it from individual components, since safety-critical systems require a rigorous development and qualification process to be released for the operation. Although the topic of compositional modelling and verification in the context of component-based systems has been studied intensively in the last decade, there is currently still a lack of tools and methods that can be applied practically and that consider major related systems quality attributes such as usability and scalability. In this paper, we present a novel approach for design-time modelling and verification of safety-critical systems, based on data semantics of components. We describe the composition, i.e., the systems design, and the underlying properties of components as a Constraint Satisfaction Problem (CSP) and perform the verification by solving that problem. We show that CSP can be successfully applied for the verification of compositions for many types of properties. In our experimental setup we also show how the proposed verification scales with regard to the complexity of different system configurations.","PeriodicalId":318936,"journal":{"name":"Int. J. Networked Distributed Comput.","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124317252","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

Comparative Study of SWST (Simple Weighted Spanning Tree) and EAST (Energy Aware Spanning Tree) 简单加权生成树(SWST)与能量感知生成树(EAST)的比较研究

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.4

L. McLauchlan, Soumya Saha, R. Challoo

{"title":"Comparative Study of SWST (Simple Weighted Spanning Tree) and EAST (Energy Aware Spanning Tree)","authors":"L. McLauchlan, Soumya Saha, R. Challoo","doi":"10.2991/ijndc.2014.2.3.4","DOIUrl":"https://doi.org/10.2991/ijndc.2014.2.3.4","url":null,"abstract":"Wireless Sensors Networks (WSNs) are utilized in many diverse applications ranging from security, environmental monitoring, landslide detection, patient monitoring, reconnaissance operations, structural health monitoring and smart buildings. Since in many applications the WSN nodes are randomly deployed, WSNs need to be able to arrange and self-organize. Nodes in WSNs generally possess low or limited power resources such as batteries. Energy utilization thus is an important design consideration for WSN deployment. There have been many energy aware protocols proposed in the literature to increase the longevity of the network. Recently, two novel Connected Dominating Set (CDS) based topology construction (TC) protocols- SWST (Simple Weighted Spanning Tree) and EAST (Energy Aware Spanning Tree), have been proposed which aim to balance the load among the nodes of the network and thus to reduce the probability of dying for a particular node. The SWST and EAST protocols aim to reduce the number of broken links that may have been caused by a single node becoming dead or comatose in the communication backbone of the network. In this paper, a comparative study of the SWST and EAST algorithms is conducted to evaluate the performance of the two algorithms. From the MATLAB simulations it was observed that the EAST protocol generally performs better than the SWST algorithms in delivering messages to the sink node.","PeriodicalId":318936,"journal":{"name":"Int. J. Networked Distributed Comput.","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116673216","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

Efficient Security and Privacy Protection for Emerging Smart RFID Communications 新兴智能RFID通信的高效安全和隐私保护

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.5

M. Sadikin, M. Kyas

引用次数: 5

Test Image Generation using Segmental Symbolic Evaluation 使用分段符号求值的测试图像生成

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.3

Tahir Jameel, Mengxiang Lin

引用次数: 4

One-D-R-A-G-SOM and its Application to a Hand Shape Instruction Learning System One-D-R-A-G-SOM及其在手部造型教学系统中的应用

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.6

T. Kuremoto, T. Otani, S. Mabu, M. Obayashi, Kunikazu Kobayashi

引用次数: 0

Issues in Efficiency for Distributed and Networking Systems 分布式和网络系统的效率问题

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.1

Jung-Yeon Jo

引用次数: 0

Comparative Study of Various Wireless Sensor Network (WSN) Topology Construction Protocols 各种无线传感器网络(WSN)拓扑构建协议的比较研究

Int. J. Networked Distributed Comput. Pub Date : 2014-08-01 DOI: 10.2991/ijndc.2014.2.3.8

L. McLauchlan, Soumya Saha, C. Montiel, R. Challoo

引用次数: 2

Multi-Objective Optimization for Milling Operations using Genetic Algorithms under Various Constraints 基于遗传算法的多种约束条件下铣削作业多目标优化

Int. J. Networked Distributed Comput. Pub Date : 2014-04-01 DOI: 10.2991/ijndc.2014.2.2.5

Li-Bao An, Peiqing Yang, Hong Zhang, Ming-Ying Chen

引用次数: 9

On a Drawing-Frequency based Layered Canvas Mechanism for Collaborative Paper Editing Support Systems 协同论文编辑支持系统中基于绘图频率的分层画布机制研究

Int. J. Networked Distributed Comput. Pub Date : 2014-04-01 DOI: 10.2991/ijndc.2014.2.2.3

Shin-Ya Katayama, Takushi Goda, Shun Shiramatsu, Tadachika Ozono, T. Shintani

引用次数: 4

On Dynamic Multicast Traffic Provisioning with Grooming Capabilities Support in Light-Trail Networks 轻轨网络中支持疏导功能的动态组播流量配置研究

Int. J. Networked Distributed Comput. Pub Date : 2013-11-01 DOI: 10.2991/ijndc.2013.1.4.5

Chingfang Hsu, T. Tang

{"title":"On Dynamic Multicast Traffic Provisioning with Grooming Capabilities Support in Light-Trail Networks","authors":"Chingfang Hsu, T. Tang","doi":"10.2991/ijndc.2013.1.4.5","DOIUrl":"https://doi.org/10.2991/ijndc.2013.1.4.5","url":null,"abstract":"In recent years, because of the popularity of Internet and the rapid growth of multimedia applications, the requirements of bandwidth from users increase violently in optical networks. Various multicast multimedia services also bring challenges to next generation optical networks. As the rapid advance of DWDM, the bandwidth of a single fiber link is significantly improved. However, the traditional circuit switching architecture, lightpath, has the disadvantage with lower bandwidth utilization of a single wavelength. Light-trail has been proposed as an efficient solution to support optical networks. Compared with lightpath approach, a light-trail can achieve fast provisioning for multiple connections without optical switching. The support of sub-wavelength granularity in light-trial network increases the utilization of wavelength bandwidth effectively. The most distinctive feature is that light-trail allows multiple node access, so it possesses natural multicasting capability inherently. In a light-trail, the single send by one node will be received by the downstream nodes. In other words, light-trail has the advantage of natural multicasting. Furthermore, incorporating traffic grooming into light-trail, it can obviously become a strong candidate to support multicasting and multi-granularity bandwidth demands in the future. In this article, we propose a dynamic multicast routing algorithm with traffic grooming consideration in light-trail networks, named Dynamic Light-Trail-based Multicast Routing algorithm (DLTMR). For static traffic, we use a set of ILP formulations to calculate the optimal solution for minimizing the number of established light-trails. In the simulation, we use various network topologies and variant limitation of network resource to verify that DLTMR can efficiently improve blocking performance in the light-trail networks.","PeriodicalId":318936,"journal":{"name":"Int. J. Networked Distributed Comput.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122748427","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