<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Rodrigues, João</style></author><author><style face="normal" font="default" size="100%">Ventura, João</style></author><author><style face="normal" font="default" size="100%">Campos, António Miguel de</style></author><author><style face="normal" font="default" size="100%">Rodrigues, Luís</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Implementation and analysis of real-time communication protocol compositions</style></title><secondary-title><style face="normal" font="default" size="100%">Real-Time Systems</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Allocation</style></keyword><keyword><style  face="normal" font="default" size="100%">Priority assignment</style></keyword><keyword><style  face="normal" font="default" size="100%">Protocol composition and execution framework</style></keyword><keyword><style  face="normal" font="default" size="100%">Real-Time</style></keyword><keyword><style  face="normal" font="default" size="100%">Schedulability Analysis</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2007</style></year><pub-dates><date><style  face="normal" font="default" size="100%">10/2007</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s11241-007-9026-1</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/fulltext.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Netherlands</style></publisher><volume><style face="normal" font="default" size="100%">37</style></volume><pages><style face="normal" font="default" size="100%">45-76</style></pages><abstract><style face="normal" font="default" size="100%">A flexible way of building modular communication stacks relies on the use of protocol composition. This paper describes a protocol composition framework that simplifies the task of deriving the worst-case response time of a protocol composition from the protocol implementation. In order to derive the worst-case response time of a protocol composition, one needs to capture its event-graph: the event-graph consists of the set of all events processed by each component and the relation between those events. The framework, called RT-Appia, takes a pragmatic approach: instead of requiring the use of domain specific code analysis tools, or dedicated compilers, it simply requires protocol programmers to make explicit which events are processed and produced by each layer, and how these events are related. An interesting aspect of the approach is that the same data structures that are used to simplify the task of computing the worst-case response time of the protocol composition are also used to optimize the performance and to debug the resulting implementation.</style></abstract><issue><style face="normal" font="default" size="100%">1</style></issue><notes><style face="normal" font="default" size="100%">© Springer 2007

The original publication is available at www.springerlink.com.</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ventura, João</style></author><author><style face="normal" font="default" size="100%">Siebert, Fridtjof</style></author><author><style face="normal" font="default" size="100%">Walter, Andy</style></author><author><style face="normal" font="default" size="100%">Hunt, James</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">HIDOORS - A High Integrity Distributed Deterministic Java Environment</style></title><secondary-title><style face="normal" font="default" size="100%">7th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year><pub-dates><date><style  face="normal" font="default" size="100%">07/01/2002</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.ieeecomputersociety.org/10.1109/WORDS.2002.1000043</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/hidoors4words2k2.pdf</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/sky_words2k2.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><pub-location><style face="normal" font="default" size="100%">San Diego, CA, USA</style></pub-location><pages><style face="normal" font="default" size="100%">113-118</style></pages><isbn><style face="normal" font="default" size="100%">0-7695-1576-2</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper presents the design of HIDOORS, an integrated development environment suitable for embedded distributed real-time systems, based on the Java programming language. HIDOORS will cover all the life-cycle of real-time software development with extensions to existing tools (UML modeling, Java compiler, Java Virtual Machine, and a worst case execution time analysis tool) that will all be integrated into a single integrated development environment. The system will also assist the developer in distributing the application, by providing faster RMI and a distributed event manager that provides strict timing guarantees. This paper is written at the beginning of HIDOORS development, and as such, it presents only the defined objectives and the early architecture of the system; further developments will be the subject of future works.</style></abstract><work-type><style face="normal" font="default" size="100%">inproceedings</style></work-type></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Rodrigues, João</style></author><author><style face="normal" font="default" size="100%">Ventura, João</style></author><author><style face="normal" font="default" size="100%">Rodrigues, Luís</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Schedulability Analysis of an Event-based Real-Time Protocol Framework</style></title><secondary-title><style face="normal" font="default" size="100%">7th IEEE International Workshop on Object-Oriented Real-time Dependable Systems (WORDS 2002)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year><pub-dates><date><style  face="normal" font="default" size="100%">07/01/2002</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.ieeecomputersociety.org/10.1109/WORDS.2002.1000069</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/jcr_words2002.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><pub-location><style face="normal" font="default" size="100%">San Diego, CA, USA</style></pub-location><pages><style face="normal" font="default" size="100%">319-325</style></pages><isbn><style face="normal" font="default" size="100%">0-7695-1576-2</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and implementation of configurable real-time protocol stacks. The method performs the schedulability analysis for events flowing in a real-time channel and is based on the holistic theory for distributed real-time systems. To illustrate the use of the model, a stack of modular reliable group communication protocols for the CAN field-bus is analyzed and the collected results are compared with previous work.</style></abstract><work-type><style face="normal" font="default" size="100%">inproceedings</style></work-type></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>32</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ventura, João</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Análise do Tempo de Resposta da Composição de Micro-Protocolos</style></title><secondary-title><style face="normal" font="default" size="100%">Departamento de Informática</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Communication Protocols</style></keyword><keyword><style  face="normal" font="default" size="100%">Distributed Systems</style></keyword><keyword><style  face="normal" font="default" size="100%">Micro-Protocols</style></keyword><keyword><style  face="normal" font="default" size="100%">Real-Time</style></keyword><keyword><style  face="normal" font="default" size="100%">Schedulability Analysis</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2001</style></year><pub-dates><date><style  face="normal" font="default" size="100%">05/2001</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dited.bn.pt/31602/index_default.html</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/dissrt.pdf</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/dissrt.ps.gz</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/offsets.tgz</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/jcv_defmest.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Faculdade de Ciências da Universidade de Lisboa</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisbon, Portugal</style></pub-location><pages><style face="normal" font="default" size="100%">80</style></pages><isbn><style face="normal" font="default" size="100%">978-989-20-1164-6</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">With the increase of processing power and network bandwidth it is possible to build sophisticated distributed hard-real time systems. The construction of such communication systems using the composition of several micro-protocol objects is an approach that has been applied with success in the non real-time arena. This encourages the re-use of protocol components and allows the applications to configure stacks tailored to their needs. To benefit from this approach in hard real-time systems, one must be able to derive the timing behavior of a protocol composition given a description of its protocol objects.
This thesis presents a general framework to analyse the timing behavior of protocol stacks derived from the composition of micro-protocols. Individual micro-protocols are described as protocol objects that subscribe and produce events; interactions among adjacent protocols are modeled by the exchange of these events. The protocol implementation is modeled by a set of tasks, each programmed to handle a specific protocol event.
To illustrate the use of the framework, a study is presented on the timing analysis of a set of modular fault-tolerant group communication protocols designed for the CAN field-bus: RELCAN and EDCAN. In order to perform this study, an existing software tool was extended to comply with the model requirements.</style></abstract><work-type><style face="normal" font="default" size="100%">Masters Dissertation</style></work-type><notes><style face="normal" font="default" size="100%">Buy this book on Lulu (http://www.lulu.com/content/2383553)</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Rodrigues, João</style></author><author><style face="normal" font="default" size="100%">Miranda, Hugo</style></author><author><style face="normal" font="default" size="100%">Ventura, João</style></author><author><style face="normal" font="default" size="100%">Rodrigues, Luís</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The design of RT-Appia</style></title><secondary-title><style face="normal" font="default" size="100%">6th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year><pub-dates><date><style  face="normal" font="default" size="100%">08/01/2001</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.ieeecomputersociety.org/10.1109/WORDS.2001.945139</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/rtappia.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><pub-location><style face="normal" font="default" size="100%">Rome, Italy</style></pub-location><pages><style face="normal" font="default" size="100%">261-268</style></pages><isbn><style face="normal" font="default" size="100%">0-7695-1068-X</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper presents the design of RT-Appia, a framework for the development and implementation of configurable real-time protocol stacks. The goal of RT-Appia is to allow the construction of specialized protocols through the composition of pre-defined micro-protocols. RT-Appia attempts to balance the flexibility and efficiency of microprotocols with the predictability requirements of real-time applications.</style></abstract><work-type><style face="normal" font="default" size="100%">inproceedings</style></work-type></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ventura, João</style></author><author><style face="normal" font="default" size="100%">Rodrigues, João</style></author><author><style face="normal" font="default" size="100%">Rodrigues, Luís</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Response Time Analysis of Composable Micro-Protocols</style></title><secondary-title><style face="normal" font="default" size="100%">4th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year><pub-dates><date><style  face="normal" font="default" size="100%">02/05/2001</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.ieeecomputersociety.org/10.1109/ISORC.2001.922857</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/isorc2001.pdf</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/isorc2001.ps.gz</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><pub-location><style face="normal" font="default" size="100%">Magdeburg, Germany</style></pub-location><pages><style face="normal" font="default" size="100%">335-342</style></pages><isbn><style face="normal" font="default" size="100%">0-7695-1089-2</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The paper presents a generic framework to analyse the timing behavior of protocol graphs derived from the composition of micro-protocols. The model assumes that a protocol stack is composed of a set of protocol objects that interact through the exchange of events. A specific task is associated with each relevant protocol event and for each task, the periods and offsets are derived from a description of the interactions between adjacent protocols. To illustrate the use of the model, a stack of modular reliable group communication protocols for the CAN field-bus is analysed.</style></abstract><work-type><style face="normal" font="default" size="100%">inproceedings</style></work-type></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ventura, João</style></author><author><style face="normal" font="default" size="100%">Neves, José</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">GASCA - Generic Avionics Scaleable Computing Architecture</style></title><secondary-title><style face="normal" font="default" size="100%">DASIA 99 - Data Systems in Aerospace Conference</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">ARINC 653</style></keyword><keyword><style  face="normal" font="default" size="100%">Avionics software</style></keyword><keyword><style  face="normal" font="default" size="100%">GASCA</style></keyword><keyword><style  face="normal" font="default" size="100%">Real-Time</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">1999</style></year><pub-dates><date><style  face="normal" font="default" size="100%">17/05/1999</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/gasca4dasia.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">ESA</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisbon, Portugal</style></pub-location><pages><style face="normal" font="default" size="100%">393-399</style></pages><isbn><style face="normal" font="default" size="100%">92-9092-788-7</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">A GASCA system has two aspects, the architecture and the software. The GASCA architecture is composed of several modules running in several cabinets connected by the system, backplane and maintenance buses. A fundamental concept of GASCA is the partition, adopted from ARINC 653. The operating system software is the only software layer defined in GASCA, interacting with the application layer through the GASCA API. The project is still in the demonstration phase, and the OS, Configuration Manager, Fault Manager, Sample Applications and Distribution tool are presented.</style></abstract><work-type><style face="normal" font="default" size="100%">inproceedings</style></work-type><notes><style face="normal" font="default" size="100%">ESA SP-447</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ventura, João</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Neural Networks implementation in parallel distributed processing systems</style></title><secondary-title><style face="normal" font="default" size="100%">Graduate Degree</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Distributed Systems</style></keyword><keyword><style  face="normal" font="default" size="100%">Neural Networks</style></keyword><keyword><style  face="normal" font="default" size="100%">PVM</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/mydmbp.pdf</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/mydmbp.ps.gz</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/mymanual.pdf</style></url><url><style face="normal" font="default" size="100%">http://www.venturas.org/sites/default/files/mymanual.ps.gz</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisbon, Portugal</style></pub-location><abstract><style face="normal" font="default" size="100%">In this work I will try to present a distributed implementation of the back-propagation algorithm which performs better than a centralized version. As the basis for this work I used the Matrix Back-Propagation Algorithm developed by Davide Anguita. This algorithm is a highly efficient version of the standard back-propagation algorithm using the &quot;learning by epoch&quot; mode of training. Because it uses optimized matrix operations to perform the usual operations in the learning phases of the neural network, this method achieves a very good performance. Based on this work I have implemented three distributed versions, each exploring a different aspect of distribution.</style></abstract></record></records></xml>
