Turku Centre for Computer Science

About: Turku Centre for Computer Science is a facility organization based out in Turku, Finland. It is known for research contribution in the topics: Decidability & Word (group theory). The organization has 382 authors who have published 1027 publications receiving 19560 citations.

Decision problems concerning a power series generalization of DT0L systems

Abstract: We study a power series generalization of DTOL systems with main interest on decidability questions.

An approach for analysing and improving fault tolerance in radio architectures

Abstract: We present an approach for analysing and improving fault-tolerance aspects in radio architectures. This is a necessary step to be taken in order to implement reliable radio systems in future nanoscale technologies. We present problem formulation, optimisation approach and implementation methodology. We are adding fault tolerance at architecture level by taking advantage of existing parallel structures and using a spare module approach in order to minimise hardware overhead needed. These issues have been analysed and demonstrated using two radio case studies: a UMTS MIMO and a GSM diversity receivers.

SPECTA: A formal specification language for content transfer algorithms

Abstract: When data is transferred between nodes in a network, it is often transferred in-order. However, in distributed systems, such as peer-to-peer networks and cloud-based systems, transferring data out-of-order can be advantageous, for instance by improving transfer speed, availability and reliability. With the intent of creating a reusable formalism that can describe the complexities of out-of-order content transfer in a simple manner, while being powerful enough to support as large a variety of distributed content transfer algorithms as possible, we introduce the Specification for Content Transfer Algorithms (SPECTA) language. In this article, we also show how algorithms written in this language can be translated into other formalisms such as Event-B for analysis, verification or code generation.

Time and Space Partitioning Using On-Board Software Reference Architecture

Abstract: In this paper, we present lessons learned from the EagleEye Time and Space Partitioning (TSP) project in which time and space partitioning was applied to the EagleEye reference mission of European Space Agency (ESA). We identify challenges in EagleEye TSP and categorise them according to the design problem to be related to 1) communication and data sharing and 2) timing dependencies between partitions and applications of the partitions. We also suggest improvements to the approach to tackle the challenges based on ESA's On-Board Software Reference Architecture (OSRA).