Now showing items 1-6 of 6

Architecting systems of systems: A tertiary study

Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris (Elsevier, 2020)

Context: The term System of Systems (SoS) has increasingly been used in a wide variety of domains to describe those systems composed of independent constituent systems that collaborate towards a mission that they could not ...
A Formal Interactive Verification Environment for the Plan Execution Interchange Language

Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu (© 2020 Springer Nature Switzerland AG.Springer, Berlin, Heidelberg., 2012)

The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
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 ...
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Pérez, Alexander; Cadavid, Héctor; Rocha, Camilo (Springer NatureColombia, 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 ...
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 ...
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

Architecting systems of systems: A tertiary study
...
Cadavid, Héctor | 2020

Context: The term System of Systems (SoS) has increasingly been used in a wide variety of domains to describe those systems composed of independent constituent systems that collaborate towards a mission that they could not accomplish on their own. There is a significant volume of research by the software architecture community that aims to overcome the challenges involved in architecting SoS, as evidenced by the number of secondary studies in the field published so far. However, the boundaries of such research do not seem to be well defined, at least partially, due to the emergence of SoS-adjacent areas of interest like the Internet of Things.Objective: This paper aims to investigate the current state of research on SoS architecting by synthesizing the demographic data, assessing the quality and the coverage of architecting activities and software quality attributes by the research, and distilling a concept map that reflects a community-wide understanding of the concept of SoS. Method: We conduct what is, to the best of our understanding, the first tertiary study on SoS architecting. Such tertiary study was based on five research questions, and was performed by following the guidelines of Kitchenham et al. In all, 19 secondary studies were evaluated, which is comparable to other tertiary studies. Results: The study illustrates a state of disconnection in the research community, with research gaps in the coverage of particular phases and quality attributes. Furthermore, a more effective approach in classifying systems as SoS is required, as the means of resolving conceptual and terminological overlaps with the related domains. Conclusions: Despite the amount of research in the area of SoS architecting, more coordinated and systematic targeted efforts are required in order to address the identified issues with the current state of research.

LEER
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
...
Rocha, Camilo | 2012

The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive Verification Environment (PLEXIL5), a graphical interface to the formal executable semantics of PLEXIL. Among its main features, PLEXIL5 provides model checking of plans with support for formula editing and visualization of counterexamples, interactive simulation of plans at different granularity levels, and random initialization of external environment variables. The formal verification capabilities of PLEXIL5 are illustrated by means of a human-automation interaction model.

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
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
...
Pérez, Alexander | 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
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
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

‹›

Repositorio Digital

Browsing by Author "1419fa48babb695dddb738176b5abcb4"

Architecting systems of systems: A tertiary study

A Formal Interactive Verification Environment for the Plan Execution Interchange Language

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

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

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

Envíos recientes

Architecting systems of systems: A tertiary study

A Formal Interactive Verification Environment for the Plan Execution Interchange Language

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

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

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

Browsing by Author "1419fa48babb695dddb738176b5abcb4"

Architecting systems of systems: A tertiary study ﻿

A Formal Interactive Verification Environment for the Plan Execution Interchange Language ﻿

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

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

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

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

Envíos recientes

Architecting systems of systems: A tertiary study

A Formal Interactive Verification Environment for the Plan Execution Interchange Language

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

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

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

Architecting systems of systems: A tertiary study

A Formal Interactive Verification Environment for the Plan Execution Interchange Language

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

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

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