Repository logo

Browsing by Issue Date, starting with "2021-03-01"

Filter results by year or month
Now showing 1 - 2 of 2
  • A contribuição do estudo da trompa natural para o desenvolvimento do trompista moderno
    Publication . Canas, Daniel da Rocha; Pinto, Nuno Fernandes
    Tocar trompa natural hoje em dia pode parecer algo que não faz muito sentido, ainda mais quando o instrumento atingiu um estado de desenvolvimento tão evoluído, que praticamente podemos construir a trompa que pretendemos de acordo com as nossas preferências. Vivemos na era das trompas descantes e triplas, e tocar um instrumento praticamente “obsoleto” pode parecer uma enorme perda de tempo. Com este projeto, pretendo demonstrar que isso não é de todo verdade e que o contacto do trompista moderno com a trompa natural traz imensas vantagens.
    2021-03-01Master thesis Open access Show more
  • Hubs for VirtuosoNext: Online verification of real-time coordinators
    Publication . Cledou, Guillermina; Proenca, Jose; Sputh, Bernhard H.C.; Verhulst, Eric
    VirtuosoNext is a distributed real-time operating system (RTOS) fea- turing a generic programming model dubbed Interacting Entities. This pa- per 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. While the kernel provides the most basic services, each carefully designed, tested and opti- mised, tasks are limited to this handful of basic hubs, leaving the development of more complex mechanisms up to application specific implementations. This work presents a toolset that supports the building of new services compositionally, using notions borrowed from the Reo coordination language, on which the developer can delegate coordination-related duties. This toolset uses a formal compositional semantics for hubs that captures dataflow and time, formalising the behaviour of existing hubs, and allowing the defini- tion of new ones. Furthermore, it enables the analysis and verification of hubs under our automata interpretation, including time-sensitive behaviour via the Uppaal model checker, usable on http://arcatools.org/hubs. We illustrate the proposed tools and methods by verifying key properties on different interaction scenarios between tasks and a composed hub.
    2021-03-01Journal article Restricted access Show more