Research projects Herbert Praehofer

Static Code Analysis for PLC programs

• Subject: Static code analysis of PLC program code based on IEC 61131-3.
• Cooperations: ENGEL Austria, SCCH Hagenberg
• Funding: COMET
• Period: 2011-ongoing

Testing and Diagnosis of PLC programs

• Subject: Developing testing and debugging techniques and tools for automation software.
• Cooperations: KEBA AG, Linz
• Funding: Christian Doppler Forschungsgesellschaft
• Period: 2009-ongoing

Domain-specific Languages for Industrial Automation

• Subject: Development of new notations and tools for the specification and translation of domain-specific languages in the industrial automation domain
• Cooperations: KEBA AG, Linz
• Funding: Christian Doppler Forschungsgesellschaft
• Period: 2006-2009

Component Architectures for Next-generation Business Computing Systems

• Subject: Conception and architectural design of a next generation business computing framework based on a plug-in component approach.
• Cooperations: BMD Systemhaus GmbH, Steyr
• Funding: Christian Doppler Forschungsgesellschaft
• Period: 2006-2007

CAP.NET

• Subject: Development of a client application platform in .NET.
• Cooperations: Institute for Business Computing at the University of Linz
• Funding: --
• Period: 2005-2006

GDE&S - Reuse

• Subject: Assessment models for reuese practices in the industrial engineering domain.
• Cooperations: Siemens AG, CT; Software Competence Center Hagenberg; Institute for Busi-ness Computing at the University of Linz
• Funding: Siemens AG, CT
• Period: 2004-2005

GDE&S - System Iintegration

• Subject: Concepts and methods for system integration in the area of engineering and service of automation systems.
• Cooperations: Siemens AG, CT; Software Competence Center Hagenberg; Institute for Busi-ness Computing at the University of Linz
• Funding: Siemens AG, CT
• Laufzeit: 2003-2004

GDE&S - Engineering-Synchroniser

• Subject: Development of an object oriented application framework for the synchroni-sation of engineering data.
• Cooperations: Software Competence Center Hagenberg; Siemens CT, SE5, Erlangen
• Funding: Siemens AG, CT
• Period: 2002 - 2004

Aragon

• Subject: Development of a design tool for MMI development for mobile systems on the basis of Eclipse.
• Cooperations: Comneon electronic technology GmbH & Co. KG; Software Competence Cen-ter Hagenberg;
• Funding: KPlus
• Period: 2004

ITEA-CAFÉ: Asset base management

• Subject: Concept and prototypical realisation of a tool for asset base management and asset retrieval.
• Funding: BMVIT; Siemens AG, CT
• Cooperations: Siemens AG, CT
• Period: 2000- 2003

MES Components

• Subject: Concept and prototypical realisation of a object oriented framework for Manufacturing Execution Systems.
• Cooperations: Software Competence Center Hagenberg; Elin/EBG; Huber Computer
• Funding: K-Plus
• Period: 2001

JavaBeans Simulation Framework

• Subject: Realisation and application of an object oriented application frameworks for simulation applications.
• Cooperations: Institute for Business Computing at the University of Linz
• Funding: FWF; Association of the Austrian Paper Industry
• Period: 2000-2003

Computer Aided Systems Architecting

• Subject: Development of a methodology and tool for requirement engineering and architectural design of complex technical systems.
• Cooperations: Siemens AG, CT
• Funding: Siemens AG, CT
• Period: 1996-1998

Parallel discrete and discrete-continuous simulation

• Subject: Development of a simulation framework for parallel discrete event simula-tion.
• Funding: FWF
• Period: 1994 - 1996

Foundations of Systems Engineering

• Subject: Development of concepts for complex system analysis and design.
• Cooperations: Siemens AG, CT
• Funding: Siemens AG, CT
• Period: 1995-1997