9 April, 2019

TUHH Hautnah 2019
STS präsentiert Software zum Anfassen bei der TUHH Hautnah

Bei der diesjährigen Veranstaltung TUHH Hautnah präsentierte das Institut für Softwaresysteme einen Bildschirm aus Flaschenkästen, an dem Interessierte die Aufgabe hatten, "Eulersche Quadrate" anzuordnen.
Außerdem konnten sie sich an einer Änderung des Programm-Quellcodes versuchen, um eine Aufgabe zu lösen.
 

  28 March, 2019

Collaborative Research Project
Kickoff M4 Project

The project "Model Guided Machine Learning for Simulating Soft Tissue Materials in Medicine", short: M4, is one of the newly established I3-Labs for innovative and interdisciplinary IT research at TUHH. M4 is a collaborative research project by four faculty from computer science and mechanical engineering on novel methods of modeling and verification in the context of medical robotics.
STS is project partner with particular focus on formal methods and hybrid logics. The meeting was the first where the new doctoral students met all four PIs.

^{5 March, 2019}

STS-Paper at IFIP SEC2019:
Automatically Proving Purpose Limitation in Software Architectures

The paper Automatically Proving Purpose Limitation in Software Architectures by Kai Bavendiek et al. has been accepted for publication at the 34th International Conference on Information Security and Privacy Protection (IFIP SEC2019) in Lisbon.
The interdisciplinary paper proposes an approach for automatically verifying the violation of purpose limitation in software systems. A real-life medical data register serves as a case study to demonstrate how the compatibility of purposes can be determined. The paper is a result of the cooperation between the TUHH, the University of Hamburg, and the Hans-Bredow-Institute for Media Research as part of the interdisciplinary Information Government Technologies (IGT) project.   

 
^{5 March, 2019}

STS-Paper at FormaliSE 2019:
Static Analysis for Worst-Case Battery Utilization

The paper "Static Analysis for Worst-Case Battery Utilization" by Dmitry Ivanov and Sibylle Schupp has been accepted at the 7th International Conference on Formal Methods in Software Engineering (FormaliSE 2019) in Montréal.
 
 

  6 Feb, 2019

Aalborg University (AAU)
Reasoning about Software in an "Unreasonable" World

From January until March Sibylle Schupp stays with DEIS (Distributed, Embedded and Intelligent Systems) at Aalborg University, the research unit led by Kim Larsen.On February
6 she gives a talk about the current research activities at STS.

  30 Jan - 1 Feb, 2019

CPDP 2019
Modeling and Verification in GDPR's Data Protection Impact Assessment

Florian Wittner from the Leibniz-Institute for Media Research │ Hans-Bredow-Institut (HBI) and Kai Bavendiek will jointly present their paper "Modeling and Verification in GDPR's Data Protection Impact Assessment" in the Secior Academic Session I slot on Wednesday.
They present their research results that are part of the interdisciplinary research project "Information Governance Technologies: Ethics, Policies, Architectures, Engineering.

  22 January, 2019

Universitätsklinikum Hamburg-Eppendorf
FMTHH Symposium "Transitioning between Academics, Industry and FMTHH"

Mathias Blumreiter presents the current state of the project "Development of a Software Architecture for the Robot-guided Sampling and Removal of Potential Tumors by Theragnostic Pico-second Infrared Laser" at the FMTHH Symposium "Transitioning between Academics, Industry and FMTHH".

  6-11 January, 2019

Schloss Dagstuhl
Explainable Software for Cyber-Physical Systems

Mathias Blumreiter talks about "Refining incomplete models through system observations with NuSMV" during the conference "Explainable Software for Cyber-Physical Systems" at Schloss Dagstuhl (Leibnitz-Zentrum für Informatik).

  7 January, 2019

University of Constanz
Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle

Sibylle Schupp visits Stefan Leue, chair for Software and Systems Engineering. As part of her visit, she gives a lecture on statistical model checking.

  10 December, 2018

STS-Paper at CPDP 2019:
Modeling and Verification in GDPR's Data Protection Impact Assessment

The paper "Modeling and Verification in GDPR's Data Protection Impact Assessment" by Wolfgang Schulz, Florian Wittner, Kai Bavendiek and Sibylle Schupp has been accepted at the 12th international Conference on Computers, Privacy, and Data Protection (CPDP 2019) in Bruxelles.
 

  19-23 November, 2018

Next Generation Domain Specific Conceptual Modeling: Principles and Methods

This seminar is dedicated to a comprehensive set of questions around domain-specific modeling, including the adequacy and utility of modeling techniques, the comprehensiveness of a modeling method, the verifiability of properties, and the comparability of modeling techniques and methods. Sibylle Schupp is among the participants of the seminar.
 

 
^{8 November, 2018}

OE-Gruppen von STS gewinnen beim Wettbewerb

STS betreute die Gruppen 3, 23, und 24 im eigene Computerlab.
Die Gruppe 3 rockte den diesjährigen Wettbewerb mit ihrem schnellen Robotermodell.
Herzlichen Glückwunsch !

 
^{7 November, 2018}

Studenten bereiten sich bei STS auf den OE-Wettbewerb vor

Letzte Softwareabstimmung vor dem Wettbewerb auf dem STS-Testparkour.
Es soll ein autonomer “Roboter“ entwickelt werden, der in der Lage ist, auf einer
krummlinigen Straße zu fahren, an einer Kreuzung abzubiegen und schließlich
vom Ende der Straße ein “Leuchtfeuer“  zu finden.

 
10 October, 2018

Brown Bag Lunch
Formal Methods Meet <Privacy>

On October 10, Sibylle Schupp talks about "Formal Methods Meet <Privacy>" within a Brown Bag Lunch at Alexander von Humboldt Institute for Internet and Society (HIIG) in Berlin.

 
4-5 October, 2018

CyPhy 2018
Model-Based Design of Cyber Physical Systems

The paper "A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification" has been accepted for the "CyPhy'18" workshop (http://www.cyphy.org/) as part of the "ESWEEK" event on embedded systems and software (https://www.esweek.org/).

Sascha Lehmann presents the work at the conference.

27 September, 2018

Symposium
Information Governance algorithmischer Entscheidungssysteme

The IGT Project organizes the symposium Information Governance algorithmischer Entscheidungssysteme from the Institute of Software Systems, Kai Bavendiek and Sibylle Schupp are on-site. The symposium is part of INFORMATIK2018, the annual conference of the German Computer Science Society. The symposium features keynotes, a panel, and plenty of room for discussions.

 
^{28 September, 2018}

STS-Paper at CyPhy 2018:
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

The paper "A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification" has been accepted for the "CyPhy'18" workshop (http://www.cyphy.org/) as part of the "ESWEEK" event on embedded systems and software (https://www.esweek.org/).
Sascha Lehmann and Sibylle Schupp, in collaboration with Alexander Schlaefer and Sven-Thomas Antoni from the Institute of Medical Technology (MTEC), introduce the logic QMTL-VT to describe constraints on the time required to verify system properties (e.g. of cyber-physical real-time systems) formulated in another underlying logic.
Using QMTL-VT, it is possible to query for satisfaction of time constraints (V), the bounds of execution times (Vi), and the probability of being checkable within these bounds (Vp). Building up on that, it further allows to execute queries under temporal conditions (Vc), express their order (Vs), and provide alternatives (Va) for the case of constraint violations.

 
 ^{4-7 September, 2018}

QEST 2018
15th International Conference on Quantitative Evaluation of SysTems

The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative evaluation and verification of systems and networks based on their probabilistic, temporal and other non-deterministic aspects. QEST 2018 is held in Beijing, China.

The paper "Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems" by Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp and Jiri Srba was accepted for QEST 2018. Dmitry Ivanov presents the work at the conference.
 

 
 ^{28-30 August, 2018}

PST 2018 - Belfast, Ireland
16th Annual Conference on Privacy, Security and Trust

Kai Bavendiek presents his paper "Privacy-Preserving Architectures with Probabilistic Guaranties" (joined work with Robin Adams and Sibylle Schupp) at the 16th Annual Conference on Privacy, Security and Trust in Belfast. The conference continues the tradition of bringing together researchers to explore the three themes of privacy, security und trust, to present their latest findings and discuss their results and application in practice.

 
 8-12 August, 2018

EUTypesSchool:
Summer School on Types for Programs and Verification
 

Dmitry Ivanov joined the 2018 EUTypes Summer Schoon in Ohrid, Macedonia

EUTypes Summer School is organized by The European research network on types for programming and verification (EUTypes), COST action CA15123. The second year in row the summer school took place in Ohrid, Macedonia. Dmitry Ivanov participated in the event, which attracted around 30 Ph.D. students from around 20 countries.

 
^{10-11 July, 2018}

Summer School 2018 für Schüler bei STS

Das Institut Softwaresysteme beteiligte sich an zwei Tagen an dem Ferienprogramm der TUHH.

Ein Automat von der Theorie zur Praxis am 10.07.2018
In diesem Kurs wird eine kleine Einführung in die Welt der Automaten gegeben. Ziel ist hier Kinder und Jugendliche mit den theoretischen Grundkonzepten der Automatentheorie vertraut zu machen um einen eigenen Endlichen Automaten zu entwerfen. In Teamarbeit wird dann die Programmierung eines Getränkeautomaten gemeinsam durchgeführt.

SCRATCH am 11.07.2018
Ziel ist hier Kinder und Jugendliche mit den Grundkonzepten der Programmierung vertraut zu machen.
Das Institut Softwaresysteme beteiligte sich hier an zwei Tagen mithilfe der vom MIT entwickelten Entwicklungsumgebung SCRATCH. Es wird u.a. an Bildobjekten gearbeitet, die Eigenschaften erhalten und miteinander in Beziehungen stehen. Als Hauptaufgabe war eine Achterbahn zu programmieren.

 
  ^{13 June, 2018}

STS auf dem Sommerfest 2018

Das Institut für Softwaresysteme präsentierte ein Flaggenpuzzle auf dem Großmonitor aus Colaflaschen.