Application-oriented research in the field of software

Partner for industry and science

As one of the largest independent research centers in Austria in the field of software, Software Competence Center Hagenberg (SCCH) plays a harbinger role for software-related technological research and development trends.

Software Competence Center Hagenberg was founded by five departments of Johannes Kepler University Linz (Prof. Buchberger (RISC), Prof. Pomberger (Institute for Business Informatics), Prof. Klement (Institute for Knowledge-Based Mathematical Systems; Fuzzy Logic Laboratory Linz-Hagenberg), Prof. Wagner (FAW Institute for Application-Oriented Knowledge Processing) and Prof. Engl (Institute for Industrial Mathematics)) in July 1999 in the realm of the K plus competence program

Formal Methods

For Safety-Critical Systems

In medicine, transportation (fully automated trains, aerospace) and in energy production (atomic power plants), software errors can have severe consequences.  The use of formal methods can help to prevent such bugs in advance. In our interview, Dr. Christine Natschläger explains why formal methods will rise in importance in the future and why they continue to play a marginal role.

SCCH presented Predictive Analytics

Finding the "Early Warning Point"

The Automotive Cluster Upper Austria organized the Innovation Workshop at MAGNA in Graz. The experts from the research focus Data Analysis Systems (DAS) showed how  predictive maintenance works and how the "Early Warning Point" can be found.

Extract knowledge from software

Automatic solution available

The experts at SCCH have developed a tool called eKNOWS that enables automatic extraction and analysis of expertise directly from source code.

ABZ 2016

Rigorous Methods’ Experts met in Linz

The 5th international conference on ABZ (ASM, Alloy, B, TLA, VDM, and Z) methods took place in Linz from May 23 to 27, 2016. The main focus of the conference was the cross-fertilization of six related state-based and machine-based rigorous methods: Abstract State Machines, Alloy, B, Temporal Logics of Actions, Vienna Development Method and Z. These methods share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. About 65 researchers from all over the world attended this conference.

Success Factor Data Analysis

Learn more about Big Data

In modern enterprises a mass of data is available in many formats and qualities. An automated analysis of this data promises an increase of knowledge and thus the opportunity to optimize different systems.

Best Paper Award

At the OAGM conference

Bernhard Moser and Christian Motz won the Best Paper Award of the OAGM/AARP 2016 (Austrian Association for Pattern Recognition).

New book

Hagenberg Business Process Modelling Method

This book presents a proposal for designing business process management (BPM) systems  that comprise much more than just process modelling. Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. It focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept.

Software for Disaster Management

Awarded with the E-Award

Host, Mr. Dirk Lukaschik, CEO of T-Systems, presented the winners of the E-Award 2016. The submitted projects impressively  showed the importance of digitization and how it affects all economic and living areas. This circumstance effects many companies, but also the entire society", says Lukaschik. "In order to line up for the digital transformation, IT organizations need completely new skills,  technologies and management approaches.

Meet the SCCH at the HANNOVER Messe 2016

World stage for networked industry

The HANNOVER MESSE 2016 (www.hannovermesse.de) is the global hotspot for industry 4.0. In April all the drivers of industrial digitization come together in Hannover. Under the motto " Integrated Industry - Discover Solutions " technologies for digitization of factories and energy systems will be shown.

Maintenance Days 2016

SCCH presents Predictive Maintenance

The MAINTENANCE DAYS are a popular meeting place for experts and practitioners from the maintenance industry. Networking, exchange of experience and knowledge are the focal point. SCCH was also represented with a booth.

Systems Engineering

As driver for the smart factory

The wide-ranging discussion on Industry 4.0 (the smart factory) has made it ever clearer that the digitization and so the modeling of products along with their manufacture will be core components of future production. This requires the use of models for more and more aspects of product development and production. 30 participants followed the invitation of the SCCH to this experts workshop at the beginning of March.

For your Industrial Project

Evaluate the Suitability of a Formal Method

The quality of software and its development processes can be considerably enhanced by using formal engineering methods. Formal methods can be introduced gradually, in customisable ways, with less effort for a start than many will assume. There exist many different methods, each of which suitable for certain project types, settings, and quality goals. But how do you choose the right method for your company or project?

Biomedical Image Analysis

New paper online

Dr. Julian Mattes and his research partners have published a new paper with the title "Associating approximate paths and temporal sequences of noisy detections: Application to the recovery of spatio-temporal cancer cell trajectories".