Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Guillermina Cledou
  • Cluster

    Informática
  • Cargo

    Investigador Auxiliar
  • Desde

    01 janeiro 2014
001
Publicações

2021

Hubs for VirtuosoNext: Online verification of real-time coordinators

Autores
Cledou, G; Proenca, J; Sputh, BHC; Verhulst, E;

Publicação
Science of Computer Programming

Abstract

2020

ARx: Reactive Programming for Synchronous Connectors

Autores
Proença, J; Cledou, G;

Publicação
Lecture Notes in Computer Science - Coordination Models and Languages

Abstract

2019

A Net-Based Formal Framework for Causal Loop Diagrams

Autores
Cledou, G; Nakajima, S;

Publicação
Advances in Intelligent Systems and Computing - Complex Systems Design & Management Asia

Abstract

2019

Coordination of tasks on a real-time OS

Autores
Cledou, G; Proenca, J; Sputh, BHC; Verhulst, E;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
VirtuosoNext TM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and communication mechanisms between the application tasks and implement the services provided by the kernel as a kind of Guarded Protected Action with a well defined semantics. While the kernel provides the most basic services, each carefully designed, tested and optimised, tasks are limited to this handful of basic hubs, leaving the development of more complex synchronization and communication mechanisms up to application specific implementations. In this work we investigate how to support a programming paradigm to compositionally build new services, using notions borrowed from the Reo coordination language, and relieving tasks from coordination aspects while delegating them to the hubs. We formalise the semantics of hubs using an automata model, identify the behaviour of existing hubs, and propose an approach to build new hubs by composing simpler ones. We also provide tools and methods to analyse and simplify hubs under our automata interpretation. In a first experiment several hub interactions are combined into a single more complex hub, which raises the level of abstraction and contributes to a higher productivity for the programmer. Finally, we investigate the impact on the performance by comparing different implementations on an embedded board. © IFIP International Federation for Information Processing 2019.

2018

A taxonomy for planning and designing smart mobility services

Autores
Cledou, G; Estevez, E; Barbosa, LS;

Publicação
Government Information Quarterly

Abstract