Methods of Design and Testing of Real Time Systems

Teollusuussovelluksissa vaaditaan nykyisin yhä useammin reaaliaikaista tiedon käsittelyä. Luotettavuus on yksi tärkeimmistä reaaliaikaiseen tiedonkäsittelyyn kykenevän järjestelmän ominaisuuksista. Sen saavuttamiseksi on sekä laitteisto, että ohjelmisto testattava. Tämän työn päätavoitteena on laitteiston testaaminen ja laitteiston testattavuus, koska luotettava laitteistoalusta on perusta tulevaisuuden reaaliaikajärjestelmille. Diplomityössä esitetään digitaaliseen signaalinkäsittelyyn soveltuvan prosessorikortin suunnittelu. Prosessorikortti on tarkoitettu sähkökoneiden ennakoivaa kunnonvalvontaa varten. Uusimmat DFT (Desing for Testability) menetelmät esitellään ja niitä sovelletaan prosessorikortin sunnittelussa yhdessä vanhempien menetelmien kanssa. Kokemukset ja huomiot menetelmien soveltuvuudesta raportoidaan työn lopussa. Työn tavoitteena on kehittää osakomponentti web -pohjaiseen valvontajärjestelmään, jota on kehitetty Sähkötekniikan osastolla Lappeenrannan teknillisellä korkeakoululla.

Architectures for Context Aware Services in Smart Environments

This thesis deals with Context Aware Services, Smart Environments, Context Management and solutions for Devices and Service Interoperability. Multi-vendor devices offer an increasing number of services and end-user applications that base their value on the ability to exploit the information originating from the surrounding environment by means of an increasing number of embedded sensors, e.g. GPS, compass, RFID readers, cameras and so on. However, usually such devices are not able to exchange information because of the lack of a shared data storage and common information exchange methods. A large number of standards and domain specific building blocks are available and are heavily used in today's products. However, the use of these solutions based on ready-to-use modules is not without problems. The integration and cooperation of different kinds of modules can be daunting because of growing complexity and dependency. In this scenarios it might be interesting to have an infrastructure that makes the coexistence of multi-vendor devices easy, while enabling low cost development and smooth access to services. This sort of technologies glue should reduce both software and hardware integration costs by removing the trouble of interoperability. The result should also lead to faster and simplified design, development and, deployment of cross-domain applications. This thesis is mainly focused on SW architectures supporting context aware service providers especially on the following subjects: - user preferences service adaptation - context management - content management - information interoperability - multivendor device interoperability - communication and connectivity interoperability Experimental activities were carried out in several domains including Cultural Heritage, indoor and personal smart spaces – all of which are considered significant test-beds in Context Aware Computing. The work evolved within european and national projects: on the europen side, I carried out my research activity within EPOCH, the FP6 Network of Excellence on “Processing Open Cultural Heritage” and within SOFIA, a project of the ARTEMIS JU on embedded systems. I worked in cooperation with several international establishments, including the University of Kent, VTT (the Technical Reserarch Center of Finland) and Eurotech. On the national side I contributed to a one-to-one research contract between ARCES and Telecom Italia. The first part of the thesis is focused on problem statement and related work and addresses interoperability issues and related architecture components. The second part is focused on specific architectures and frameworks: - MobiComp: a context management framework that I used in cultural heritage applications - CAB: a context, preference and profile based application broker which I designed within EPOCH Network of Excellence - M3: "Semantic Web based" information sharing infrastructure for smart spaces designed by Nokia within the European project SOFIA - NoTa: a service and transport independent connectivity framework - OSGi: the well known Java based service support framework The final section is dedicated to the middleware, the tools and, the SW agents developed during my Doctorate time to support context-aware services in smart environments.

Libre Courseware For Bayesian Decision Making

This paper describes the ideas and problems of the Edukalibre e-learning project, in which the author takes part. The basic objective of the project shares the development and exploitation of software components for web-based information systems applied to education as well as organizing of teaching material for them. The paper concerns a problem of the mathematical-oriented courseware and describes the experience in developing LaTeX-supporting online converting tool.

The EMBL nucleotide sequence database

The EMBL Nucleotide Sequence Database (http://www.ebi.ac.uk/embl/) is maintained at the European Bioinformatics Institute (EBI) in an international collaboration with the DNA Data Bank of Japan (DDBJ) and GenBank at the NCBI (USA). Data is exchanged amongst the collaborating databases on a daily basis. The major contributors to the EMBL database are individual authors and genome project groups. Webin is the preferred web-based submission system for individual submitters, whilst automatic procedures allow incorporation of sequence data from large-scale genome sequencing centres and from the European Patent Office (EPO). Database releases are produced quarterly. Network services allow free access to the most up-to-date data collection via ftp, email and World Wide Web interfaces. EBI’s Sequence Retrieval System (SRS), a network browser for databanks in molecular biology, integrates and links the main nucleotide and protein databases plus many specialized databases. For sequence similarity searching a variety of tools (e.g. Blitz, Fasta, BLAST) are available which allow external users to compare their own sequences against the latest data in the EMBL Nucleotide Sequence Database and SWISS-PROT.

Iowa Influenza Surveillance Network: Weekly Activity Report Week 17, April 30, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report Week 18, May 7, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report Week 19, May 14, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report Week 20, May 21, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report Week 21, May 28, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report, June, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report, July, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report, August, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Iowa Influenza Surveillance Network: Weekly Activity Report, September, 2016

The Iowa Influenza Surveillance Network (IISN) was established in 2004, though surveillance has been conducted at the Iowa Department of Public Health. Schools and long-term care facilities report data weekly into a Web-based reporting system. Schools report the number of students absent due to illness and the total enrolled. Long-term care facilities report cases of influenza and vaccination status of each case. Both passively report outbreaks of illness, including influenza, to IDPH.

Approximated Poncelet configurations

In this short note we present the approximate construction of closed Poncelet configurations using the simulation of a mathematical pendulum. Although the idea goes back to the work of Jacobi, only the use of modern computer technologies assures the success of the construction. We present also some remarks on using such problems in project based university courses and we present a Matlab program able to produce animated Poncelet configurations with given period. In the same spirit we construct Steiner configurations and we give a few teaching oriented remarks on the Poncelet grid theorem. (DIPF/authors)

POSTDATA – Towards publishing European poetry as linked open data

POSTDATA is a 5 year's European Research Council (ERC) Starting Grant Project that started in May 2016 and is hosted by the Universidad Nacional de Educación a Distancia (UNED), Madrid, Spain. The context of the project is the corpora of European Poetry (EP), with a special focus on poetic materials from different languages and literary traditions. POSTDATA aims to offer a standardized model in the philological field and a metadata application profile (MAP) for EP in order to build a common classification of all these poetic materials. The information of Spanish, Italian and French repertoires will be published in the Linked Open Data (LOD) ecosystem. Later we expect to extend the model to include additional corpora. There are a number of Web Based Information Systems in Europe with repertoires of poems available to human consumption but not in an appropriate condition to be accessible and reusable by the Semantic Web. These systems are not interoperable; they are in fact locked in their databases and proprietary software, not suitable to be linked in the Semantic Web. A way to make this data interoperable is to develop a MAP in order to be able to publish this data available in the LOD ecosystem, and also to publish new data that will be created and modeled based on this MAP. To create a common data model for EP is not simple since the existent data models are based on conceptualizations and terminology belonging to their own poetical traditions and each tradition has developed an idiosyncratic analytical terminology in a different and independent way for years. The result of this uncoordinated evolution is a set of varied terminologies to explain analogous metrical phenomena through the different poetic systems whose correspondences have been hardly studied – see examples in González-Blanco & Rodríguez (2014a and b). This work has to be done by domain experts before the modeling actually starts. On the other hand, the development of a MAP is a complex task though it is imperative to follow a method for this development. The last years Curado Malta & Baptista (2012, 2013a, 2013b) have been studying the development of MAP's in a Design Science Research (DSR) methodological process in order to define a method for the development of MAPs (see Curado Malta (2014)). The output of this DSR process was a first version of a method for the development of Metadata Application Profiles (Me4MAP) (paper to be published). The DSR process is now in the validation phase of the Relevance Cycle to validate Me4MAP. The development of this MAP for poetry will follow the guidelines of Me4MAP and this development will be used to do the validation of Me4MAP. The final goal of the POSTDATA project is: i) to be able to publish all the data locked in the WIS, in LOD, where any agent interested will be able to build applications over the data in order to serve final users; ii) to build a Web platform where: a) researchers, students and other final users interested in EP will be able to access poems (and their analyses) of all databases; b) researchers, students and other final users will be able to upload poems, the digitalized images of manuscripts, and fill in the information concerning the analysis of the poem, collaboratively contributing to a LOD dataset of poetry.