Developing and Evolving a DSL-Based Approach for Runtime Monitoring of Systems of Systems

Priv.-Doz. Dr. Rick Rabiser | February 7, 2019 | 10:00 | S.2.42

Abstract

Complex software-intensive systems are often described as systems of systems (SoS) due to their heterogeneous architectural elements. As SoS behavior is often only understandable during operation, runtime monitoring is needed to detect deviations from requirements. Today, while diverse monitoring approaches exist, most do not provide what is needed to monitor SoS, e.g., support for dynamically defining and deploying diverse checks across multiple systems. In this talk, I will describe our experiences of developing, applying, and evolving an approach for monitoring an SoS in the domain of industrial automation software, that is based on a domain-specific language (DSL). I will first describe our initial approach to dynamically define and check constraints in SoS at runtime, including a demo of our monitoring tool REMINDS, and then motivate and describe its evolution based on requirements elicited in an industry collaboration project. I will furthermore describe solutions we have developed to support the evolution of our approach, i.e., a code generation approach and a framework to automate testing the DSL after changes. We evaluated the expressiveness and scalability of our new DSL-based approach using an industrial SoS. At the end of the talk, I will also present general lessons we learned and give an overview of other projects in the area of software monitoring as well as other areas such as software product lines, that I am currently involved in.

Bio

Rick Rabiser (http://mevss.jku.at/rabiser) is currently a senior researcher at the Christian Doppler Laboratory for Monitoring and Evolution of Very-Large-Scale Software Systems (VLSS) at Johannes Kepler University Linz, Austria. In this lab, he heads the research module on requirements-based monitoring and diagnosis in VLSS evolution, with Primetals Technologies Austria as industry partner. He holds a Master’s and a Ph.D. degree in Business Informatics as well as the venia docendi (Habilitation) in Practical Computer Science from Johannes Kepler University Linz. His research interests include but are not limited to variability management, software maintenance and evolution, systems and software product lines, automated software engineering, requirements engineering, requirements monitoring, and usability and user interface design. Dr. Rabiser co-authored over 120 (peer-reviewed) publications; served in 80+ program committees and 25+ conference and workshop organization committees; and frequently reviews articles for several international journals like IEEE TSE, IEEE TSC, ACM CSUR, EMSE, JSS, and IST. He is also a member of the steering committee of the Euromicro SEAA conference series and a member of the Euromicro Board of Directors (Director for Austria) and the Euromicro Executive Office (Publicity Secretary). He is also an elected member of the steering committee of the International Systems and Software Product Line Conference (SPLC). He currently is the speaker of computer scientists at JKU Linz, who are not full professors (Fachbereichssprecher Mittelbau Informatik).

Posted in TEWI-Kolloquium | Leave a comment

Effective model-based approaches for automated software testing

Prof. Giorgio Brajnik | January 23, 2019 | 11:00 | N.1.42 (Germanistik)

Abstract

Testing lies at the heart of software development. Tightly woven with requirements engineering, the testing process influences how software is developed and its quality.  With adoption of agile and devops approaches, the continuous testing process has to rely on a testing strategy that is multi-level and has to balance test automation and exploratory testing.  Because so many things need to be tested, and because the system under test changes very often and rapidly, effectiveness and sustainability of the testing process is a must.

I will present an approach for automating end-to-end testing that is based on UML specifications of the behavior of the system and a toolkit that automatically generates source code supporting definition of high level test cases and related artifacts. In this way, a software development team can avoid dealing with low level details and focus instead on what needs to be tested, what test conditions need to be covered, how test results affect requirements coverage. This kind of information constitutes then a living documentatio of the system specification which can be used to guide exploratory testing. Such an approach is currently being used in mobile apps (in the area of workforce management) and web apps (in the financial domain).

Bio

Giorgio Brajnik is associate professor at the Computer Science Department of the University of Udine, Italy. He holds a degree in Computer Science (from the University of Udine) and a PhD in Computer Science (from the University of Manchester). After working on information search systems, since 1999 his focus is on methods for effective assessment of accessibility and quality of websites and web applications and more recently on model-based techniques for analysis of user interfaces.

At the university he teaches courses on object oriented programming and accessibility and user centered web development.  In ’92 and ’95-’96 he was visiting scholar at the University of Texas at Austin. He has been invited lecturer, panelist and visiting professor in Europe, the U.S. and New Zealand. He participated to several of the W3C working groups dealing with accessibility. He also supervised the development of accessibility testing tools when he was working with a company he cofounded, Usablenet Inc.  Currently he is scientific advisor for Interaction Design Solutions, a startup company he co-founded that is specialized on model-driven techniques for software system testing.

He is program committee member of several conferences, including the International Cross-Disciplinary Conference on Web Accessibility and ACM Assets, for which he was co-chair of the Doctoral Consortium  and also General Chair; he is regular reviewer for several journals. Additional details are available at www.dimi.uniud.it/giorgio/vitae.html.

Posted in TEWI-Kolloquium | Leave a comment

Flex: Business Systems Analyst (m/w)

Wir sind auf der Suche nach Mitarbeiterinnen und Mitarbeiter, die sich in der lokalen IT eines internationalen Großkonzerns tatkräftig einbringen möchten.

Business Systems Analyst (m/w) [PDF]

Das erwartet Dich:

Du bist Teil des Information Systems Team und betreust ausgewählte Applikationen. Als Experte für die von dir betreuten Applikationen obliegt es dir, die ideale Lösung für Anforderungen und Störungen zu finden. Im Rahmen von Projekten arbeitest du mit Kollegen und Anwendern an der ständigen Verbesserung unserer Prozesse und Anwendungen.

So tickst Du:

  • Du findest Lösungen und nicht Probleme.
  • Du bist neugierig und arbeitest dich eigenständig in Bereiche ein, um Applikationen, Abläufe und Anforderungen zu verstehen und die ideale Lösung für unseren Standort zu finden.
  • Du teilst gerne dein Wissen und beteiligst dich maßgeblich, um Resultate zu sehen.

Das bringst Du mit:

  • Abgeschlossene Ausbildung im IT-Bereich (HTL, FH, Uni) oder mehrjährige Berufserfahrung in einer vergleichbaren Position.
  • Erfahrungen mit ERP, ECM, MES oder Planungssystemen sind von Vorteil, jedoch nicht zwingend vorausgesetzt.
  • Grundkenntnisse von Datenbanken.

Das bieten wir Dir:

  • Ein High-Tech-Umfeld in dem Du immer mit den neuesten Trends konfrontiert bist.
  • Die Möglichkeit in einem internationalen Umfeld durch die Nähe zum Business die positiven Ergebnisse der eigenen Arbeit direkt zu erleben.
  • Spannende Mitarbeiterevents und ein angenehmes Betriebsklima.
  • Wir bieten ein KV Bruttomonatsgehalt laut der Beschäftigungsgruppe F lt. Kollektiv.
  • Elektro- und Elektronikindustrie mit der Bereitschaft zur Überzahlung je nach Qualifikation und Berufserfahrung.

Bewirb Dich jetzt mit Deinem Lebenslauf – wir freuen uns auf Dich!
Frau Gerda Reif: karriere@flex.com

Posted in Stellenausschreibungen | Leave a comment

Frohe Weihnachten und viel Erfolg für 2019

xmas2013_ftf_web

Der Förderverein Technische Fakultät an der Alpen-Adria-Universität Klagenfurt wünscht allen Mitgliedern ein frohes Weihnachtsfest und einen guten Start in ein erfolgreiches Jahr 2019!

Aktuelle Hinweise

Posted in News | Leave a comment

Roland-Mittermeir-Preis: Ausschreibung 2018

Trophy WinnerAusschreibung 2018

Roland-Mittermeir-Preis

Prämierung der besten Diplom- bzw. Masterarbeit aller Studien der Technischen Fakultät an der Universität Klagenfurt

Der Förderverein Technische Fakultät an der Universität Klagenfurt schreibt die Prämierung der besten Diplom- bzw. Masterarbeit aller Studien der Technischen Fakultät an der Universität Klagenfurt des laufenden Studienjahres aus.

Der Preis besteht aus einer Urkunde und einer Prämie in Höhe von

EUR 1.500,–

Die Jury ist ermächtigt den Preis gegebenenfalls zwischen mehreren Diplom- bzw.Masterarbeit zu teilen. Antragsberechtigt sind Absolventinnen und Absolventen aller Studienrichtungen der Technischen Fakultät der Universität Klagenfurt, die Mitglied beim Förderverein sind (Beitrittserklärung hier!) und deren Diplom- bzw. Masterarbeit mit “Sehr Gut” beurteilt wurde. D.h. AbsolventInnen der folgenden Masterstudien: Informatik, Informationsmanagement, Informationstechnik, Technische Mathematik bzw. Lehramtsstudien mit einem Unterrichtsfach der TEWI zugeordnet (sofern die Diplomarbeit einem dieser Unterrichtsfächer zuzuordnen ist).

Es werden nur Diplom- bzw. Masterarbeit bewertet, die im Zeitraum vom 1. Januar 2018 bis zum 31. Dezember 2018 fertiggestellt wurden. Als Fertigstellungstermin gilt der Tag der Ausstellung des Gutachtens/Beurteilung (lt. ZEUS). Die Einreichfrist für die Verleihung des Preises endet am 31. Mai 2019.

Der Antrag ist beim Geschäftsführer des Förderverein Technische Fakultät an der Universität Klagenfurt einzureichen und soll folgendes beinhalten:

  • Diplom- bzw. Masterarbeit (in elektronischer Form als PDF-Datei).
  • Gutachten des Betreuers der Diplom- bzw. Masterarbeit.
  • Allfällige Software (oder Verweise auf existierende Software).
  • Eine kurze Zusammenfassung (max. eine Seite), die so geschrieben sein soll, dass sie auch für Nicht-ExpertInnen verständlich ist!

Beurteilungskriterien für die Zuerkennung des Preises sind strikt fachlicher qualitätsbezogener Natur. Sie umfassen die Aspekte:

  • wissenschaftlicher Gehalt,
  • Innovationsgehalt und Umsetzbarkeit,
  • Klarheit der Darstellung und Qualität der Ausführung.

Die Zuerkennung des Preises erfolgt durch eine Jury per Vorstandsbeschluß. Die Jury besteht i.a. aus:

  • dem Obmann des Förderverein Technische Fakultät an der Universität Klagenfurt (Vorsitz),
  • Vertretern der TEWI-Institute der Universität Klagenfurt und
  • Vertretern der institutionellen Mitglieder des Förderverein Technische Fakultät an der Universität Klagenfurt.

Der Geschäftsführer des Förderverein Technische Fakultät an der Universität Klagenfurt kann zu den Sitzungen der Jury als nichtstimmberechtigtes Mitglied beigezogen werden. Die Sitzungen der Jury sind geschlossene Sitzungen und die Entscheidungen der Jury sind endgültig. Der Rechtsweg ist ausgeschlossen.

Die Preisverleihung findet üblicherweise im Rahmen einer TEWI-Veranstaltung statt.

Posted in News | Leave a comment

Review: A Distributed Approach for Bitrate Selection in HTTP Adaptive Streaming [Slides]

The review of the TEWI colloquium of Abdelhak Bentaleb from December 13, 2018 comprises the slides (below):

Abstract: Past research has shown that concurrent HTTP adaptive streaming (HAS) players behave selfishly and the resulting competition for shared resources leads to underutilization or oversubscription of the network, presentation quality instability and unfairness among the players, all of which adversely impact the viewer experience. While coordination among the players, as opposed to all being selfish, has its merits and may alleviate some of these issues. A fully distributed architecture is still desirable in many deployments and better reflects the design spirit of HAS. In this study, we focus on and propose a distributed bitrate adaptation scheme for HAS that borrows ideas from consensus and game theory frameworks. Experimental results show that the proposed distributed approach provides significant improvements in terms of viewer experience, presentation quality stability, fairness and network utilization, without using any explicit communication between the players.

Bio: Abdelhak Bentaleb is a PhD candidate in Computer Science at School of Computing, National University of Singapore (NUS). He is advised by Prof. Roger Zimmermann and his work interest is on Video Streaming Architecture, Content Delivery, Multimedia Systems, and Computer Networks. He is a member of Media Management Research Lab and working on Streaming Media project. He designed and developed a novel suite of Adaptive Bitrate (ABR) solutions to address the key challenges of video delivery including quality instability, unfairness, and network resources under/over utilization for HTTP Adaptive Streaming (HAS) and HAS-like (DASH) systems.

Posted in TEWI-Kolloquium | Leave a comment

JOANNEUM RESEARCH: Research Engineer Robotics and Sensors

JOANNEUM RESEARCH Forschungsgesellschaft mbH (JOANNEUM RESEARCH) is a business-oriented leader of innovation and a technology provider. It is linked to a worldwide network and has provided cutting-edge research according to the highest international standards for over forty years. With a focus on applied research and technology development, JOANNEUM RESEARCH plays a key role in transfer of technology and know-how. Our 2015 established ROBOTICS institute focuses primarily on innovative industrial robotics, human-robot collaboration for innovative production processes as well as on robot safety.

For our location at the Lakeside Science & Technology Park in Klagenfurt, Austria, we are seeking a highly motivated

Research Engineer
Robotics and Sensors
[PDF]

As a Research Engineer you will be actively involved in applied research and development projects. We seek for enthusiastic, proactive individuals with the following robotic-related knowledge, sensor experience and qualification:

  • University degree in the field of electrical engineering, information and communication engineering, information and computer engineering or equal
  • Relation to sensors and ideally to robotics from practise or your study/expertise
  • Experience in modelling of sensor systems, e.g., finite element method
  • Knowledge in analog and digital signal processing
  • Knowledge in hardware design
  • Programming skills in one of the following languages: C/C++, Python, Matlab/SciLab

We expect applicants to have experience in research projects and advanced knowledge of the relevant hardware and software tools according to the scope of work. Excellent spoken and written command of English is obligatory and communication skills in German would be an advantage.

This is a great opportunity to be actively involved in the set-up phase of our research institute at our location in Carinthia, Austria. We provide a specific internal competence development concept for your professional and personal career development. An attractive, team-oriented working environment with state-of-the-art infrastructure and flexible working time complete this attractive job offer at JOANNEUM RESEARCH.

This position is subject to the collective agreement for employees in non-university research and remunerated with a minimum annual gross salary of € 42.742,–. Depending on your qualifications and experience, higher remuneration is possible.

We would like to point out that any expenses incurred in connection with your application – such as travel expenses, daily allowances or overnight stays – will not be reimbursed.

We are looking forward to receiving convincing applications from committed scientist and team players via e-mail by January 6th, 2019.

JOANNEUM RESEARCH Forschungsgesellschaft mbH

ROBOTICS – Institute for Robotics and Mechatronics

www.joanneum.at/robotics

Ms. Tanja Stark

Tel: +43 316 876-2003

E-Mail: PEMBewerbungen@joanneum.at

Subject: Research Engineer ROBOTICS and Sensors

Posted in Stellenausschreibungen | Leave a comment

2nd Winter Game Jam, December 14-16, 2018, Klagenfurt, Austria

The 2nd Winter Game Jam is open to everyone who likes games and wants to create, test and talk about games. Starting on Friday the topic will be revealed to all participants at the same time and random groups will brainstorm games. Then, after the ideas are pitched, team will emerge around ideas and games are to be created. Finally, on Sunday, the projects are presented to a jury and a price for the most awesome project is awarded.

Our beloved Gamebert is now on Facebook! Background stories on Gamepics and the Game Jamsare what he contributes to the general noise of the internet.

Gamebert is the figure of game related activities at Alpen-Adria Universität Klagenfurt and the mascot of the Game Jams there.

See more on youtube

Posted in Veranstaltungen | Leave a comment

A Distributed Approach for Bitrate Selection in HTTP Adaptive Streaming

Abdelhak Bentaleb | Thursday, December 13, 2018 | 14:30 | S.1.42 (formerly known as E.1.42)

Abstract: Past research has shown that concurrent HTTP adaptive streaming (HAS) players behave selfishly and the resulting competition for shared resources leads to underutilization or oversubscription of the network, presentation quality instability and unfairness among the players, all of which adversely impact the viewer experience. While coordination among the players, as opposed to all being selfish, has its merits and may alleviate some of these issues. A fully distributed architecture is still desirable in many deployments and better reflects the design spirit of HAS. In this study, we focus on and propose a distributed bitrate adaptation scheme for HAS that borrows ideas from consensus and game theory frameworks. Experimental results show that the proposed distributed approach provides significant improvements in terms of viewer experience, presentation quality stability, fairness and network utilization, without using any explicit communication between the players.

Bio: Abdelhak Bentaleb is a PhD candidate in Computer Science at School of Computing, National University of Singapore (NUS). He is advised by Prof. Roger Zimmermann and his work interest is on Video Streaming Architecture, Content Delivery, Multimedia Systems, and Computer Networks. He is a member of Media Management Research Lab and working on Streaming Media project. He designed and developed a novel suite of Adaptive Bitrate (ABR) solutions to address the key challenges of video delivery including quality instability, unfairness, and network resources under/over utilization for HTTP Adaptive Streaming (HAS) and HAS-like (DASH) systems.

Posted in TEWI-Kolloquium | Leave a comment

Das war „30-Jahre Förderverein der Technischen Fakultät an der Universität Klagenfurt“

Am 30. November feierte der Förderverein der Technischen Fakultät an der Universität Klagenfurt sein 30. Bestandsjubiläum im Eventplateau der Raiffeisen Landesbank Kärnten (siehe Einladung & Programm).

Begrüßung durch Daniel Kirchmeier (Raiffeisen). (c) ftf/Christina Supanz

Vorstandsmitglied Arnold Wurzer präsentierte einen interessanten Rückblick:

(c) ftf/Christina Supanz

Die TEWI-Best-Performer wurden von Clemens Heuberger geehrt und die Gewinner des Roland-Mittermeir-Preises wurden durch Hugo Auernig ausgezeichnet.

Preisträger 2018. (c) ftf/Christina Supanz

TEWI-Best-Performer:

  • Kathrin Spendier, Technische Mathematik
  • Stefan Haan, Angewandte Informatik
  • Philip Steinkellner, Informationsmanagement
  • Stefan Mikl, Informationstechnik / ICE
  • Carina Monika Spreitzer, Lehramt UF Mathematik
  • Sebastian Schönfelder, Lehramt UF Informatik

Roland-Mittermeir-Preisträger:

Im Anschluß gab es eine spannende Podiumsdiskussion zum Thema 5G Kommunikation der Zukunft – Chancen und Risiken mit Thomas Stockhammer, Aneta Baier, Driton Emini, Frank Fitzek, und Wolfgang Rauter. Moderiert wurde die Podiumsdiskussion von Christian Bettstetter und Hermann Hellwagner.

(c) ftf/Christina Supanz

An diesem Tag gab es auch noch zwei interessante TEWI-Kolloquien an der Alpen-Adria-Universität Klagenfurt. Die Folien sind hier zu finden: (i) Tactile Internet with Human-in-the-Loop von Frank Fitzek und (ii) New Media Services from a Mobile Chipset Vendor and Standardization Perspective von Thomas Stockhammer.

Posted in Veranstaltungen | Leave a comment