Ankündigungen


Vom 09.09.-13.09.2019 findet in Cottbus die Tagung Declare 2019 zur Deklarativen Programmierung bestehend aus folgenden Events statt:

  WLP 2019 - 33rd Workshop on
     (Constraint) Logic Programming,
  WFLP 2019 - 27th International Workshop on
     Functional and Logic Programming  und
  INAP 2019  - 22nd International Conference on Applications of
     Declarative Programming and Knowledge Management


Informatik-Kolloquium

Zum Kolloquium am Donnerstag, dem 13.06.2019, laden wir alle Interessenten recht herzlich ein.

 Prof. Fabian Vargas, Catholic University – PUCRS, Porto Alegre, Brasilien spricht zum Thema:
„Recent research topics in the Signals & Systems for Computing (SiSC) Group“

Termin: 14:30 Uhr
Raum: Verfügungsgebäude, Seminarraum 0.01

Abstract:
The presentation is split in two parts. First, we address research on the development of a combined ionizing radiation & electromagnetic interference test procedure to achieve reliable integrated circuits. Then, in the second part, we focus research on the development of  a new approach to support mixed-criticality workload execution and a fault-free task scheduling algorithm in a multicore processor-based embedded system.

Part I: International standards have been proposed and used to test Integrated Circuits (ICs) for Total-Ionizing Dose (TID) and Single-Event Upset (SEU) as well as for Electromagnetic Interference (EMI). Nevertheless, these standards are separately applied to the IC or electronic system, one after the other, and do not take into account the combined effects of these types of radiation may take over the ICs. In more detail, there is no standard that rules combined tests for TID, SEU and EMI. This topic addresses this lack of product quality information and develop a new methodology to improve the reliability of ICs by performing combined tests for TID, SEU and EMI. We also present recent experimental results from combined measurements we performed on a commercial FPGA IC widely used in critical embedded applications such as aerospace and automotive.
Such results strongly suggest that the effects of radiation are not negligible and should be taken into account if one intends to design reliable embedded systems.

Part II: Recently, the use of multicore processors in general-purpose real-time embedded systems has experienced a huge increase. Unfortunately, critical applications are not benefiting from this type of processors as one could expect. The major obstacle is that we may not predict and provide any guarantee on real-time properties of software running on such platforms. The shared memory bus is among the most critical resources,
which severely degrades the timing predictability of multicore software due to the bus access contention between cores. This part of the talk presents the current research state on a new approach to support mixed-criticality workload execution in a multicore processor-based embedded system. The approach is based on the use of an infrastructure intellectual property (I-IP) core named Deadline Enforcement Checker (DEC), implemented in hardware, which automatically manages the execution of any number of cores in a TDMA-based bus access police while guaranteeing critical task schedulability. This approach allows the exploitation of the maximum performance offered by a multiprocessing system while guaranteeing critical task schedulability, i.e., that the critical task execution will not violate timing deadline. A case-study based on a quad-core version of the LEON3 softcore processor was implemented in VHDL language. Practical experiments demonstrate the proposed technique is very effective on combining system high performance with critical task schedulability within timing deadline. We also present a second functionality of the DEC I-IP, which aims at monitoring the scheduling process in an Operating System (OS). A preliminary case-study is under implementation, where the OS is running the Early Deadline First (EDF) task scheduling algorithm. The goal of the DEC I-IP, in this case, is to detect faults that escape detection by the native fault detection mechanisms embedded in the OS kernel.

Announcement


Informatik-Kolloquium

Zum Kolloquium am Dienstag, dem 28.05.2019 laden wir alle Interessenten recht herzlich ein.

Dipl.-Inf. Thomas Prescher und Dipl.-Inf. Julian Stecklina von der Cyberus Technology GmbH aus Dresden sprechen zum Thema:
"LazyFP: Discovering Side-Channels is not a Beach Vacation"

Termin: Dienstag, 28.05.2019  15:30 Uhr
Raum: ZHG, Hörsaal C

Abstract:

In 2018, we jointly discovered and responsibly disclosed the LazyFP microarchitectural side-channel vulnerability (CVE-2018-3665). LazyFP is a Meltdown-type attack on hypervisors and operating systems that use lazy FPU context switching and allows recovery of FPU/SSE/AVX register sets across process and virtual machine boundaries. The underlying microarchitectural flaw is present in all modern Intel Core-based processors.

In this talk, we look at this vulnerability in two ways. On the technical side, we review the different register sets on an x86 CPU and how operating system kernels and hypervisors manage them. We describe how the obscure Lazy FPU context switching optimization together with a microarchitectural weakness form an information disclosure vulnerability. We explain why FPU registers can even contain interesting secrets and how this vulnerability was mitigated.

On the non-technical side, we tell the story of two systems developers working for different companies, one at a small German cyber-security company and one at an American trillion-dollar corporation, finding a security issue in Intel's main product. Looking back on these turbulent events, we detail our personal lessons learned and how we would approach an event like this in the future.

Einladung mit Abstract


Abschiedsvorlesung von Prof. Dr.-Ing. Heinrich Theodor Vierhaus

In seiner Abschiedsvorlesung spricht Prof. Dr.-Ing. Heinrich Theodor Vierhaus (Lehrstuhl Technische Informatik) zum Thema:

Zuverlässige Elektronik-Systeme aus unzuverlässigen Komponenten

Termin: Freitag, 26.10.2018 um 13:30 Uhr
Raum: Hörsaal A im Zentralen Hörsaalgebäude

Alle Interessenten sind recht herzlich eingeladen.


44th International Workshop on Graph-Theoretic Concepts in Computer Science

Erster Platz beim Lausitzer WissenschaftsTransferpreis 2018 für Kooperationsprojekt vom LS RNKS und LEAG

Über den ersten Preis und ein Preisgeld von 5.000 € können sich der Lehrstuhl Rechnernetze und Kommunikationssysteme und die Lausitzer Energie Kraftwerke AG freuen. Im Projekt »IT-Sicherheit der digitalen Prozessleit- und Prozessrechensysteme« setzen sich die IT-Spezialisten von BTU und LEAG mit der Sicherheit von kritischen Infrastrukturen auseinander. In den Projekten SICIA und INDI wurden passive Schutzmethoden entwickelt, die Netzdaten auf Anomalien untersuchen und eine Grundlage für das Einleiten weiterer Sicherheitsmaßnahmen liefert.

Quelle: Pressemitteilung der BTU Cottbus - Senftenberg vom , Pressemitteilung der Wirtschaftsinitiative Lausitz e.V. vom 24.04.2018

Projektseiten: SICIA (Security Indicators for Critical Infrastructure Analysis), INDI (Intelligent Intrusion Detection Systems for Industrial Networks)


Testen von Software - ein Praxisbericht

Am Dienstag, den 30.01.2018 findet 11:30-13.00 im VG1c, R 2.01 im Rahmen der Vorlesung ‘Testen von Software’ ein Vortrag zum Thema: Testen von Software - ein Praxisbericht statt, gehalten von Herrn Daniel Scheibler Fachbereichsleiter Verifikation & Validierung Firma PHILOTECH Systementwicklung und Software GmbH.

Alle Interessenten sind herzlichst eingeladen.

Abstract:

Nach einer kurzen Vorstellung der Tätigkeitsfelder der Firma Philotech, werden insbesondere die Anforderungen an die Erstellung und den Test von Software für funktional sicherheitskritische Systeme und Anwendungen exemplarisch diskutiert. Für die Entwicklung eines safety-relevanten Produktes, sind neben technischen Aspekten und Anforderungen an die Software immer auch die Vorgehensweise und die Dokumentation von Bedeutung.

Neben der systematischen Dokumentation von Anforderungen und der Implementierung, sind umfangreiche qualitätssichernde Aktivitäten wie Testen und die Durchführung von Reviews notwendig.

Von der systematischen Erfassung der Anforderungen an die Software bis zum Qualitäts- und Konfigurationsmanagement gibt es diverse Maßnahmen für eine sicherheitsgerichtete Software-Entwicklung, die im Projektverlauf implementiert werden müssen.

Dieser Vortrag erläutert anhand von Beispielen aus Luftfahrt- und Automobilindustrie, welche gängigen Vorgehensweisen aktuell etabliert sind und gibt einen Überblick über die Durchführung von sicherheitsgerichteten Entwicklungsprojekten.


Die Entdecker der Computer-Sicherheitslücken Spectre und Meltdown gewähren einen Blick hinter die Kulissen

Vortrag von Thomas Prescher und Werner Haas.

Dienstag, 23.01.2018, 17:00 - 19:00 Uhr im Hörsaal A des zentralen  Hörsaalgebäudes (ZHG).

Video-Mitschnitt des Vortrages bei YouTube.

Weitere Informationen: siehe Pressemitteilung der BTU Cottbus-Senftenberg


Informatik-Kolloquium am FG Sichere Softwaresysteme

Zum Kolloquium am Montag, dem 24.04.2017 laden wir alle Interessenten recht herzlich ein.

Herr Dr. Jan Sürmeli von der Technischen Universität Berlin spricht zum Thema:

"Achieving Transparency and Auditability in Identity Management with Distributed Ledgers"

Termin: Mittwoch, 24.04.2017  13:30 Uhr
Raum: VG1C, Seminarraum 2

Einladung (Abstract)


10. Alumnitreffen der IT-Studiengänge

Das 10. Alumni-Treffen findet am 27. Mai 2016 ab 14:00 in ZHG HS C statt.

Weitere Informationen auf den Alumni-Seiten.


Informatik-Kolloquium am Fachgebiet Programmiersprachen und Compilerbau

Zum Kolloquium am Mittwoch, dem 24.02.2016 laden wir alle Interessenten recht herzlich ein.

Herr Prof. Dr. Stefan-Alexander Schneider, Lehrgebiet Grundlagen der Fahrerassistenzsysteme, Hochschule Kempten, spricht zum Thema:

"IT as Enabler for Advanced Driver Assistance Systems"

Termin: Mittwoch, 24.02.2016  9:00 Uhr
Raum: Hauptgebäude 0.18

Abstract


Informatik-Kolloquium am Fachgebiet Theoretische Informatik

Zum Kolloquium am Donnerstag, dem 29. Januar 2016 von 11.30 bis 13.00 Uhr, Hauptgebäude, Raum 0.18, laden wir alle Interessenten recht herzlich ein.

Herrn Prof. Dr. Daniel Merkle, University of Southern Denmark, Odense, Dänemark, spricht zum Thema:

"Exploration and Analysis of Chemical Spaces"

Termin: Freitag, 29.01.2016 11.30 – 13.00 Uhr
Raum: Hauptgebäude, Raum 0.19

Abstract
Novel methods to model chemistry on an atomic level with algebraic and graph rewriting approaches will be presented. We use a formalism, rooted in category theory, called the Double Pushout approach, which directly expresses the transition state of chemical reactions.

Chemical spaces generated by graph grammars contain important transformation patterns such as so-called autocatalytic sub-networks or alternative routes to molecules of interest. Such chemical motifs are usually hard to find due to the computational complexity of the underlying problem and the vastness of the chemical spaces.

However, our algorithmic approaches combined with the explicitness of our models allow for detailed investigations within these spaces, which is the foundation for understanding function of biological systems. Furthermore, direct wet lab experimental design, verification, and refinement are possible. Results for selected chemical systems will be given.


Informatik-Kolloquium am Lehrstuhl Theoretische Informatik

Zum Kolloquium am Donnerstag, dem 26. November 2015 von 15.30 bis 17.00 Uhr, Hauptgebäude, Raum 0.18, laden wir alle Interessenten recht herzlich ein.

Herr Prof. Dr. Luis Miguel Pardo, Universidad den Cantabria Santander (Spanien), spricht zum Thema:

"On Smale's 17th Problem: a survey"

Termin: Donnerstag, 26.11.2015 15.30 – 17.00 Uhr
Raum: Hauptgebäude, Raum 0.18

Abstract
In this talk I will survey the main contributions that lead to a complete solution of Smale's 17th Problem. Smale's 17th Problem was stated as follows:
"Can a zero of n complex polynomial equations in n unknowns be found approximately, on the average, in polynomial time with a uniform algorithm?"

Mehr Informationen zu den Smaleschen Problemen finden sich auf Wikipedia: https://en.wikipedia.org/wiki/Smale's_problems


Umzug des Instituts für Informatik, Informations- und Medientechnik

Das Instituts für Informatik, Informations- und Medientechnik der Cottbus-Senftenberg ist größtenteils in das neue Verfügungsgebäudes 1C umgezogen.

Neue Adresse:
Verfügungsgebäude 1C
Konrad-Wachsmann-Allee 5
03046 Cottbus

Umgezogen sind die Fachgebiete:

  • Datenbanken und Informationssysteme
  • Datenstrukturen und Softwarezuverlässigkeit
  • Graphische Systeme
  • Internet - Technologie
  • Programmiersprachen und Compilerbau
  • Rechnernetze und Kommunikationssysteme
  • Sichere Softwaresysteme
  • Software-Systemtechnik
  • Technische Informatik
  • Sicherheit in pervasiven Systemen
  • Systeme [gemeinsame Berufungen mit dem IHP in Frankfurt/Oder).


Die Fachgebiete Theoretische Informatik und Verteilte Systeme/Betriebssysteme verbleiben im Hauptgebäude.

Informationen und Bilder finden Sie auf der Webseite zum Neubau.