Mostrando ítems 44-63 de 76

On Distributed Collaboration for Biomedical Analyses

Boujdad, Fatima-Zahra; Gaignard, Alban; Südholt, Mario; Garzón-Alfonso, Wilmer; Benavides Navarro, Luis Daniel; Redon, Richard (IEEE XploreLarnaca, Cyprus, 2019)

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
On Distributed Collaboration for Biomedical Analyses

Boujdad, Fatima-Zahra; Gaignard, Alban; Südholt, Mario; Garzón-Alfonso, Wilmer; Benavides Navarro, Luis Daniel; Redon, Richard (IEEE XploreLárnaca, Chipre., 2019)

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis

Hernandez Mediná, Martin Jose; Pinzón Hernández, Cristian Camilo; Díaz López, Daniel Orlando; Garcia Ruiz, Juan Carlos; Pinto Rico, Ricardo Andrés (Universidad Distrital Francisco José de Caldas-Facultad TecnológicaColombia, 2018)

Open source intelligence (OSINT) is used to obtain and analyze information related to adversaries, so it can support risk assessments aimed to prevent damages against critical assets. This paper presents a research about ...
Order-Sorted Equality Enrichments Modulo Axioms

Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo (SpringerBerlin., 2012)

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Rodríguez Chona, Andrés Ricardo; Patiño Arias, Andrés Mauricio; Santiago Cely, Claudia Patricia (Escuela Colombiana de IngenieríaColombia, 2016)

A lo largo de este articulo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la ...
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Rodriguez Chona, Andrés Ricardo; Patiño Arias, Andrés Mauricio; Santiago Cely, Claudia Patricia (Escuela Colombiana de Ingeniería Julio GaravitoColombia|, 2016)

A lo largo de este artículo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la ...
Proving Safety Properties of Rewrite Theories

Rocha, Camilo; Meseguer, José (SpringerBerlín, 2011)

Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...
REAL-T: Time Modularization in Reactive Distributed Applications

Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Mello, Wilson; Arboleda, Hugo (Springer NatureSwitzerland., 2018)

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
REAL-T: Time Modularization in Reactive Distributed Applications

Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Melo, Willson; Arboleda, Hugo (Springer NatureSuiza, 2018)

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo (Springer NatureSuiza, 2017)

Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...
Rewriting Logic Semantics of a Plan Execution Language

Dowek, Gilles; Muñoz, César; Rocha, Camilo (E.E.U.U., 2010)

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a ...
Rewriting modulo SMT and open system analysis

Rocha, Camilo; Meseguer, José; Muñoz, César (Elsevier, 2016)

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability ...
La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial

Chaparro Preciado, Javier Alberto; Cadavid Rengifo, Héctor Fabio (Escuela Colombiana de IngenieríaColombia, 2017)

La automatización de procesos se ha desarrollado principalmente en tareas repetitivas en el sector industrial, donde la incertidumbre tiene poca importancia. Actualmente, gracias a nuevas tecnologías que les proporcionan ...
Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM

Daniel Díaz López; Blanco Uribe, María; Santiago Cely, Claudia; Vega Torres, Andrés; Moreno Guataquira, Nicolás; Morón Castro, Stefany; Nespoli, Pantaleone; Gómez Mármol, Félix (Guest Editor: Constantinos KoliasEgiptoInglaterra, 2018)

Due to the growth of IoT (Internet of Tings) devices in diferent industries and markets in recent years and considering the currently insufcient protection for these devices, a security solution safeguarding IoT architectures ...
SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC

Cadavid-Rengifo, Héctor; Ospina Hernandez, Gerardo (Congresso Nacional de Excelência em Gestão, 2014)

Una gran parte de las pequeñas y medianas empresas Colombianas han mostrado, de acuerdo con cifras oficiales, unos muy bajos índices de supervivencia tras sus primeros años de creación. Esto es especialmente grave dado que ...
Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Rocha, Camilo; Múñoz, César (NASA Langley Research CenterHampton, Virginia., 2011)

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas

Cadavid Rengifo, Héctor Fabio; Gómez Perdomo, Jonatan (ScieloColombia, 2009)

En este artículo se describe un sistema desarrollado para la extracción de grandes cuerpos de texto de Internet, teniendo como motivación el valor que ofrecen los ejemplos de lenguaje natural disponibles en la red para ...
A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting

Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris; Klein, John (The ACM Digital Library is published by the Association for Computing MachineryBari, Italy., 2020)

Background: The Systems Engineering and Software Engineering disciplines are highly intertwined in most modern Systems of Systems (SoS), and particularly so in industries such as defense, transportation, energy and health ...
Synchronous set relations in rewriting logic

Muñoz, César; Rocha Niño, Hernán Camilo (Elsevier, 2014)

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

Cerinza, Daniel; Ospina, Victoria Eugenia (Colombia., 2015)

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. ...

Envíos recientes

On Distributed Collaboration for Biomedical Analyses
...
Boujdad, Fatima-Zahra | 2019

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based or supercomputer-based infrastructure. In contrast, real distributed collaboration that involves processing of data from several partners at different sites is rare. However, such distributed analyses are often very interesting, in particular, for scalability, security and privacy reasons. In this article, we motivate the need for real distributed biomedical analyses in the context of several ongoing projects, including the ICAN project that involves 34 French hospitals and affiliated research groups. We present a set of distributed architectures for such analyses that we have derived from discussions with different medical research groups and a study of related work. These architectures allow for scalability, security/privacy and reproducibility issues to be taken into account. Finally, we illustrate that these architectures can serve as the basis of a development method for biomedical distributed analyses.

LEER
On Distributed Collaboration for Biomedical Analyses
...
Boujdad, Fatima-Zahra | 2019

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based or supercomputer-based infrastructure. In contrast, real distributed collaboration that involves processing of data from several partners at different sites is rare. However, such distributed analyses are often very interesting, in particular, for scalability, security and privacy reasons. In this article, we motivate the need for real distributed biomedical analyses in the context of several ongoing projects, including the ICAN project that involves 34 French hospitals and affiliated research groups. We present a set of distributed architectures for such analyses that we have derived from discussions with different medical research groups and a study of related work. These architectures allow for scalability, security/privacy and reproducibility issues to be taken into account. Finally, we illustrate that these architectures can serve as the basis of a development method for biomedical distributed analyses.

LEER
Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis
...
Hernandez Mediná, Martin Jose | 2018

Open source intelligence (OSINT) is used to obtain and analyze information related to adversaries, so it can support risk assessments aimed to prevent damages against critical assets. This paper presents a research about different OSINT technologies and how these can be used to perform cyber intelligence tasks. One of the key components in the operation of OSINT tools are the “transforms”, which are used to establish relations between entities of information from queries to different open sources. A set of transforms addressed to the Colombian context are presented, which were implemented and contributed to the community allowing to the law enforcement agencies to develop information gathering process from Colombian open sources. Additionally, this paper shows the implementation of three machine learning models used to perform sentiment analysis over the information obtained from an adversary. Sentiment analysis can be extremely useful to understand the motivation that an adversary can have and, in this way, define proper cyber defense strategies. Finally, some challenges related to the application of OSINT techniques are identified and described.

LEER
Order-Sorted Equality Enrichments Modulo Axioms
...
Gutiérrez, Raúl | 2012

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications with initial algebra semantics beyond the pale of theorem proving tools based, for example, on explicit or inductionless induction techniques, and of other formal tools for checking key properties such as confluence, termination, and sufficient completeness. Such specifications would instead be amenable to formal analysis if an equationally-defined equality predicate enriching the algebraic data types were to be added to them. Furthermore, having an equationally-defined equality predicate is very useful in its own right, particularly in inductive theorem proving. Is it possible to effectively define a theory transformation E↦E≃ that extends an algebraic specification E to a specification E≃ having an equationally-defined equality predicate? This paper answers this question in the affirmative for a broad class of order-sorted conditional specifications E that are sort-decreasing, ground confluent, and operationally terminating modulo axioms B and have a subsignature of constructors. The axioms B can consist of associativity, or commutativity, or associativity-commutativity axioms, so that the constructors are free modulo B. We prove that the transformation E↦E≃ preserves all the just-mentioned properties of E . The transformation has been automated in Maude using reflection and is used in several Maude formal tools.

LEER
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube
...
Rodríguez Chona, Andrés Ricardo | 2016

A lo largo de este articulo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la primera de perspectivas y la otra de criterios. Dichas dimensiones son parametrizables mediante la definición de los pesos de importancia de cada una y por medio de la definición de tantos criterios como se crean necesarios para obtener una mejor evaluación de las herramientas. Esta matriz se utilizó en una empresa como caso práctico y sirvió para determinar cuál era la herramienta de monitoreo que mejor se adaptaba a las necesidades de dicha empresa en la prestación de servicios en la nube; este caso de estudio se presenta en la parte final de este artículo. Se pretende que con esta propuesta las empresas del área de tecnologías de información (T.I.) puedan hacer la selección de herramientas de monitoreo para ambientes de la nube y puedan brindar una mayor confiabilidad a sus clientes y un mejor nivel de la prestación de servicios.

LEER
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube
...
Rodriguez Chona, Andrés Ricardo | 2016

A lo largo de este artículo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la primera de perspectivas y la otra de criterios. Dichas dimensiones son parametrizables mediante la definición de los pesos de importancia de cada una y por medio de la definición de tantos criterios como se crean necesarios para obtener una mejor evaluación de las herramientas. Esta matriz se utilizó en una empresa como caso práctico y sirvió para determinar cuál era la herramienta de monitoreo que mejor se adaptaba a las necesidades de dicha empresa en la prestación de servicios en la nube; este caso de estudio se presenta en la parte final de este artículo. Se pretende que con esta propuesta las empresas del área de tecnologías de información (T.I.) puedan hacer la selección de herramientas de monitoreo para ambientes de la nube y puedan brindar una mayor confiabilidad a sus clientes y un mejor nivel de la prestación de servicios.

LEER
Proving Safety Properties of Rewrite Theories
...
Rocha, Camilo | 2011

Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive approach for verifying safety properties of rewrite theories in which all formal temporal reasoning about concurrent transitions is ultimately reduced to purely equational inductive reasoning. Narrowing modulo axioms is extensively used in our inference system to further simplify the equational proof obligations to which all proofs of safety formulas are ultimately reduced. In this way, existing equational reasoning techniques and tools can be directly applied to verify safety properties of concurrent systems. We report on the implementation of this deductive system in the Maude Invariant Analyzer tool, which provides a substantial degree of automation and can automatically discharge many proof obligations without user intervention.

LEER
REAL-T: Time Modularization in Reactive Distributed Applications
...
Benavides Navarro, Luis Daniel | 2018

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.

LEER
REAL-T: Time Modularization in Reactive Distributed Applications
...
Benavides Navarro, Luis Daniel | 2018

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.

LEER
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
...
Cadavid, Héctor | 2017

Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous robots becomes more challenging to guarantee. This paper presents a hybrid control architecture, based on the Plan Execution Interchange Language ( PLEXIL ), for autonomy of wheeled robots running the Robot Operating System ( ROS ). PLEXIL is a synchronous reactive language developed by NASA for mission critical robotic systems, while ROS is one of the most popular frameworks for robotic middle-ware development. Given the safety-critical nature of spacecraft operations, PLEXIL operational semantics has been mathematically defined, and formal techniques and tools have been developed to automatically analyze plans written in this language. The hybrid control architecture proposed in this paper is showcased in a path tracking scenario using the Husky robot platform via a Gazebo simulation. Thanks to the architecture presented in this paper, all formal analysis techniques and tools currently available to PLEXIL are now available to build reliable plans for ROS -enabled wheeled robots.

LEER
Rewriting Logic Semantics of a Plan Execution Language
...
Dowek, Gilles | 2010

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude.

LEER
Rewriting modulo SMT and open system analysis
...
Rocha, Camilo | 2016

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e., systems that interact with a nondeterministic environment. Such systems exhibit both internal nondeterminism, which is proper to the system, and external nondeterminism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. Furthermore, a single state expression with symbolic constraints can now denote an infinite set of concrete states. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations.

LEER
La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial
...
Chaparro Preciado, Javier Alberto | 2017

La automatización de procesos se ha desarrollado principalmente en tareas repetitivas en el sector industrial, donde la incertidumbre tiene poca importancia. Actualmente, gracias a nuevas tecnologías que les proporcionan mayor inteligencia a los robots, la automatización se ha extendido a nuevos escenarios, como los hogares, las empresas, los seres humanos e, indudablemente, la producción agroindustrial. Mejorar la competitividad y las hectáreas cultivadas son algunas de las ventajas de incorporar tecnologías de automatización, como la robótica móvil o aérea tipo UAV (Unmanned Aerial Vehicle). Los robots forman parte de las tecnologías utilizadas en la agricultura de precisión, apoyando actividades de siembra, cosecha, recolección, selección, almacenamiento, transporte y procesamiento de productos agrícolas, entre otras. Otra tecnología que tiene un enorme potencial en el tema agroindustrial es el procesamiento de imágenes multiespectrales y la elaboración de índices de vegetación. En este artículo se presentan los avances que se han hecho en el tema de robots e imágenes agroindustriales en la Escuela Colombiana de Ingeniería Julio Garavito, teniendo en cuenta elementos de hardware y software que se pueden utilizar para el desarrollo de herramientas, equipos o servicios de apoyo a los pequeños cultivadores en el país.

LEER
Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM
...
Daniel Díaz López | 2018

Due to the growth of IoT (Internet of Tings) devices in diferent industries and markets in recent years and considering the currently insufcient protection for these devices, a security solution safeguarding IoT architectures are highly desirable. An interesting perspective for the development of security solutions is the use of an event management approach, knowing that an event may become an incident when an information asset is afected under certain circumstances. Te paper at hand proposes a security solution based on the management of security events within IoT scenarios in order to accurately identify suspicious activities. To this end, diferent vulnerabilities found in IoT devices are described, as well as unique features that make these devices an appealing target for attacks. Finally, three IoT attack scenarios are presented, describing exploited vulnerabilities, security events generated by the attack, and accurate responses that could be launched to help decreasing the impact of the attack on IoT devices. Our analysis demonstrates that the proposed approach is suitable for protecting the IoT ecosystem, giving an adequate protection level to the IoT devices.

LEER
SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC
...
Cadavid-Rengifo, Héctor | 2014

Una gran parte de las pequeñas y medianas empresas Colombianas han mostrado, de acuerdo con cifras oficiales, unos muy bajos índices de supervivencia tras sus primeros años de creación. Esto es especialmente grave dado que dichas empresas son las que proveen la mayor parte del empleo formal del país, poniendo también en perspectiva los efectos futuros de los nuevos tratados de libre comercio. Considerando la urgencia de brindarle a los empresarios Colombianos herramientas que les permita mejorar la productividad de sus empresas para afrontar mejor la competencia extranjera, en este artículo se presenta una herramienta de simulación de procesos de manufactura diseñada específicamente para ayudar a la transferencia de la metodología de mejoramiento continuo TOC (teoría de restricciones) a la pequeña y mediana empresa, y a mitigar uno de los mayores riesgos asociados a esta tarea: la resistencia al cambio.

LEER
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
...
Rocha, Camilo | 2011

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure consists of an ordersorted rewrite theory in Maude, a rewriting logic system, that enables the synchronous execution of a set relation provided by the user. By using the infrastructure, existing algorithm verification techniques already available in Maude for traditional asynchronous rewriting, such as reachability analysis and model checking, are automatically available to synchronous set rewriting. The use of the infrastructure is illustrated with an executable operational semantics of a simple synchronous language and the verification of temporal properties of a synchronous system.

LEER
Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas
...
Cadavid Rengifo, Héctor Fabio | 2009

En este artículo se describe un sistema desarrollado para la extracción de grandes cuerpos de texto de Internet, teniendo como motivación el valor que ofrecen los ejemplos de lenguaje natural disponibles en la red para las tareas de aprendizaje no supervisado de dichos naturales, dado por características como su enorme volumen, permanente actualización respecto de las alteraciones del lenguaje, y bajo costo, en tiempo y recursos, en cuanto a los mecanismos tradicionales de construcción de corpus para esas tareas de aprendizaje. Se presentan las estrategias incorporadas al sistema con el fin de maximizar el aprovechamiento de los recursos de hardware y así reducir los tiempos de extracción, al igual que se presentan las características de extensibilidad para los formatos soportados, y adaptabilidad respecto a la manera como el sistema limpia los contenidos para obtener muestras de lenguaje natural puras. Al final del artículo se presentan los resultados experimentales obtenidos con uno de los dominios de contenido en español más grande de Internet: es.wikipedia.org, a través de los cuales se concluye sobre la validez y aplicabilidad de un corpus extraído directamente de la Internet para un eventual proceso de aprendizaje de morfología o sintaxis.

LEER
A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting
...
Cadavid, Héctor | 2020

Background: The Systems Engineering and Software Engineering disciplines are highly intertwined in most modern Systems of Systems (SoS), and particularly so in industries such as defense, transportation, energy and health care. However, the combination of these disciplines during the architecting of SoS seems to be especially challenging; the literature suggests that major integration and operational issues are often linked to ambiguities and gaps between system-level and software-level architectures. Aims: The objective of this paper is to empirically investigate: 1) the state of practice on the interplay between these two disciplines in the architecting process of systems with SoS characteristics; 2) the problems perceived due to this interplay during said architecting process; and 3) the problems arising due to the particular characteristics of SoS systems. Method: We conducted a questionnaire-based online survey among practitioners from industries in the aforementioned domains, having a background on Systems Engineering, Software Engineering or both, and experience in the architecting of systems with SoS characteristics. The survey combined multiple-choice and openended questions, and the data collected from the 60 respondents were analyzed using quantitative and qualitative methods. Results: We found that although in most cases the software architecting process is governed by system-level requirements, the way requirements were specified by systems engineers, and the lack of domain-knowledge of software engineers, often lead to misinterpretations at software level. Furthermore, we found that unclear and/or incomplete specifications could be a common cause of technical debt in SoS projects, which is caused, in part, by insufficient interface definitions. It also appears that while the SoS concept has been adopted by some practitioners in the field, the same is not true about the existing and growing body of knowledge on the subject in Software Engineering resulting in recurring problems with system integration. Finally, while not directly related to the interplay of the two disciplines, the survey also indicates that low-level hardware components, despite being identified as the root cause of undesired emergent behavior, are often not considered when modeling or simulating the system. Conclusions: The survey indicates the need for tighter collaboration between the two disciplines, structured around concrete guidelines and practices for reconciling their differences. A number of open issues identified by this study require further investigation.

LEER
Synchronous set relations in rewriting logic
...
Muñoz, César | 2014

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure, which is written in the Maude system, enables the synchronous execution of a set relation provided by the user. By using the infrastructure, algorithm verification techniques such as reachability analysis and model checking, already available in Maude for traditional asynchronous rewriting, are automatically available to synchronous set rewriting. In this way, set-based synchronous languages and systems such as those built from agents, components, or objects can be naturally specified and simulated, and are also amenable to formal verification in the Maude system. The use of the infrastructure and some of its Maude-based verification capabilities are illustrated with an executable operational semantics of the Plan Execution Interchange Language (PLEXIL), a synchronous language developed by NASA to support autonomous spacecraft operations.

LEER
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia
...
Cerinza, Daniel | 2015

La tecnología al servicio del negocio, no el negocio al servicio de la tecnología. Es importante tener clara esta relación para que las tecnologías de Información (TI) son un generador de beneficios en las organizaciones. En este artículo se habla de la importancia de las tecnologías de información en las instituciones prestadoras de salud, la arquitectura empresarial (AE) en este sector. Este tipo de proyectos es bastante ambicioso por lo cual surge la necesidad de mostrar una manera de identificar y medir los posibles beneficios que se pueden llegar a generar. Finalmente se plantea una posible metodología para construir un modelo que identifique y mida los beneficios del uso de las TI en una organización prestadora de servicios de salud.

LEER

‹›

Listar AD - CTG – Informática por título

On Distributed Collaboration for Biomedical Analyses ﻿

On Distributed Collaboration for Biomedical Analyses ﻿

Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis ﻿

Order-Sorted Equality Enrichments Modulo Axioms ﻿

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube ﻿

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube ﻿

Proving Safety Properties of Rewrite Theories ﻿

REAL-T: Time Modularization in Reactive Distributed Applications ﻿

REAL-T: Time Modularization in Reactive Distributed Applications ﻿

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots ﻿

Rewriting Logic Semantics of a Plan Execution Language ﻿

Rewriting modulo SMT and open system analysis ﻿

La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial ﻿

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM ﻿

SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC ﻿

Simulation and Verification of Synchronous Set Relations in Rewriting Logic ﻿

Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas ﻿

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting ﻿

Synchronous set relations in rewriting logic ﻿

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia ﻿

Envíos recientes

On Distributed Collaboration for Biomedical Analyses

On Distributed Collaboration for Biomedical Analyses

Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis

Order-Sorted Equality Enrichments Modulo Axioms

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Proving Safety Properties of Rewrite Theories

REAL-T: Time Modularization in Reactive Distributed Applications

REAL-T: Time Modularization in Reactive Distributed Applications

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Rewriting Logic Semantics of a Plan Execution Language

Rewriting modulo SMT and open system analysis

La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM

SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting

Synchronous set relations in rewriting logic

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

On Distributed Collaboration for Biomedical Analyses

On Distributed Collaboration for Biomedical Analyses

Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis

Order-Sorted Equality Enrichments Modulo Axioms

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Proving Safety Properties of Rewrite Theories

REAL-T: Time Modularization in Reactive Distributed Applications

REAL-T: Time Modularization in Reactive Distributed Applications

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Rewriting Logic Semantics of a Plan Execution Language

Rewriting modulo SMT and open system analysis

La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial

Shielding IoT against Cyber-Attacks: An Event-Based Approach Using SIEM

SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting

Synchronous set relations in rewriting logic

Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia