Mostrando ítems 51-70 de 76

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. ...
Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia

Ospina-Becerra, Victoria Eugenia; Cerinza Mejía, Daniel Ricardo (Orlando, Florida, E.E.U.U., 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. ...
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia

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

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. ...
Theorem Proving Modulo Based on Boolean Equational Procedures

Rocha, Camilo; Meseguer, José (Springer, 2008)

Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...
Tool Interoperability in the Maude Formal Environment

Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)

We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...
Towards a Maude Formal Environment

Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...
Towards a measuring framework for knowledge creation in smart cities

Ceballos-Zuluaga, Andrea; Benavides-Navarro, Luis Daniel; Ospina-Becerra, Victoria Eugenia (Colombia, 2020)

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and ...
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics

Cadavid, Héctor; Garzón, Wilmer; Pérez, Alexander; López, Germán; Mendivelso, Cristian; Ramírez, Carlos (Springer NatureSwitzerland., 2018)

Colombia is a country with a huge agricultural potential, thanks to its size and geography diversity. Unfortunately, it is far from using it efficiently: 65% of its farmland is either unused or underused due to political ...

Envíos recientes

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
Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia
...
Ospina-Becerra, Victoria Eugenia | 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
Tecnologías de Información como apoyo a la Estrategia De las Instituciones Prestadoras de Salud en Colombia
...
Cerinza, Daniel | 2019

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
Theorem Proving Modulo Based on Boolean Equational Procedures
...
Rocha, Camilo | 2008

Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean theory and show that each of them gives rise to a Boolean decision procedure based on a canonical rewrite system modulo associativity and commutativity. Then, we present two modular extensions of our decision procedure for Dijkstra-Scholten propositional logic to the Sequent Calculus for First Order Logic and to the Syllogistic Logic with Complements of L. Moss. These extensions take the form of rewrite theories that are sound and complete for performing deduction modulo their equational parts and exhibit good mechanization properties. We illustrate the practical usefulness of this approach by a direct implementation of one of these theories in Maude rewriting logic language, and automatically proving a challenge benchmark in theorem proving.

LEER
Tool Interoperability in the Maude Formal Environment
...
Durán, Francisco | 2011

We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the Church-Rosser Checker, the Coherence Checker, and the Maude Inductive Theorem Prover. We explain the high-level design decisions behind MFE, give a summarized account of its main features, and illustrate with an example the interoperation of the tools available in its current release.

LEER
Towards a Maude Formal Environment
...
Durán, Francisco | 2011

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in the development of formal analysis tools for checking specific properties of Maude specifications. This includes tools for checking termination, confluence, and inductive properties of rewrite theories. Nevertheless, most of these tools have been designed to work in isolation, making it difficult, for instance, to exchange data between them and inconvenient to switch between their environments. This paper presents the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can interact with tools to mechanically verify properties of Maude specifications. One important aspect of this work is that the MFE has been designed to be easily extended with tools having highly heterogeneous designs whilst creating synergy among them. As a proof of concept, we report on the integration of five commonly used formal analysis tools for Maude specifications into MFE and illustrate their interoperability with an example.

LEER
Towards a measuring framework for knowledge creation in smart cities
...
Ceballos-Zuluaga, Andrea | 2020

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and their corresponding measurement frameworks. From the analysis, we show that such frameworks do not address the dynamic behaviour of cities. We then explore knowledge based smart sustainable cities, as an alternative theory of SSC, and investigate the measurement frameworks derived from this theory. We show that, despite having a different approach, these measurement frameworks still depend on static indicators and promote static view of the city. We then conjecture that this is due to fussy definitions of knowledge and incomplete investigations of the implications of latest theories of knowledge over the structure and strategy of smart cities. Finally, we propose a set of premises and principles that will improve the theory of Knowledge based smart sustainable cities (KBSSC) and show how this new definition will affect the design of indicators and measurement frameworks in a KBSSC.

LEER
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics
...
Cadavid, Héctor | 2018

Colombia is a country with a huge agricultural potential, thanks to its size and geography diversity. Unfortunately, it is far from using it efficiently: 65% of its farmland is either unused or underused due to political problems. Furthermore, vast of Colombian agriculture is characterized - when compared with other countries - by low levels of productivity, due to the lack of good farming practices and technologies. The new political framework created by the recently signed peace agreement in this country opens new opportunities to increase its agricultural vocation. However, a lot of work is still required in this country to improve the synergy between academia, industry, agricultural experts, and farmers towards improving productivity in this field. Advances in smart-farming technologies such as Remote Sensing (RS), Internet of Things (IoT), Big Data/Data Analytics and Geographic Information Systems (GIS), bring a great opportunity to contribute to such synergy. These technologies allow not only to collect and analyze data directly from the crops in real time, but to extract new knowledge from it. Furthermore, this new knowledge, combined with the knowledge of local experts, could become the core of future technical assistance and decision support systems tools for countries with a great variety of soils and tropical floors such as Colombia. Motivated by these issues, this paper proposes an extension to Thingsboard, a popular open-source IoT platform. This extended version aims to be the core of a cloud-based Smart Farming platform that will concentrate sensors, a decision support system, and a configuration of remotely controlled and autonomous devices (e.g. water dispensers, rovers or drones). The architecture of the platform is described in detail and then showcased in a scenario with simulated sensors. In such scenario early warnings of an important plant pathogen in Colombia are generated by data analytics, and actions on third-party devices are dispatched in consequence.

LEER

‹›

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

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 ﻿

Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia ﻿

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

Theorem Proving Modulo Based on Boolean Equational Procedures ﻿

Tool Interoperability in the Maude Formal Environment ﻿

Towards a Maude Formal Environment ﻿

Towards a measuring framework for knowledge creation in smart cities ﻿

Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics ﻿

Envíos recientes

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

Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia

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

Theorem Proving Modulo Based on Boolean Equational Procedures

Tool Interoperability in the Maude Formal Environment

Towards a Maude Formal Environment

Towards a measuring framework for knowledge creation in smart cities

Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics

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

Tecnologías de Información como apoyo a la estrategia de las instituciones prestadoras de salud en Colombia

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

Theorem Proving Modulo Based on Boolean Equational Procedures

Tool Interoperability in the Maude Formal Environment

Towards a Maude Formal Environment

Towards a measuring framework for knowledge creation in smart cities

Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics