DIstributed Jointly Operating Networks
The Distributed Systems Laboratory is a research laboratory within the Turku Centre for Computer Science (TUCS). It involves a group of researchers from the Department of Information Technologies at Åbo Akademi University (ABO) and a group from University of Turku, Department of Information Technology, Computer Systems lab (UTU). The laboratory is multidisciplinary with the ABO group having background in computer science and software engineering while the background of the UTU group is in electronics and computer engineering. The mission of the Distributed Systems Laboratory is to develop methods, tools and techniques that help in the design of dependable computer based systems, both software and hardware.
The main hypothesis for the research programme of the Distributed Systems Laboratory can be stated as follows: The use of formal methods and the system approach has a positive impact on producing and maintaining high quality, dependable systems and software. Within DIJON our main objective is to develop the system approach further and extend it to support component based correct-by-construction design of networked systems, i.e. systems, software and services, as well as hardware. The ABO group specialises in the design methodology for systems and software while the UTU group develops methods to design hardware, mainly digital single-chip systems and implementation platforms.