The Development of an Internal Testing Process for a Bluetooth Product

BlueGiga Technologies on uusi Bluetooth -teknologiaa soveltava pk-yritys. Yrityksen tuotekehitysprosessia täydentämään tarvittiin testausprosessi. Testausprosessin luominen oli haastavaa, koska Bluetooth -teknologia on uutta ja yritys on vielä nuori. Lisäksi se integroi kovo- ja ohjelmistokomponentteja tuotteissaan. Testaus aloitettiin evaluoimalla standardinmukaista tapaa dokumentoida testit. Tämän jälkeen tutkittiin BlueGigan ohjelmistokehitysprosessin suhdetta olemassa oleviin ohjelmistokehitysprosesseihin. Samanaikaisesti perehdyttiin Bluetooth -kvalifikaation testaukselle asettamiin vaatimuksiin. Tämän seurauksena TTCN:ää kokeiltiin helppolukuisen testitapauksen määrittelyssä. Käyttötapauksiin perustuvan testauksen sopivuutta Wireless Remote Access Platform:in (WRAP) testaamiseen arvioitiin kokeilemalla sitä Man-to-Machine -käyttötapauksen testaamisessa. Yllämainittujen tehtävien aikana kerätyn tiedon ja hankittujen kokemusten pohjalta laadittiin testausprosessi, joka kattaa yksikkö-, integraatio- ja järjestelmätason testauksen. Painopiste on järjestelmätason testauksessa. Prosessi määrittelee myös vastuuhenkilön tai -henkilöt eri testaustasoille.

Privacy as a Tradeoff: Introducing the Notion of Privacy Calculus for Context-Aware Mobile Applications

Evidences collected from smartphones users show a growing desire of personalization offered by services for mobile devices. However, the need to accurately identify users' contexts has important implications for user's privacy and it increases the amount of trust, which users are requested to have in the service providers. In this paper, we introduce a model that describes the role of personalization and control in users' assessment of cost and benefits associated to the disclosure of private information. We present an instantiation of such model, a context-aware application for smartphones based on the Android operating system, in which users' private information are protected. Focus group interviews were conducted to examine users' privacy concerns before and after having used our application. Obtained results confirm the utility of our artifact and provide support to our theoretical model, which extends previous literature on privacy calculus and user's acceptance of context-aware technology.

Formal development and quantitative verification of dependable systems

-

Preparing for CRIS: Challenges and Opportunities for Systems Integration at Finnish Universities

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Similarity among periphyton algal communities in a lentic-lotic gradient of the upper Paraná river floodplain, Brazil

Floristic comparison of periphyton communities from three systems with different hydrodynamic regimes (lentic, semilotic, and lotic) was carried out during high and low water periods on the Upper Paraná River floodplain. For each period and system, glass slides were sampled every two days during 18-day periods, and Eichhornia azurea Kunth petioles were sampled three times. A total of 228 species was collected, representing 12 classes, mainly diatoms and desmids. The highest species-richness was found in communities from lentic system and during high water. Species richness in the lotic system was more stable over succession and hydrological periods. Algal taxonomic structure in river community was clearly separated from the other two systems, with 43% of similarity level. The hydrological period was next in importance, followed last by the substratum type, with communities associated at 65-78% similarity levels, depending on system and hydrological period. The type of system, but not the water levels,was the main factor that influenced community richness, followed by disturbances caused by flood pulses and the operation of reservoirs upstream. The periphyton on artificial and natural substrata presented high degree of similarity.

Découverte de cellules souches potentielles de l’épithélium thymique

Le thymus subit un vieillissement précoce, appelé involution thymique, qui cause une perte de fonction du thymus avec l’âge. À ce jour, les mécanismes de renouvellement des cellules épithéliales thymiques (TECs) sont encore mal compris, c’est pourquoi nous avons voulu identifier les cellules souches de l’épithélium thymique. Comme les cellules souches sont quiescentes dans plusieurs tissus, les objectifs de notre étude étaient de déterminer si l’épithélium thymique contenait des cellules quiescentes et d’étudier la cinétique de prolifération des TECs chez les souris jeunes et adultes. Pour ce faire, nous avons utilisé une souris transgénique (H2B-GFP Tet-On) nous permettant d’identifier les cellules ne se divisant pas sur une longue période de temps (LRC, label-retaining cells¬). Nous avons d’abord montré que les TECs proliféraient plus rapidement chez les femelles que les mâles. De plus, nous avons trouvé plusieurs différences entre l’épithélium thymique post-natal et adulte : (1) les TECs corticales (cTECs) et médullaires (mTECs) ont un taux de prolifération similaire chez les jeunes souris, mais chez l’adulte, les cTECs prolifèrent plus lentement que les mTECs; (2) les TECs prolifèrent plus rapidement chez les souris jeunes que adultes; (3) des LRC sont détectées chez l’adulte, mais pas chez les jeunes souris. Les LRC, retrouvées dans le compartiment cTEC, sous-expriment des gènes associés à la sénescence et surexpriment des gènes importants pour le développement et le renouvellement des TECs. Ces résultats montrent que ces cellules sont quiescentes et suggèrent qu’elles pourraient bel et bien être les progéniteurs thymiques responsables du renouvellement des TECs adultes.

Multimodal image fusion of anatomical structures for diagnosis, therapy planning and assistance

This paper provides an overview of work done in recent years by our research group to fuse multimodal images of the trunk of patients with Adolescent Idiopathic Scoliosis (AIS) treated at Sainte-Justine University Hospital Center (CHU). We first describe our surface acquisition system and introduce a set of clinical measurements (indices) based on the trunk's external shape, to quantify its degree of asymmetry. We then describe our 3D reconstruction system of the spine and rib cage from biplanar radiographs and present our methodology for multimodal fusion of MRI, X-ray and external surface images of the trunk We finally present a physical model of the human trunk including bone and soft tissue for the simulation of the surgical outcome on the external trunk shape in AIS.

La estructura y funcionalidad de los sistemas en el modelo de Bronfenbrenner y su utilidad en entornos empresariales

El proyecto será desarrollado en base al modelo ecológico del desarrollo humano, (Bronfenbrenner, 1999) partiendo desde la explicación y conceptualización del modelo en términos generales, guiando la investigación hacia un ámbito organizacional en donde se podrá aplicar la teoría descrita por Bronfenbrenner y así, determinar cuál es la estructura y funcionalidad de los sistemas en el modelo además de establecer qué utilidad tiene en entornos empresariales por medio del análisis de los múltiples sistemas, relaciones, interacciones y efectos que tienen y que desarrollan las empresas u organizaciones en el transcurso de su vida. A lo largo de la investigación se hará referencia a diferentes conceptos relacionados tanto con el modelo como con el mundo en que se desarrollan las organizaciones, tales como clusters, sistemas, sectores, estrategias, marketing relacional, comunidad, interacciones, influencias, entre otros; los cuales permitirán acercar lo mayor posible el modelo de Bronfenbrenner al mundo empresarial y lograr desarrollar de mejor manera la intención de aplicar el modelo al mundo organizacional.

Modelización bajo el enfoque de dinámica de sistemas de una cadena de abastecimiento para la industria vitivinícola

El proyecto de tesis denominado “Modelización bajo el enfoque de dinámica de sistemas de una cadena de abastecimiento para la industria vitivinícola” busca construir un modelo que aporte una solución óptima al problema logístico encontrado en la cadena de suministro, para que empresas nacionales o internacionales que tengan un funcionamiento similar al del sistema estudiado, puedan tomarlo como ejemplo o referencia. Así mismo, esta investigación pretende encontrar los problemas más frecuentes en cadenas de este tipo con el fin de construir un marco conceptual y teórico fundamentado en la Teoría General de Sistemas (TGS) que genere finalmente un modelo basado en la dinámica de sistemas el cual permitirá a las empresas diseñar y comparar las diferentes intervenciones derivadas del modelo que propicien la generación de capacidades dirigidas al logro de la competitividad de forma perdurable.

Modelo de gestión del conocimiento para una empresa del sector de insumos químicos para la industria farmacéutica, cosmética y de alimentos: caso Disaromas S.A.

La creación de conocimiento al interior de las organizaciones es visible mediante la dirección adecuada del conocimiento de los individuos, sin embargo, cada individuo debe interactuar de tal manera que forme una red o sistema de conocimiento organizacional que consolide a largo plazo las empresas en el entorno en el que se desenvuelven. Este documento revisa elementos centrales acerca de la gestión de conocimiento visto desde varios autores y perspectivas e identifica puntos clave para diseñar un modelo de gestión de conocimiento para una empresa del sector de insumos químicos para la industria farmacéutica, cosmética y de alimentos de la ciudad de Bogotá.

Pullpipelining: A technique for systolic pipelined circuits

Pullpipelining, a pipeline technique where data is pulled from successor stages from predecessor stages is proposed Control circuits using a synchronous, a semi-synchronous and an asynchronous approach are given. Simulation examples for a DLX generic RISC datapath show that common control pipeline circuit overhead is avoided using the proposal. Applications to linear systolic arrays in cases when computation is finished at early stages in the array are foreseen. This would allow run-time data-driven digital frequency modulation of synchronous pipelined designs. This has applications to implement algorithms exhibiting average-case processing time using a synchronous approach.