An Architectural Approach to the Design and Analysis of Cyber-Physical Systems

This paper presents an extension of existing software architecture tools to model physical systems, their interconnections, and the interactions between physical and cyber components. A new CPS architectural style is introduced to support the principled design and evaluation of alternative architectures for cyber-physical systems (CPSs). The implementation of the CPS architectural style in AcmeStudio includes behavioral annotations on components and connectors using either finite state processes (FSP) or linear hybrid automata (LHA) with plug-ins to perform behavior analysis using the Labeled Transition System Analyzer (LTSA) or Polyhedral Hybrid Automata Verifier (PHAVer), respectively. The CPS architectural style and analysis plug-ins are illustrated with an example

Towards architecture-level middleware-enabled exception handling of component-based systems

Exception handling is a practical and important way to improve the availability and reliability of a component-based system. The classical code-level exception handling approach is usually applied to the inside of a component, while some exceptions can only or properly be handled outside of the components. In this paper, we propose a middleware-enabled approach for exception handling at architecture level. Developers specify what exceptions should be handled and how to handle them with the support of middleware in an exception handling model, which is complementary to software architecture of the target system. This model will be interpreted at runtime by a middleware-enabled exception handling framework, which is responsible for catching and handling the specified exceptions mainly based on the common mechanisms provided by the middleware. The approach is demonstrated in JEE application servers and benchmarks. ? 2011 ACM.EI

Diseño e implementación de un navegador de conceptos enlazados en el dominio de Ciencias de la computación

En la actualidad, la World Wide Web es una de las fuentes principales de información, siendo un espacio que se encuentra en constante crecimiento, puesto que cada vez mas personas cuentan con acceso a internet. Sin embargo, esto genera múltiples problemas entre los que podemos mencionar como la duplicidad de información, que dificulta la búsqueda de información relevante a los usuarios, quienes utilizan herramientas como motores de búsqueda para esta tarea. Ante esta situación surgió la Web Semántica, extensión de la Web tradicional, en donde la información es comprensible tanto para las personas como para las máquinas. Para publicar información en este espacio existen un conjunto de prácticas conocido como Linked Data, que permiten que la información se estructure según su significado y relación entre los datos que la componen, lo que facilita la labor de búsqueda y permite el descubrimiento de nueva información, generando valor a usuarios como investigadores, que constantemente se encuentran en búsqueda de conocimientos. Toda la información en constante crecimiento contenida en la Web Semántica puede ser accedida simplemente mediante navegadores convencionales; sin embargo, esta se encuentra en su mayoría en formato RDF, por lo que el usuario común no podrá comprender su contenido. Para que la información pueda ser de utilidad, se necesitan conocimientos en conceptos como RDF y XML, lo que limita gran parte del potencial actual de la Web Semántica a los especialistas en dicha área. El presente proyecto implementa un navegador de Linked Data, mediante el cual los usuarios pueden consultar información en el dominio de las ciencias de la computación, dicha información es obtenida de la Web Semántica, permitiendo el descubrimiento de información relevante, contribuyendo así a la expansión de dicha tecnología, que busca unificar y estructurar toda la información contenida en la web. Para la elaboración del proyecto, se implementó un módulo de procesamiento de consultas, en donde el usuario ingresa una cadena de búsqueda, al igual que en un motor de búsqueda tradicional y mediante esta cadena se obtienen posibles propiedades, que son enviadas a manera de consultas en lenguaje SPARQL, a partir de cuyos resultados se construyen estructuras RDFs que muestran los conceptos y la información presentada en una interfaz gráfica para que el usuario pueda visualizarla y navegar a través de dichos conceptos, permitiendo el descubrimiento de información relevante.Tesi

Security properties of self-similar uniformly parameterised systems of cooperations

Abstract-Uniform parameterisations of cooperations are defined in terms of formal language theory, such that each pair of partners cooperates in the same manner, and that the mechanism (schedule) to determine how one partner may be involved in several cooperations, is the same for each partner. Generalising each pair of partners cooperating in the same manner, for such systems of cooperations a kind of selfsimilarity is formalised. From an abstracting point of view, where only actions of some selected partners are considered, the complex system of all partners behaves like the smaller subsystem of the selected partners. For verification purposes, so called uniformly parameterised safety properties are defined. Such properties can be used to express privacy policies as well as security and dependability requirements. It is shown, how the parameterised problem of verifying such a property is reduced by self-similarity to a finite state problem. Keywords-cooperations as prefix closed languages; abstractions of system behaviour; self-similarity in systems of cooperations; privacy policies; uniformly parameterised safety properties

Modeling Context and Dynamic Adaptations with Feature Models

International audienceSelf-adaptive and dynamic systems adapt their behavior according to the context of execution. The contextual information exhibits multiple variability factors which induce many possible configurations of the software system at runtime. The challenge is to specify the adaptation rules that can link the dynamic variability of the context with the possible variants of the system. Our work investigates the systematic use of feature models for modeling the context and the software variants, together with their inter relations, as a way to configure the adaptive system with respect to a particular context. A case study in the domain of video surveillance systems is used to illustrate the approach

Towards pattern-based reliability certification of services

On Service-Oriented Architectures (SOAs), the mechanism for run-time discovery and selection of services may conflict with the need to make sure that business process instances satisfy their reliability requirements. In this paper we describe a certification scheme based on machine-readable reliability certificates that will enable run-time negotiation. Service reliability is afforded by means of reliability patterns. Our certificates describe the reliability mechanism implemented by a service and the reliability pattern used to implement such a mechanism. Digital signature is used to associate the reliability claim contained in each certificate with the party (service supplier or accredited third-party) taking responsibility for it

A Protocol for Systematic Literature Review on Methods to handle Multiple Concerns in Architecture-Based Self-Adaptive Systems

In this study we aim to identify, and summarize current methods handling multiple concerns in self-adaptive systems. Thus, we conduct a systematic literature review, which is a well-defined method to identify and evaluate studies in a specific domain regarding a particular set of research questions (Kitchenham & Charters, 2007). By performing a systematic literature review, we obtain a fair and unbiased evaluation of selected topic using a rigorous and reliable method

A Protocol for Systematic Literature Review on Methods to handle Multiple Concerns in Architecture-Based Self-Adaptive Systems

Determina la percepción que tiene el adulto mayor respecto a la muerte en el Asilo de Ancianos Hermanas de la Caridad de San José, Junio- Agosto 2015. Material y Métodos: Se realizó un estudio de enfoque cuantitativo, tipo descriptivo, prospectivo, y de corte transversal. La población fue 65 adultos mayores y la muestra quedo constituida por 52 adultos mayores considerando los criterios de exclusión. El instrumento es el cuestionario denominado “Cuestionario para evaluar la Percepción del Adulto Mayor respecto a la muerte” elaborada por Bullon Zegarra, Catherina Virginia, y que tiene una confiabilidad de 0,7 alfa de cronbach en el año 2012, Lima. El procesamiento de los datos se realizó con el programa estadístico SPSS para la presentación e interpretación de los resultados y la prueba de chi cuadrado para comparar grupos. Resultados: La percepción del adulto mayor respecto a la muerte es medianamente desfavorable en un 57,7 %, mientras que el 36,5 % tiene una percepción medianamente favorable y solo el 5,8% tienen una percepción desfavorable Junio – Agosto 2015. Conclusiones: El mayor porcentaje de adultos mayores tiene una percepción medianamente desfavorable respecto a la muerte. Según la percepción del adulto mayor respecto a la muerte encontramos que no existen diferencias significativas según edad y sexo. Según la percepción del adulto mayor respecto a la muerte encontramos que si existe diferencia significativa según estado civil, pero no existe diferencia significativa según grado de instrucción. Según la percepción del adulto mayor respecto a la muerte encontramos que si existen diferencias significativas según frecuencia y tipo de visitas.En la tesis no se menciona el nombre del asesor