14,580 research outputs found
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture
Nowadays, smart home is extended beyond the house itself to encompass
connected platforms on the Cloud as well as mobile personal devices. This Smart
Home Extended Architecture (SHEA) helps customers to remain in touch with their
home everywhere and any time. The endless increase of connected devices in the
home and outside within the SHEA multiplies the deployment possibilities for
any application. Therefore, SHEA should be taken from now as the actual target
platform for smart home application deployment. Every home is different and
applications offer different services according to customer preferences. To
manage this variability, we extend the feature modeling from software product
line domain with deployment constraints and we present an example of a model
that could address this deployment challenge
Verifying service continuity in a satellite reconfiguration procedure: application to a satellite
The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software
A Change Execution System for Enterprise Services with Compensation Support
Modern enterprises rely on a distributed IT infrastructure to execute their business processes, adopting Service Oriented Architectures in order to improve the flexibility and ease of adaptation of their functions. Nowadays this is a vital characteristic, as the increased competition forces companies to continuously evolve and adapt. SOA applications must be supported by management and deployment systems, which have to continuously apply modifications to the distributed infrastructure. This article presents a modelbased solution for automatically applying change plans to heterogeneous enterprise managed environments. The proposed solution uses models which describe in an abstract language the changes that need to be applied to the environment, and executes all the required operations to the specific managed elements. Also, to ensure that the environment ends in a stable state, compensation for previously executed operations is supported. The validation results from a case study taken from the banking domain are also presented here
Applying Formal Methods to Networking: Theory, Techniques and Applications
Despite its great importance, modern network infrastructure is remarkable for
the lack of rigor in its engineering. The Internet which began as a research
experiment was never designed to handle the users and applications it hosts
today. The lack of formalization of the Internet architecture meant limited
abstractions and modularity, especially for the control and management planes,
thus requiring for every new need a new protocol built from scratch. This led
to an unwieldy ossified Internet architecture resistant to any attempts at
formal verification, and an Internet culture where expediency and pragmatism
are favored over formal correctness. Fortunately, recent work in the space of
clean slate Internet design---especially, the software defined networking (SDN)
paradigm---offers the Internet community another chance to develop the right
kind of architecture and abstractions. This has also led to a great resurgence
in interest of applying formal methods to specification, verification, and
synthesis of networking protocols and applications. In this paper, we present a
self-contained tutorial of the formidable amount of work that has been done in
formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial
APMEC: An Automated Provisioning Framework for Multi-access Edge Computing
Novel use cases and verticals such as connected cars and human-robot
cooperation in the areas of 5G and Tactile Internet can significantly benefit
from the flexibility and reduced latency provided by Network Function
Virtualization (NFV) and Multi-Access Edge Computing (MEC). Existing frameworks
managing and orchestrating MEC and NFV are either tightly coupled or completely
separated. The former design is inflexible and increases the complexity of one
framework. Whereas, the latter leads to inefficient use of computation
resources because information are not shared. We introduce APMEC, a dedicated
framework for MEC while enabling the collaboration with the management and
orchestration (MANO) frameworks for NFV. The new design allows to reuse
allocated network services, thus maximizing resource utilization. Measurement
results have shown that APMEC can allocate up to 60% more number of network
services. Being developed on top of OpenStack, APMEC is an open source project,
available for collaboration and facilitating further research activities
- …