A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Profile of a technical writer

Abstract

Vitamin B12 Deficiency in the aged: Laboratory Diagnosis, Prevalence and Clinical Profile

B₁₂-vitamiinin puute iäkkäillä: laboratoriodiagnostiikka, yleisyys ja yhteys sairastavuuteen Tausta: B12-vitamiinin puute on yleistä iäkkäillä ja se tulisi todeta riittävän varhaisessa vaiheessa palautumattomien vaurioiden estämiseksi. On epäselvää pitäisikö diagnostiikka kohdistaa tiettyihin riskiryhmiin vai mahdollisesti seuloa valikoimatonta vanhusväestöä. Myöskään yksimielisyyttä laboratoriotutkimusten valinnasta ei ole. Tavoitteet: Tutkimuksen tarkoituksena oli evaluoida uutta HoloTC RIA menetelmää ja tuottaa viitearvot sille, selvittää B12-vitamiinin puutteen yleisyys, yhteys sairastavuuteen ja mahdolliset riskitekijät suomalaisessa vanhusväestössä, arvioida munuaisfunktion vaikusta B12-vitamiinin puutteen laboratoriotutkimuksiin ja näiden perusteella ehdottaa suomalaiseen terveydenhuoltoon sopivaa laboratoriotutkimusstrategiaa. Aineisto ja menetelmät: Liedon iäkkäät -tutkimuksen vanhusaineisto on edustava otos yhden kunnan yli 65-vuotiaasta väestöstä, yhteensä 1260 henkilöä. Tutkittavat kävivät lääkärintarkastuksessa, ja heistä on käytettävissä runsaasti laboratoriotutkimuksia sekä tiedot sairauksista, ruokavaliosta, lääkkeiden ja vitamiinivalmisteiden käytöstä, dementiaseula ja depressiokysely. Viitearvoaineistoa varten kerättiin näytteet 84 vapaaehtoisesta terveestä aikuisesta ja menetelmäevaluaatiota varten 107 sairaalapotilaasta. Tulokset: HoloTC RIA menetelmän toistettavuus oli hyvä manuaalimenetelmäksi. 95%:n viiteväli holotranskobalamiinille oli 37-171 pmol/l. Kaikilla tutkittavilla, joilla oli muilla laboratoriotutkimuksilla osoitettu todennäköinen B12-vitamiinin puute, myös holotranskobalamiini oli viitealueen alarajaa pienempi. Suurentuneella kystatiini C-pitoisuudella osoitettu munuaisten vajaatoiminta korreloi voimakkaasti homokysteiinin (rs=0.53, p<0.001) ja metyylimalonihapon (rs=0.27, p<0.001) pitoisuuksiin, mutta ei kokonais-B12-vitamiinin (rs=- 0.04, p=0.227) tai holotranskobamiinin (rs=-0.01, p=0.817) pitoisuuksiin. Suomalaisessa vanhusväestössä B12-vitamiinin puutteen prevalenssi oli 12%. Kokonais- B12-vitamiinin pitoisuus oli matala (<150 pmol/l) 6%:lla. Miessukupuoli (OR 1.9, 95% CI 1.2-2.9), ikä ≥75 (OR 2.2, 95% CI 1.4-3.4) ja maitotuotteiden välttäminen (OR 2.3, 95% CI 1.2-4.4) lisäsivät B12-vitamiinin puutteen riskiä, mutta anemia (OR 1.3, 95% CI 0.7-2.3) tai makrosytoosi (OR 1.2, 95% CI 0.6-2.7) eivät. Päätelmät: Diagnosoimaton B12-vitamiinin puute on yleistä iäkkäillä, mutta kliinisesti merkityksellistä spesifistä riskiryhmää ei löydy. Koska anemian ja makrosytoosin puuttuminen ei poissulje B12-vitamiinin puutetta ja munuaisten vajaatoiminta heikentää metabolisten merkkiaineiden käyttökelpoisuutta, kokonais-B12-vitamiinia suositellaan ensisijaiseksi laboratoriotutkimukseksi epäiltäessä B12-vitamiinin puutetta ja tarvittaessa varmentavina tutkimuksina käytetään homokysteiiniä ja holotranskobalamiinia.

Measurement of the air permeability profile on SC paper machine

Tämän diplomityön tarkoituksena oli asentaa ja kehittää UPM-Kymmene Rauman tehtaiden PK2:lle luotettava ja toimiva ilmanläpäisyprofiilin mittaus. Työn tarkoituksena oli myös kartoittaa tietoja ilmanläpäisyprofiiliin vaikuttavista seikoista sekä mahdollisuuksista säätää ilmanläpäisyprofiilia. Lisäksi työn tavoitteena oli löytää toimiva menetelmä verrata online mitattua ilmanläpäisyprofiilia laboratoriossa mitattuun ilmanläpäisyprofiiliin online mittauksen luotettavuuden näkökulmasta. Työn aikana selvitettiin myös ilmanläpäisyprofiilin mittauksen mahdollisuutta superkalanteroidusta SC paperista. Työn kirjallisessa osassa käsiteltiin paperin huokoisuutta ja ilmanläpäisyä, huokoisuustasoon ja huokoisuus profiiliin vaikuttavia tekijöitä, ilmanläpäisevyyden merkitystä SC paperin valmistukselle ja SC paperin painettavuudelle sekä ilmanläpäisevyyden laboratorio- sekä online mittausta. Kirjallisessa osassa käsiteltiin myös Honeywellin uutta Poros ilmanläpäisysensoria. Työn kokeellisessa osassa tutkittiin ilmanläpäisyprofiilimittauksen luotettavuutta CD ja MD suunnassa sekä laboratorio- ja online-mittausten välisiä eroavaisuuksia ennen PK2 uusintaa. PK2 uusinnan jälkeen kokeellisessa osassa keskityttiin luotettavuuden varmentamiseen CD ja MD suunnassa sekä kartoittamaan tekijöitä, jotka aiheuttivat pieniä tasoeroja mittausten välillä. Mittaukset todettiin luotettaviksi ja niiden pohjalta suoritettiin mitattujen online profiilien välisiä vertailuja. Ilmanläpäisyprofiililla todettiin olevan positiivinen korrelaatio neliömassaprofiilin ja kosteusprofiilin kanssa sekä negatiivinen korrelaatio tuhkaprofiilin kanssa. PK2 uusinnan yhteydessä tehtiin koeajoja, jotka liittyivät laadunoptimointiin viira- ja puristinosalla. Koeajoissa tutkittujen asioiden lisäksi tutkittiin muutettujen parametrien vaikutusta ilmanläpäisyprofiiliin. Höyrylaatikon vaikutusta ilmanläpäisyprofiiliin tutkittiin säätöjen virityksen yhteydessä.

An Evaluation of the Paper Profile - a comparative assessment of the applicability of an emerging environmental communication tool in pulp and paper industry

Diplomityön tavoitteena oli arvioida uutta sellu-, paperi- ja kartonkiteollisuuden Paper Profile -ympäristötuoteselostetta. Paper Profilen tarkoituksena on tarjota paperiteollisuuden asiakkaille ja muille kiinnostuneilla sidosryhmille yhtenäistä ympäristöinformaatiota koskien paperituotteiden koostumusta ja tuotteiden tärkeimpiä ympäristöparametrejä. Työn tärkein tavoite oli arvioida kriittisesti Paper Profilea ja verrata konseptia ISO:n, Kansainvälisen stardardisoimisliiton tuoteselosteeseen sekä löytää konseptien yhtäläisyydet ja erot. Tärkein tehtävä oli tunnistaa ne avaintekijät, joiden avulla Paper Profile -tuoteselostetta voitaisiin pitää yhtenevänä ISO/TR 14025 teknisen raportin kanssa. Lisäksi Paper Profile -tuoteselosteen mahdolliset kehittämistarpeet arvioitiin ISO-tuoteselosteen näkökulmasta. Työn toinen tavoite oli kerätä ja analysoida uuteen tuoteselosteeseen liittyvä asiakaspalaute ja verrata sitä Stora Enson tehtaiden ympäristöpäälliköiden antamiin Paper Profilea koskeviin kommentteihin. Työn tuloksena huomattiin, että Paper Profile -konsepti sellaisenaan ei ole kovin informatiivinen vaan tuoteseloste jättää monia ympäristökysymyksiä avoimeksi. Siitä huolimatta Paper Profile tarjoaa riittävän taustan eri paperituotteiden ympäristökuormitusten keskinäiselle vertailuille. Konseptin viestinnällinen näkökulma paranisi huomattavasti, jos tuoteselosteeseen lisättäisiin kolmannen osapuolen verifiointi. Lisäksi referenssiarvot kertoisivat asiakkaille paremmin esitettyjen parametrien taustoista. Stora Enson tehtaiden ympäristöpäälliköiden, samoin kuin asiakkaidenkin mielestä Paper Profile on yleisesti ottaen potentiaalinen ympäristöviestinnän työkalu, mutta silti konseptiin ehdotettiin joitakin pieniä muutoksia. Avoinna olevat metsäsertifiointikysymykset ja niiden puutteellinen tiedottaminen tuoteselosteessa puhututtivat sekä tehtaiden henkilöstöä että yritysasiakkaita.

Improving Cross Direction Basis Weight Profile in a Fourdrinier Paper Machine

The purpose of this study was to improve PM7’s basis weight CD profile in Stora Enso’s Berghuizer mill and to search mechanical defects which affect to the formation of the basis weight CD profile. In the theoretical part PM7’s structure was presented and the formation of the basis weight and caliper CD profiles was examined as well as disturbances which are affecting to the formation. The function of the control system was scrutinised for the side of CD profiles as well as the formation of the measured CD profiles. Tuning of the control system was examined through the response model and filtering. Specification of the response model and filtering was explained and how to determine 2sigma statistical number. In the end of the theoretical part ATPA hardware and a new profile browser were introduced. In the experimental part focus was in the beginning to search and remove mechanical defects which are affecting to CD profiles. The next step was to verify the reliability of the online measurements, to study the stability of the basis weight CD profile and to find out so called fingerprint, a basis weight CD profile which is unique for each paper machine. New response model and filtering value for basis weight CD profile was determined by bump tests. After a follow up period the affect of the new response model and filtering was analysed.

UCL Discovery: raising the Open Access profile at the institution

Presentation at the "Tutkimus vapaaksi verkkoon!" seminar in Helsinki, January 25, 2011

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Advanced epithelial ovarian cancer – studies on preoperative [18F] FDG PET/CT and HE4 profile during primary chemotherapy

Epithelial ovarian cancer (EOC) is usually diagnosed in an advanced stage. The prognosis depends highly on the amount of the residual tumor in surgery. In patients with extensive disease, neoadjuvant chemotherapy (NACT) is used to diminish the tumor load before debulking surgery. New non-invasive methods are needed to preoperatively evaluate the disease dissemination and operability. [18F] FDG PET/CT (Positron emission tomography/computed tomography) is a promising method for cancer diagnostics and staging. The biomarker profiles during treatment can predict patient’s outcome. This prospective study included 41 EOC patients, 21 treated with primary surgery and 20 with NACT and interval surgery. The performances of preoperative contrast enhanced PET/CT (PET/ceCT) and diagnostic CT (ceCT) were compared. Perioperative visual estimation of tumor spread was studied in primary and interval surgery. The profile of the serum marker HE4 (Human epididymis 4) during primary chemotherapy was evaluated. In primary surgery, surgical findings were found to form an adequate reference standard for imaging studies. After NACT, the sensitivity for visual estimation of cancer dissemination was significantly worse. Preoperative PET/ceCT was more effective than ceCT alone in detecting extra-abdominal disease spread. The high number of supradiaphragmatic lymph node metastases detected by PET/ceCT at the time of diagnosis brings new insight in EOC spread patterns. The sensitivity of both PET/CT and ceCT remained modest in intra-abdominal areas important to operability. The HE4 profile was in concordance with the CA125 profile during primary chemotherapy. Its role in the evaluation of EOC chemotherapy response will be clarified in further studies.