Redescripción del género Cryphidium (Cryphaeaceae, Bryophyta), con notas sobre su taxonomía

Cryphidium leucocoleum (Mitt.) A. Jaeger is a member of Cryphaeaceae, a mainly pleurocarpic moss family. The finding of this controversial species in the Pampa Region allowed us to carry out a comprehensive study about its taxonomy and morphology. As a result, the first complete description and illustration of the species are here presented. Additionally, the nomenclatural identity of other species is clarified.Cryphidium leucocoleum (Mitt.) A. Jaeger es un miembro de Cryphaeaceae, una familia de musgos predominantemente pleurocárpicos. El hallazgo de esta especie, con posición taxonómica muy discutida, en la Región Pampeana nos permitió llevar a cabo un estudio meticuloso acerca de su taxonomía y morfología. Como resultado, se presenta la primera descripción e ilustración completa de la especie. Adicionalmente, la identidad nomenclatural de otras especies es definida.Fil: Flores, Jorge Rafael. Universidad Nacional de Tucumán. Facultad de Ciencias Naturales e Instituto Miguel Lillo; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Suarez, Guillermo Martin. Universidad Nacional de Tucumán. Facultad de Ciencias Naturales e Instituto Miguel Lillo; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

The Asian Pohlia trematodontea, is a new synonym of Pohlia elongata (Bryophyta, Bryales)

Pohlia trematodontea was first described by C. Müller (1853) as Bryum trematodonteum based on material collected in India, and moved to Webera by A. Jaeger (1875). Crosby et al. (1999), considered the species as insufficiently know. During a visit to the Natural History Museum of London in England (BM), we were able to locate the type material, which consists of contorted leaves when dry and a long capsule (about 5 mm), with a distinct neck (2,6 mm long). The plants of P. trematodontea exhibit thick-walled leaf cells, paroicous sexual condition and endostome teeth yellow, none or narrowly perforate. Our observations confirm that P. trematodontea is indistinguishable from P. elongata, a species widely distributed in temperate, tropical and subtropical regions of the world (Suárez & Schiavone, 2011). Thus, we here propose it as new synonym.Fil: Suarez, Guillermo Martin. Universidad Nacional de Tucumán. Facultad de Ciencias Naturales e Instituto Miguel Lillo; Argentina. Fundación Miguel Lillo; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Flores, Jorge Rafael. Universidad Nacional de Tucumán. Facultad de Ciencias Naturales e Instituto Miguel Lillo; Argentina. Fundación Miguel Lillo; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Material fructificado de Chenia lorentzii (Bryophyta, Pottiaceae) hallado en Argentina y una evaluación del valor taxonómico del esporofito en el género Chenia

En la presente contribución, el esporofito de Chenia lorentzii es descrito en detalle y se proveen fotomicrografías. Además, el rol de los caracteres esporofíticos es discutido en un contexto filogenético. Para ello, primero, se lleva a cabo un análisis filogenético de un dataset reducido de géneros de Pottiaceae empleando marcadores moleculares (nad5, rps4, 26S) y datos combinados (morfología y marcadores moleculares). Luego, los caracteres esporofíticos y gametofíticos son mapeados en el árbol de moléculas y su ajuste a la filogenia es medida en base a su número de pasos extras y el número de nodos diagnosticados. Los resultados sugieren que los caracteres esporofíticos deben ser evaluados con precaución al momento de proponer cambios nomenclaturales a nivel genérico.In the present contribution, the sporophyte of Chenia lorentzii is described in detail and microphotographs are provided. In addition, the role of sporophytic characters is discussed in a phylogenetic context. To accomplish this task, first, a phylogenetic analysis of a reduced dataset of Pottiaceae genera was carried out by using molecular data (nad5, rps4, 26S) and combined data (morphology and molecular markers). Then, gametophytic and sporophytic characters were mapped onto the molecular tree and their fit to the phylogeny was assessed on the basis of their extra steps and the number of diagnosed nodes. Results suggest that sporophytic characters should be treated with caution when nomenclatural generic changes are proposed.Fil: Flores, Jorge Rafael. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico - Tucumán. Unidad Ejecutora Lillo; ArgentinaFil: Suarez, Guillermo Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico - Tucumán. Unidad Ejecutora Lillo; Argentin

Static analysis of WCET in a satellite software subsystem

This paper describes the authors? experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within the UPMSat-2 project. Some aspects of the aiT tool, specifically those dealing with SPARC register windows, are compared to another static analysis tool, Bound-T. The results of the analysis are discussed, and some conclusions on the use of static WCET analysis tools on the SPARC architecture are commented in the paper

ARINC-653 Inter-partition communications and the ravenscar profile

The ARINC-653 standard is often used to build mixed-criticality systems, using a partitioned architecture. Inter-partition communication is carried out by means of a message-passing mechanism based on ports. The standard includes an API for Ada, but the implementation semantics of operation ports is not fully defined. Furthermore, the API was defined for the Ada 95 standard, and therefore does not take into account the enhancements to the real-time features of the language that have been incorporated in the 2005 and 2013 standards, most notably the Ravenscar profile. This paper is aimed at clarifying the implementation of ARINC communication ports in Ada and the Ravenscar profile. ARINC communication ports are analysed, and their compatibility with the Ravenscar profile is assessed. A new API that can be used with the profile is defined, and a pilot implementation is introduced

Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.

El presente documento describe la integración de herramientas para el análisis temporal en el conjunto de herramientas ASSERT. El proceso de desarrollo, el conjunto de herramientas y la máquina virtual de ASSERT se orientan al desarrollo de sistemas distribuidos empotrados de tiempo real con requisitos de fiabilidad muy exigentes. El enfoque del proyecto ASSERT es el de “convertir diseños heterogéneos realizados por el hombre en software homogéneo generado automáticamente”. Para ello utiliza el modelo computacional de Ravenscar, que es un modelo de concurrencia que permite el análisis estático del comportamiento de tiempo real. Por lo tanto, el uso de herramientas para el análisis de la planificabilidad y el cálculo del tiempo de cómputo en el peor caso es de importancia primordial. En este documento se detalla la adecuación de distintas herramientas a los sistemas distribuidos empotrados de tiempo real críticos, para su posterior integración en el proceso de desarroll

Experience in programming device drivers with the Ravenscar profile.

The Ravenscar profile defines a subset of Ada tasking that can be statically analysable for real-time properties. The implications of the Ravenscar profile and other commonly used high-integrity restrictions for developing device drivers are analysed in the paper, and some guidelines are provided based on the analysis. The technical content of the paper is based on the authors' experience in developing communication drivers for the Open Ravenscar real time Kernel (ORK) that are well suited for space onboard applications. A reference architecture for device drivers is proposed, and two instances of drivers based on it are described

In support of extending the Ravenscar profile

This paper discusses different approaches for implementing an EEPROM memory driver which is part of the UPMSat2 satellite on-board computer software. The Ravenscar profile restrictions are to be observed in order to ensure the analysability of the system, and therefore the approaches are evaluated against the profile. Results of this evaluation as well as considerations on a possible extension of the Ravenscar profile with respect protected entries are presented

Octospora tucumanensis (Pezizales), a new bryophilous ascomycete on Dimerodontium balansae (Bryophyta) from Argentina

Octospora tucumanensis, a new bryophilous ascomycete infecting rhizoids of the pleurocarpous moss Dimerodontium balansae (Fabroniaceae), is described and illustrated based on collections from Argentina. The new species has a unique set of morphological characters and is phylogenetically supported. Morphologically, O. tucumanensis is characterized by the globose to subglobose ascospores ornamented with warts of variable size and shape. Differences from other morphologically similar species of Octospora are discussed.Fil: Suarez, Guillermo Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico - Tucumán. Unidad Ejecutora Lillo; ArgentinaFil: Dominguez, Facundo Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Planta Piloto de Procesos Industriales Microbiológicos; ArgentinaFil: Pajot, Hipolito Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Planta Piloto de Procesos Industriales Microbiológicos; ArgentinaFil: Flores, Jorge Rafael. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico - Tucumán. Unidad Ejecutora Lillo; ArgentinaFil: Catania, Myriam del Valle. Fund.Miguel Lillo. Dir.de Botanica. Laboratorio Criptogámico; Argentin

Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.

Como respuesta a a necesidad de modernizar y homogeneizar el proceso de diseño y desarro llo de software par a el segmento de vuelo de sus misiones, la Agencia Espacial Europea puso en marcha en 2004 el proyecto ASSERT El resultado de este proyecto fue una nueva metodología basada en el desarrollo basado en modelo. Posteriormente, la propia Agencia promovió un nuevo proyecto, TASTE, con el objetivo de desarrollar un entorno de desarrollo que permitiera la puesta en práctica de la metodología propuesta en ASSERT. En el presente artículo se describen las principales características de este entorno de desarrollo, así como la experiencia en su uso en el ámbito del proyecto UPMSat-