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

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

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

Review: New Media Services from a Mobile Chipset Vendor and Standardization Perspective [Slides]

The review of the TEWI colloquium of Dr. Thomas Stockhammer from November 30, 2018 comprises the slides (below):

Abstract: The media landscape changes significantly over the last few years by new content formats, new service offerings, additional consumption devices and new monetization models. Think of Netflix, DAZN, Mediatheks, mobile devices, interactive content, smart TVs, Virtual and Augmented Reality, and so on. Many of these efforts have been realized by a limited usage of standards, but are standards irrelevant? Secondly, more and more services are enabled by latest mobile compute platforms enabling new services and experiences. This presentation will provide an overview some of these trends and will motivate the development of global interop standards. Specific aspects will include the move of linear TV services to the Internet (both mobile and fixed) as well recent advances on Extended Reality and immersive media trends.

Bio: Thomas Stockhammer received the Dipl.-Ing. and Dr.-Ing. degrees from the Munich University of Technology, Munich, Germany. Thomas was Visiting Researcher at Rensselear Politechnical Institute (RPI), Troy, NY, USA and University of California San Diego (UCSD), San Diego, CA, USA. After acting as cofounder and CEO of Novel Mobile Radio (NoMoR) Research for 10 years and a consultant for Siemens mobile, BenQ mobile, LG Electronics and Digital Fountain, he joined Qualcomm in 2014 as Director Technical Standards. In his different roles, he co-authored more than 200 research publications and more than 150 patents and 1000s of contributions to standardization efforts. In his day job, he is the active and has leadership and rapporteur positions in 3GPP, DVB, MPEG, IETF, ATSC, CTA, ETSI, VR Industry Forum and the DASH-Industry Forum in the area of multimedia communication, TV-distribution, content delivery protocols, immersive media representation and adaptive streaming. Among others, he leads the MPEG-I efforts in MPEG, he is the chair of the DASH-IF Technical working group, the rapporteur of the first completed 3GPP VR work as well as the chairman of the DVB CM-I group. Thomas also received the INCITS Technical Excellence Award 2013 for his MPEG DASH work and the 3GPP Excellence Ward 2017 for his work on Enhanced TV.

Posted in TEWI-Kolloquium | Leave a comment

Review: Tactile Internet with Human-in-the-Loop [Slides]

The review of the TEWI colloquium of Prof. Dr.-Ing. Dr. h.c. Frank H. P. Fitzek from November 30, 2018 comprises the slides (below):

Bio: Frank H. P. Fitzek is a Professor and head of the “Deutsche Telekom Chair of Communication Networks” at TU Dresden coordinating the 5G Lab Germany. He is the spokesman of the DFG Cluster of Excellence CeTI.

He received his diploma (Dipl.-Ing.) degree in electrical engineering from the University of Technology – Rheinisch-Westfälische Technische Hochschule (RWTH) – Aachen, Germany, in 1997 and his Ph.D. (Dr.-Ing.) in Electrical Engineering from the Technical University Berlin, Germany in 2002 and became Adjunct Professor at the University of Ferrara, Italy in the same year. In 2003 he joined Aalborg University as Associate Professor and later became Professor.

He co-founded several start-up companies starting with acticom GmbH in Berlin in 1999. He has visited various research institutes including Massachusetts Institute of Technology (MIT), VTT, and Arizona State University. In 2005 he won the YRP award for the work on MIMO MDC and received the Young Elite Researcher Award of Denmark. He was selected to receive the NOKIA Champion Award several times in a row from 2007 to 2011. In 2008 he was awarded the Nokia Achievement Award for his work on cooperative networks. In 2011 he received the SAPERE AUDE research grant from the Danish government and in 2012 he received the Vodafone Innovation prize. In 2015 he was awarded the honorary degree “Doctor Honoris Causa” from Budapest University of Technology and Economy (BUTE).

His current research interests are in the areas of wireless and 5G communication networks, network coding, cloud computing, compressed sensing, cross layer as well as energy efficient protocol design and cooperative networking.

Posted in TEWI-Kolloquium | Leave a comment

Interactive Objects for Graph Algorithmic Thinking

Andrea Bonani | December 10, 2018 | 11:00 | B01.0.14

Abstract:
In parallel with the rapid growth of digital technology and its pervasiveness in everyday life, it emerged the need to introduce knowledge of computer science at school, from the early years of the scholastic curriculum. This is not intended to promote programming careers among students, nor because they shall work in areas related to Information Technology, but because already in the present times, and more in the future, aware citizens must have digital skills and competences in order to be fully integrated into our society.
In the last decade Computational Thinking has gained attention as a way for schools to develop those skills required by the current digital age. Algorithmic thinking is at the core of Computational Thinking and tangible interactive solutions can help children develop algorithmic thinking skills.
This talk focusses on exploratory research concerning tangibles for graphs and graph algorithmic thinking (GAT) for learners aged from 9 to 15 years. The purpose of this research is to promote Algorithmic Thinking at school, by means of multi-sensory physical activities and learning-by-doing. Specifically, the research uses inter-connected interactive tangible objects. Manipulating tangibles fosters interplay between abstraction and concreteness, so as to enable learners to learn through visual and tactile experiences.
By following an action research process, interactive objects for GAT evolved through prototyping and actions-studies. The talk overviews their evolution and delves into its most recent action: an ecological study with learners using tangibles for GAT. It ends by reflecting on results and future work.

CV:
Andrea Bonani is a PhD student at the Faculty of Computer Science, Free University of Bozen-Bolzano. After his graduation from the University of Padua, Italy, he worked as a teacher of Mathematics at the first level of secondary school. Later, he worked for 10 years in the Education Department of the Province of Bozen-Bolzano (Dipartimento Istruzione e Formazione Italiana) as the coordinator of the FUSS project. The FUSS project installed GNU/Linux in all Italian speaking schools of South Tyrol and promoted the use of new technologies among teachers. The focus of his PhD research fits between computer science education and interaction design. In particular, his PhD research is concerned with the design and development of interactive objects for the scaffolding of graphs and graph algorithmic thinking.

 

Posted in TEWI-Kolloquium | Leave a comment

Tactile Internet with Human-in-the-Loop

Prof. Dr.-Ing. Dr. h.c. Frank H. P. Fitzek | November 30, 2018 | 10:00 | S.2.42

Bio: Frank H. P. Fitzek is a Professor and head of the “Deutsche Telekom Chair of Communication Networks” at TU Dresden coordinating the 5G Lab Germany. He is the spokesman of the DFG Cluster of Excellence CeTI.

He received his diploma (Dipl.-Ing.) degree in electrical engineering from the University of Technology – Rheinisch-Westfälische Technische Hochschule (RWTH) – Aachen, Germany, in 1997 and his Ph.D. (Dr.-Ing.) in Electrical Engineering from the Technical University Berlin, Germany in 2002 and became Adjunct Professor at the University of Ferrara, Italy in the same year. In 2003 he joined Aalborg University as Associate Professor and later became Professor.

He co-founded several start-up companies starting with acticom GmbH in Berlin in 1999. He has visited various research institutes including Massachusetts Institute of Technology (MIT), VTT, and Arizona State University. In 2005 he won the YRP award for the work on MIMO MDC and received the Young Elite Researcher Award of Denmark. He was selected to receive the NOKIA Champion Award several times in a row from 2007 to 2011. In 2008 he was awarded the Nokia Achievement Award for his work on cooperative networks. In 2011 he received the SAPERE AUDE research grant from the Danish government and in 2012 he received the Vodafone Innovation prize. In 2015 he was awarded the honorary degree “Doctor Honoris Causa” from Budapest University of Technology and Economy (BUTE).

His current research interests are in the areas of wireless and 5G communication networks, network coding, cloud computing, compressed sensing, cross layer as well as energy efficient protocol design and cooperative networking.

Posted in TEWI-Kolloquium | Leave a comment

The demystification of the robot: Why we need informed people and explainable machines (in Kooperation mit der JOANNEUM RESEARCH Forschungsgesellschaft mbH ROBOTICS, Klagenfurt)

Univ.-Prof.in Dr.in Martina Mara | November 20, 2018 | 13:00 | HS 2

Abstract:
Robotics and Artificial Intelligence entail many opportunities for humanity: From improving medical diagnoses to enabling greater autonomy for the elderly, from cleaning the house to optimizing energy efficiency. In the public discourse, however, smart technologies are customarily represented by the stereotypical image of the android, the artificial replication of the human being. Based on psychological findings, Mara argues that a human-centered approach towards technological development must foster new visions of complementary human-machine relationships instead of fueling fears of substitution. Furthermore, as many outside the expert circles still lack information about technical functions and feel uncomfortable with technology they don’t understand, there is a need for user empowerment: By explaining basic technological concepts to the public and by designing machines that are explainable themselves.

CV:
Prof. Martina Mara is a leading expert on human-robot relationships and head of the Robopsychology Lab at the Johannes Kepler University Linz. Her team explores how autonomous machines should look like, behave, and communicate in order to establish comfortable interaction experiences for varying target groups. She earned her doctorate at the University of Koblenz-Landau’s Institute for Communication Psychology and Media Education with a dissertation on anthropomorphic machines. She regularly speaks at international conferences and she writes about social impacts of emerging technologies in her weekly tech column „Schöne neue Welt“ („Brave new world“). As a member of the Austrian Council for Robotics, she advices the Austrian government in establishing a strategy for the application of robotics and artificial intelligence.

Posted in TEWI-Kolloquium | Leave a comment

Low-time complexity workflow application scheduling on heterogeneous systems

Jorge Barbosa, PhD | November 22, 2018 | 2 pm | S.2.69

Abstract:
A heterogeneous system can be defined as a range of different system resources, which can be local or geographically distributed, that are utilized to execute computationally intensive applications. The efficiency of executing parallel applications on heterogeneous systems critically depends on the methods used to define an assignment and mapping of the workflow tasks onto resources.

Scheduling in this context is mainly divided into two main approaches: single and multiple QoS parameters. On the single QoS parameter, the execution time of a workflow application, also called makespan, has been the major concern in most of the scheduling strategies. In this talk, it will be presented a novel algorithm for time optimization that implements a look-ahead feature while keeping a quadratic time complexity.

The problem becomes more challenging when two or more QoS parameters are considered in the scheduling problem. Time, cost, energy and reliability are common QoS parameters considered in recent research work in this area. Many algorithms consider time and cost in their formulation but most of them perform: (a) optimization of one parameter constrained to the other; (b) optimization of both parameters in a bi-objective formulation; and (c) a consideration of an unlimited number of resources, in particular for cloud platforms, where the strategy to accomplish time constraints is by allocating new computational instances.

In this talk two low-time complexity algorithms for QoS based scheduling, bounded to a set of resources, will be addressed. Namely, a time optimization and budget constrained scheduling and a budget-deadline constrained scheduling algorithm.

Research topics on resource management of heterogeneous systems will be discussed, namely, energy-aware scheduling, auto-tuning and concurrent scheduling.

CV:
Jorge Barbosa obtained his MSc degree from the University of Manchester Institute of Science and Technology, in 1993, and the PhD in Electrical and Computer Engineering from Faculdade de Engenharia da Universidade do Porto (FEUP), in 2001. He is Assistant Professor at the Department of Informatics Engineering at FEUP. He has (co-)authored over 60 scientific publications (including journal/conference papers and book chapters) on subjects related to parallel algorithms, resource management, energy-aware scheduling and performance modeling for heterogeneous systems. His current research interests are related to energy-aware scheduling, data locality, auto-parallelization tools and concurrent scheduling. He is member of the Editorial Board of Elsevier Journal „Simulation Modelling Practice and Theory“.

Posted in TEWI-Kolloquium | Leave a comment