Resultados de búsqueda para Software defined networks

La aparición del Internet de las cosas (IoT) ha atraído el interés de industria y academia para su aplicación en dominios intensivos, como la salud. Esta clase de aplicaciones tienen requisitos estrictos de calidad de servicio (QoS), lo que motiva el uso de paradigmas como edge o fog computing. Las redes definidas por sofware, junto a las arquitecturas de microservicios, permiten el uso de dichos paradigmas proveyendo virtualización, flexibilidad y programabilidad a las aplicaciones IoT distribuidas. Sin embargo, para cumplir los estrictos requisitos de estas aplicaciones, la QoS debe optimizarse considerando la interacción de tres dimensiones: computación, red y aplicación. En este trabajo presentamos el framework Despliegue Óptimo de Aplicaciones Distribuidas, que optimiza la localización de microservicios y recursos de red en términos de tiempo de respuesta y coste del despliegue.

Alloy is both a modelling and specifying language of software systems, and a tool to automatically check the consistency of descriptions. Alloy uses sets and set relations to describe the high-level structure of systems, and a first-order relational logic to enrich models with more specific properties. A similar methodology is followed by software engineers when using OCL to complete the UML descriptions with more detailed features that improve the specifications. Alloy is able to construct and analyze the consistency of static specifications of complex systems, producing snapshots of possible model instances. In addition,Alloy can also describe dynamic specifications that show how the system may evolve over time when executing transitions. In this tutorial, we present the main features of the language and illustrate them by means of an example consisting in the specification and modelling of Software-Defined Networks. The example is sufficiently complex to permit the use of the most significant Alloy constructors.