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.

Neurocognitive changes in early-stage Parkinson's disease : functional and structural brain correlates of memory and verbal functions

Resultaten påvisade små, men mätbara försämringar i minnes- och verbal förmåga hos personer som haft Parkinsons sjukdom under tre år. Jämfört med en kontrollgrupp uppvisade Parkinsonpatienter avvikande responser i hjärnans elektriska aktivitet under en korttidsminnesuppgift, och de presterade även sämre i olika typer av andra minnesuppgifter. Försämring i en specifik typ av minnesuppgift korrelerade med förminskad volym i höger hjärnhalva. Samband hittades också mellan sämre verbal förmåga och förminskad volym i djupa hjärnstrukturer. Förminskad hjärnvolym har tidigare påvisats hos dementa patienter i senare sjukdomsstadier. Forskningsresultaten bidrar med ny kunskap om kognitiva symptom och deras neurala bakgrund vid Parkinsons sjukdom. De tyder också på att tidig kognitiv funktionsnedsättning kan identifieras, vilket kan bidra till utvecklingen av sjukdomens behandling. Parkinsons sjukdom är den näst vanligaste neurogeriatriska sjukdomen efter Alzheimers sjukdom. Symptomen uppstår som följd av förminskad produktion av hjärnans transmittorämne dopamin. Parkinsons sjukdom har traditionellt betraktats som en progressiv motorisk sjukdom. Ny forskning tyder på att multipla hjärnsystem skadas, vilket resulterar i att även tankeprocesser påverkas. 75-80% uppskattas insjukna i demens 10-15 år efter diagnos, men det kognitiva sjukdomsförloppet och orsaken till demenssymptomen är tillsvidare okänd. I Finland uppskattas ca 10-12 000 personer ha Parkinsons sjukdom, varav ca 3 000 uppskattas ha demens. ----------------------------------------------------------------------------------------------------------------------------------------------------- Tutkimuksessa todettiin lieviä muutoksia muisti- ja kielellisissä toiminnoissa alle kolme vuotta sairastaneilla Parkinson-potilailla. Potilailla havaittiin poikkeavia aivosähkötoiminnan vasteita lyhytkestoista muistia mittaavan tehtävän aikana. Potilaat suoriutuivat myös verrokkiryhmää heikommin useissa muistitehtävissä. Heikentynyt tahaton muisti liittyi pienempään aivokuoren harmaan aineen paikalliseen tilavuuteen. Heikompi kielellinen suoriutuminen liittyi pienempään harmaan aineen tilavuuteen aivojen syvissä rakenteissa. Pienentyneitä aivorakenteiden tilavuuksia on aiemmin todettu dementoituneilla Parkinson-potilailla sairauden myöhemmissä vaiheissa. Tutkimustulokset tuovat uutta tietoa Parkinsonin taudin kognitiivisista oireista ja niiden aivoperäisestä taustasta. Tulosten perusteella on mahdollista tunnistaa jo varhaisia kognitiivisia muutoksia, mikä voi mahdollistaa tehokkaamman hoidon kohdentamisen. Parkinsonin tauti on Alzheimerin taudin jälkeen toiseksi yleisin neurogeriatrinen sairaus. Oirekuva liittyy aivojen dopaminergisen järjestelmän rappeutumiseen. Perinteisesti liikehäiriösairaudeksi luokiteltu sairaus vaurioittaa lukuisia muita aivojärjestelmiä aiheuttaen muutoksia myös mm. ajattelutoiminnoissa. Pitkään sairastaneista 75–80 prosentilla esiintyy dementiaoireita, mutta oireiden syy ja kehityskaari tunnetaan toistaiseksi huonosti. Suomessa on arviolta 10–12 000 Parkinson-potilasta, joista noin 3 000 arvioidaan kärsivän dementiaoireista.

A distributed, cloud-ready, digital content processing and transformation platform and a specific use case

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

Distributed Repositories of Medieval Calendars and Crowd-Sourcing of Transcription

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

A Distributed Microservices Framework Integrating Taverna

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

Exit times for some processes with normally distributed noise

Denna avhandling handlar om metoder för att hitta begränsningar för det asymptotiska beteendet hos en förväntad uthoppstid från ett område omkring en xpunkt för processer som har normalfördelad störning. I huvudsak behandlas olika typer av autoregressiva processer. Fyra olika metoder används. En metod som använder principen för stora avvikelser samt en metod som jämför uthoppstiden med en återkomsttid ger övre begränsningar för den förväntade uthoppstiden. En martingalmetod och en metod för normalfördelade stokastiska variabler ger undre begränsningar. Metoderna har alla både förtjänster och nackdelar. Genom att kombinera de olika metoderna får man de bästa resultaten. Vi får fram gränsvärdet för det asymptotiska beteendet hos en uthoppstid för den multivariata autoregressiva processen, samt motsvarande gränsvärde för den univariata autoregressiva processen av ordning n.

Between Memory and Strategy: Media Discourse Analysis of an Industrial Shutdown

In 2006 UPM was able to gain a level of social legitimacy that allowed it to carry out one of the largest industrial restructuring programmes in Finnish industrial history, shut down major operations in Finland and still appear to be functioning in the interests of the nation as well as itself. This study considers and examines various contexts of this shutdown with the aim of demonstrating how profoundly mediated such organizational events are though they appear to be produced primarily through strategic company decisions. The study aims to examine the processes of mediation at two levels. At one level, through close analysis of press releases and newspaper reports in local and national newspapers, the study presents a discursive analysis of the Voikkaa case. The discursive analysis focuses on providing historical contexts for understanding why this organizational event was also an occasion for reimagining the past and future of the Finnish nation; spatial contexts for understanding the differing struggles over the meaning of the event nationally and regionally; and the temporal dynamics of the media reports. At another level, the study considers and refines methods for reading and analyzing mediation in organization studies. Bringing together recent research of media text–based legitimation studies, emerging research on organizational memory and organizational death and a Foucaultian analytics of power, this work suggests that organizational research needs to be less concerned with particular typologies and narratives of shutdowns, and more curious about the processes of mediation through which organizational events are imagined and remembered.

On Distributed Storage Codes

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.

Collective Memory Embodied in Poetry as Poison. The Mnemonic Role of Romantic Poets Discussed on the Basis of Adam Mickiewicz’ Konrad Wallenrod and Forefathers (Part III)

This thesis constitutes an interdisciplinary approach to the Polish Romanticism combining literature studies with memory studies, nationalism research and psychoanalysis. This phenomenon-based study attempts to answer the question, how the Polish national poet Adam Mickiewicz (1798–1855) – or more exactly the implied authors in his works – perceived the role of poetry in mnemonic terms and how it changes in course of time. Consequently, ‘memory in literature’ (Astrin Erll and Ansger Nünning) is discussed here. Two pieces of writing by Mickiewicz – Konrad Wallenrod [1828] and the third part of Forefathers [1832], where a bard respectively a poetic genius appears – are seen as meta-texts defining goals of poets in time of the political non-existence of a state. Poetry is supposed to keep memory of the glorious past alive, kindle the love for the motherland, support the collective identity of a group and initiate a liberation movement. Poets function as memory guards, leaders of the nation and prophets. Thus, literature is a medium of collective memory – it stores crucial contents, transmits them and acts as a cue. Nevertheless, shifting the focus from the community towards well-being of individuals, which is consistent with the postmodern thinking, the impact that poetry has on members of a given memory culture (Jan Assmann) can be described in ‘vampiric’ terms (Maria Janion). Poetry embodying collective memory may be compared to ‘poison’, ‘infecting’ people with a nationalistic way of thinking to their disadvantage as far as their personal lives are concerned.

Load balancing in P2P smartphone based distributed IoT systems

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Proximity Based Authentication in IoT

IoT consists of essentially thousands of tiny sensor nodes interconnected to the internet, each one of which executes the programmed functions under memory and power limita- tions. The sensor nodes are distributed mainly for gathering data in various situations. IoT envisions the future technologies such as e-health, smart city, auto-mobiles automa- tion, construction sites automation, and smart home. Secure communication of data under memory and energy constraints is major challenge in IoT. Authentication is the first and important phase of secure communication. This study presents a protocol to authenticate resource constraint devices in physical proximity by solely using the shared wireless communication interfaces. This model of authentication only relies on the abundance of ambient radio signals to authenticate in less than a second. To evaluate the designed protocol, SkyMotes are emulated in a network environment simulated by Contiki/COOJA. Results presented during this study proves that this approach is immune against passive and active attacks. An adversary located as near as two meters can be identified in less than a second with minimal expense of energy. Since, only radio device is used as required hardware for the authentication, this technique is scalable and interoperable to heterogeneous nature of IoT.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

Distributed energy resources in an electricity retailer’s short-term profit optimization

Liberalization of electricity markets has resulted in a competed Nordic electricity market, in which electricity retailers play a key role as electricity suppliers, market intermediaries, and service providers. Although these roles may remain unchanged in the near future, the retailers’ operation may change fundamentally as a result of the emerging smart grid environment. Especially the increasing amount of distributed energy resources (DER), and improving opportunities for their control, are reshaping the operating environment of the retailers. This requires that the retailers’ operation models are developed to match the operating environment, in which the active use of DER plays a major role. Electricity retailers have a clientele, and they operate actively in the electricity markets, which makes them a natural market party to offer new services for end-users aiming at an efficient and market-based use of DER. From the retailer’s point of view, the active use of DER can provide means to adapt the operation to meet the challenges posed by the smart grid environment, and to pursue the ultimate objective of the retailer, which is to maximize the profit of operation. This doctoral dissertation introduces a methodology for the comprehensive use of DER in an electricity retailer’s short-term profit optimization that covers operation in a variety of marketplaces including day-ahead, intra-day, and reserve markets. The analysis results provide data of the key profit-making opportunities and the risks associated with different types of DER use. Therefore, the methodology may serve as an efficient tool for an experienced operator in the planning of the optimal market-based DER use. The key contributions of this doctoral dissertation lie in the analysis and development of the model that allows the retailer to benefit from profit-making opportunities brought by the use of DER in different marketplaces, but also to manage the major risks involved in the active use of DER. In addition, the dissertation introduces an analysis of the economic potential of DER control actions in different marketplaces including the day-ahead Elspot market, balancing power market, and the hourly market of Frequency Containment Reserve for Disturbances (FCR-D).