检索结果-内蒙古大学图书馆

10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016

作者： Maalej, Afef Jmal Krichen, Moez Research Laboratory of Development and Control of Distributed Applications National School of Engineers of Sfax University of Sfax SfaxBP 1173 Tunisia

We propose a new model-based framework to combine functional and load tests for service oriented architectures. The new framework is based on the model of extended timed automata with inputs/ ouputs and shared integer variables. A test generation algorithm to produce analog-clock tests is proposed. To illustrate our approach, we report on a case study from the field of load balancing based architectures for BPEL compositions.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

A distributed and Flexible Architecture for Internet of Things

引用

Procedia Computer Science 2015年 73卷 130-137页

作者： Ghofrane Fersi Research Laboratory of Development and Control of Distributed Applications (ReDCAD) Department of Computer Science and Applied Mathematics National School of Engineers of S BP 1173-3038 Sfax: University of Sfax. Tunisia

The great breakthrough in technological devices has lead to the migration of actual Internet to the Internet of Things. There are merely trillions of smart dynamic objects that will be connected to the Internet and that interact and collaborate together independently from any physical location. This progress necessitates the proposal of an adequate architecture and routing process. In this paper, we propose a novel design and overlay architecture that fulfills the Internet of Things requirements. This approach is mainly based on distributed Hash Table protocols to afford the required flexiblity and to handle efficiently mobility and churn cases. We present also a formal study that proves the efficiency of our proposed architecture.

关键词： Internet of Things architecture design DHT

来源：评论

学校读者我要写书评

暂无评论

Q-learning-based data replication for highly dynamic distributed hash tables

Q-learning-based data replication for highly dynamic distrib...

引用

2014 International Conference on the Network of the Future, NOF 2014

作者： Feki, Souhir Louati, Wassef Masmoudi, Nadia Jmaiel, Mohamed Research Laboratory on Development and Control of Distributed Applications Department of Computer Science and Applied Mathematics National School of Engineering of Sfax University of Sfax Tunisia

ISBN: (纸本)9781479975310

This paper focuses on data replication in structured peer-to-peer systems over highly dynamic networks. A Q-learning-based replication approach is proposed. Data availability is periodically computed using the Q-learning function. The reward/penalty property of this function attenuates the impact of the network dynamism on the replication overhead. Hence, the departure of a node does not necessarily lead to the addition of a replica in the network. The replication process is triggered according to the overall data availability. Simulation results proved that the proposed approach ensures data availability in dynamic environments with minimum data transfer costs. © 2014 IEEE.

关键词： Data transfer

来源：评论

学校读者我要写书评

暂无评论

Time Estimation of a Ring-based Bootstrapping Protocol in Wireless Sensor Networks

Time Estimation of a Ring-based Bootstrapping Protocol in Wi...

引用

International Conference on Smart Communications in Network Technologies

作者： Ghofrane FERSI Wassef LOUATI Maher BEN JEMAA Research Unit of Development and Control of Distributed Applications (ReDCAD) Department of Computer Science and Applied Mathematics

ISBN: (纸本)9781479906956

Bootstrapping is one of the most crucial issues in Wireless Sensor Networks (WSN) especially at the case of ring-based protocols where all the nodes should be placed into one global consistent ring. Recent approaches are unable to form directly one global ring. They form as a first step multiple rings, then add an additional step to fuse all the rings into one global consistent ring. We have proposed in a recent work a solution that avoids the formation of separated rings and forms directly one global consistent ring by orchestrating the nodes joining process and avoiding concurrent joining. In this paper, we investigate the following problem: Since our bootstrapping approach has multiple sequential steps whose durations are ensured by timers, we should estimate the maximal duration of each step in order to optimize the total time needed to reach the steady state.

关键词： Bootstrapping Time estimation Ring-based protocol Wireless Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

The optimal transmitting power in randomly deployed heterogeneous Wireless Sensor Networks for predetermined average node degree

The optimal transmitting power in randomly deployed heteroge...

引用

International Wireless Communications and Mobile Computing Conference, IWCMC

作者： Ghofrane Fersi Wassef Louati Maher Ben Jemaa Research Unit of Development and Control of Distributed Applications (ReDCAD) Department of Computer Science and Applied Mathematics National School of Engineers of Sfax University of Sfax Sfax Tunisia

Radio communications are the most important sources of energy consumption in Wireless Sensor Networks (WSN). Optimizing the sensors transmitting power with keeping the required nodes average degree preserves significantly the sensors energy. In this paper, we analyze the optimal transmitting power needed by each sensor to reach a given average node degree in heterogeneous WSN. The problem that we aim solving in this paper is the following: given a set of heterogeneous sensors having various capabilities: weak nodes and strong nodes that are scattered randomly in a field according to a Poisson Point Process with densities λ 1 and λ 2 respectively. What is the optimal transmitting power needed by each sensor to ensure k-average degree? We investigate also a related problem: What has the most important effect on weak nodes transmitting power: The quantity of the strong nodes or their quality in terms of energy supply? Our analytical study has been validated with Monte-Carlo simulations.

关键词： Sensors Wireless sensor networks Energy consumption Mathematical model Equations Mobile ad hoc networks Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems

Test Isolation Policy for Safe Runtime Validation of Evolvab...

引用

IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises

作者： Mariam Lahami Moez Krichen Research Unit of Development and Control of Distributed Applications National School of Engineering of Sfax University of Sfax

ISBN: (纸本)9781479904051

Runtime testing of dynamically evolvable systems is known as a complex and challenging activity. Undesired side effects may be introduced as the interference between test cases and business functionalities of the components under test. To handle such problem, test isolation strategies are used to execute runtime tests safely. In this proposal, we discuss the need to adapt the well known test isolation mechanisms to cope with heterogeneity of the components under test. For doing this, we define a Test Isolation Policy that produces the suitable test isolation solution depending on the testability degree of each component under test. We show its usefulness by the means of a case study in the healthcare domain, called Teleservices and Remote Medical Care System (TRMCS). Some experiments are carried out to show the efficiency of our approach and the low overhead it introduces.

关键词： Evolvable systems Safe validation Runtime testing Test isolation strategies

来源：评论

学校读者我要写书评

暂无评论

WSCLT: A Tool for WS-BPEL Compositions Load Testing

WSCLT: A Tool for WS-BPEL Compositions Load Testing

引用

IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises

作者： Afef Jmal Maalej Manel Hamza Moez Krichen Research Unit of Development and Control of Distributed Applications National School of Engineers of Sfax University of Sfax

ISBN: (纸本)9781479904051

This paper addresses the load testing of WS-BPEL compositions. For that, we developed WSCLT tool, which takes as input a specification of the composition under test, expressed as a Timed Automaton, and considers various parameters such as the number of requests to handle simultaneously. Our WSCLT tool injects this load in the application and monitors the sequence of requests, invocations and responses between the components. This log is then analyzed by the tool to separate the actions corresponding to each instance and to check that they follow legitimate paths. A global report is then issued regarding all concurrent instances. We illustrate how to use our prototype tool by means of a case study.

关键词： WS-BPEL compositions Timed Automaton Load testing Log analysis

来源：评论

学校读者我要写书评

暂无评论

Semantic Modeling and Reasoning at Runtime for Autonomous Systems Engineering

Semantic Modeling and Reasoning at Runtime for Autonomous Sy...

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC

作者： Tarak Chaari Kaouthar Fakhfakh Research Unit for Development and Control of Distributed Applications (ReDCAD) National Engineering School of Sfax (ENIS) University of Sfax Tunisia

Autonomous computing has two main objectives: (i) making systems aware about their state and their environment and (ii) making them able to automatically actualize their behavior according to any relevant internal or external event. This paper describes a novel and dynamic approach to assist software developers and designers in building autonomous systems. Our approach offers a dynamic platform to deploy software components and automatically control them at runtime according to a continuously updated knowledge about their state and their runtime environment. This knowledge is automatically maintained by semantic models that keep the system aware about its state and its environment. Autonomous systems designers can edit these models at runtime to inject extra knowledge without disrupting the execution of the deployed components. Moreover, this platform facilitates the implementation of autonomous self-properties by defining semantic rules that (i) reason on the captured knowledge about the system environment and state at one hand and (ii) apply self-adaptive actions on the system components on the other hand. Our platform, entitled Automatic and Semantic OSGi control (ASOC), combines the high dynamicity of OSGi and the power of semantic inferences to offer better situation analysis and self-adaptation results in autonomous systems.

关键词： Ontologies Semantics Context Context modeling Runtime Monitoring Data models

来源：评论

学校读者我要写书评

暂无评论

Model-based conformance testing of WS-BPEL compositions

Model-based conformance testing of WS-BPEL compositions

引用

36th Annual IEEE International Computer Software and applications Conference Workshops, COMPSACW 2012

作者： Maâlej, Afef Jmal Krichen, Moez Jmaïel, Mohamed Research Unit of Development and Control of Distributed Applications National School of Engineers of Sfax University of Sfax BP 1173 3038 Sfax-Tunisia Tunisia

ISBN: (纸本)9780769547589

We propose in this paper a new approach for conformance testing of WS-BPEL compositions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing architecture and an algorithm for online test generation and execution. We also implemented our solution in the form of a prototype tool named WSCCT. © 2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems

Towards a TTCN-3 test system for runtime testing of adaptabl...

引用

24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012

作者： Lahami, Mariam Fakhfakh, Fairouz Krichen, Moez Jmaiel, Mohamed Research Unit of Development and Control of Distributed Applications National School of Engineering of Sfax University of Sfax Sokra Road km 4 Sfax Tunisia

ISBN: (纸本)9783642346903

Today, adaptable and distributed component based systems need to be checked and validated in order to ensure their correctness and trustworthiness when dynamic changes occur. Traditional testing techniques can not be used since they are applied during the development phase. Therefore, runtime testing is emerging as a novel solution for the validation of highly dynamic systems at runtime. In this paper, we illustrate how a platform independent test system based on the TTCN-3 standard can be used to execute runtime tests. The proposed test system is called TT4RT: TTCN-3 test system for Runtime Testing. A case study in the telemedicine field is used as an illustration to show the relevance of the proposed test system. © 2012 IFIP International Federation for Information Processing.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：