Introduction

The Advanced Computing Research Centre is the research arm of the School of Computer and Information Science of the the University of South Australia. Among other topics, researchers at the Centre are engaged in AI research including such topics as Model-based Diagnosis and Debugging, Qualitative Reasoning, Knowledge-Based Configuration, Ontologies, and Fuzzy Control. Research at the Centre is funded through multiple grants from the Australian Research Council (ARC) for pure (ARC Discovery Grants) and applied (ARC Linkage Grants with Motorola and as industrial partners) research as well as third parties such as the Defence Science and Technology Organisation (DSTO).

Model-based Diagnosis

Research in model-based diagnosis and debugging continues the work done in the last decade at the DBAI group at Technische Universität Wien. Current research topics include modelling of diagnosis problems and improving the performance of diagnosis algorithms.

Staff Members Involved in Model-Based Diagnosis Research

Recent Publications

2002

Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Model-based Debugging or How to Diagnose Programs Automatically. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer LNAI, Cairns, Australia, June 2002.

Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Observations and results gained from the jade project. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Semmering, Austria, April 2002.

Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, and Franz Wotawa. DiKe - a model-based diagnosis kernel and its applications. AI Communications, 2002.

Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. In F. van Harmelen, editor, Proc. ECAI, Amsterdam, 2002. To appear.

Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Towards an Integrated Debugging Environment. In F. van Harmelen, editor, Proc. ECAI, Amsterdam, 2002. To appear.

2001

Markus Stumptner. Using design information to identify structural software faults. In Proceedings 14th Australian Joint Conference on Artificial Intelligence, Springer LNAI 2256, pages 473-486, Adelaide, December 2001.

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, and Markus Zanker. Hierarchical diagnosis of large configurator knowledge bases. In 24th German - Joint German/Austrian Conference on Artificial Intelligence (KI'01), Springer LNAI, Vienna, September 2001.

Gerhard Fleischanderl, Thomas Havelka, Schreiner Herwig, Markus Stumptner, and Franz Wotawa. DiKe - a model-based diagnosis kernel and its applications. In 24th German - Joint German/Austrian Conference on Artificial Intelligence (KI'01), Springer LNAI, Vienna, September 2001.

Markus Stumptner, Dominik Wieland, and Franz Wotawa. Comparing Two Models for Software Debugging. In 24th German - Joint German/Austrian Conference on Artificial Intelligence (KI'01), Springer LNAI, Vienna, Austria, September 2001.

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, and Markus Zanker. Hierarchical diagnosis of large configurator knowledge bases. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Via Lattea, Italy, mar 2001.

Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, Markus Stumptner, and Franz Wotawa. DiKe - A Model-Based Diagnosis Kernel and its Application. In Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.

Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. Artificial Intelligence, 127(1):1-29, 2001.

Franz Wotawa and Markus Stumptner. Modellbasierte Diagnose - überblick und technische Anwendung. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2001.

Markus Stumptner, Dominik Wieland, and Franz Wotawa. Analysing Models for Software Debugging. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.

2000

Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In Proceedings of the 12th International Conference on Tools with Artificial Intelligence, Canada, November 2000. Also appears in [22].

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. Consistency based diagnosis of configuration knowledge bases. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, August 2000.

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. Exploiting structural abstractions for consistency based diagnosis of large configurator knowledge bases. In ECAI Workshop on Configuration, Berlin, August 2000.

Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.

Thomas Havelka, Markus Stumptner, and Franz Wotawa. AD2L- A Programming Language for Model-Based Systems (Preliminary Report). In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - A Step towards an Intelligent Debugger. In Proc. DX'00 Workshop, Morelia, Mexico, June 2000.

Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. AI Support for Debugging Java Programs. In 3rd Workshop on Intelligent SW Eng., Limerick, Ireland, June 2000.

Markus Stumptner and Franz Wotawa, editors. AI Communications, Special Issue on Industrial Applications of Model-Based Reasoning, volume 13(1). IOS Press, 2000.

Gerhard Fleischanderl, Herwig Schreiner, Markus Stumptner, and Franz Wotawa. An Environment and Language for Industrial Use of Model-based Diagnosis. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.

Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based Diagnosis in Manufacturing. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.

Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based diagnosis and manufacturing control. In ECAI 2000 Workshop on Knowledge-Based Engineering, Berlin, 2000.

Wolfgang Mayer. Modellbasierte Diagnose von Java-Programmen, Entwurf und Implementierung eines wertbasierten Modells. Master's thesis, Institut für Informationssysteme, Abteilung für Datenbanken und Artificial Intelligence, TU Wien, 2000. (only available in German).

Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java programs - first results of the Java Diagnosis Experiments (Jade) project. In Proceedings IEA/AIE, New Orleans, 2000. Springer-Verlag.

Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Model-Based Debugging of Java Programs. In Proceedings of the 4th International Workshop on Automated and Algorithmic Debugging, AADEBUG '00, Munich, Germany, 2000.

Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for Locating Faults in VHDL Designs. Künstliche Intelligenz, 14(4):62-67, 2000.

Markus Stumptner and Franz Wotawa. Guest-Editorial Special Issue on Industrial Applications of Model-based Reasoning. AI Communications, 13(2), 2000.

Markus Stumptner and Franz Wotawa (Eds.). Special Issue on Industrial Applications of Model-based Reasoning. AI Communications, 13(2), 2000.

1999

Cristinel Mateis, Markus Stumptner and Franz Wotawa, `Debugging of Java Programs using a Model-based Approach', in Proceedings of the International Workshop on Diagnosis (DX-99), 1999.

Markus Stumptner and Franz Wotawa, `Reconfiguration using Model-based Diagnosis', in Proceedings of the International Workshop on Diagnosis (DX-99), 1999.

Franz Wotawa, `Debugging synthesizeable VHDL Programs', in Proceedings of the International Workshop on Diagnosis (DX-99), 1999.

Gerhard Friedrich, Markus Stumptner and Franz Wotawa, `Model-Based Diagnosis of Hardware Designs', to appear in Artificial Intelligence.

Markus Stumptner and Franz Wotawa, `Debugging Functional Programs', in Proceedings of the International Joint Conference on AI (IJCAI-99), Stockholm, 1999.

Christian Piccardi and Franz Wotawa, `Towards a Framework for Mobile Diagnosis Agents', in Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Kairo, 1999.

Franz Wotawa, `New Directions in Debugging Hardware Designs', in Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Kairo, 1999. [IEAAIE99b], A long version of this paper is available as technical report.

1998

Markus Stumptner and Franz Wotawa, `MBD Research Activities at Vienna University of Technology', in Proceedings of the ECAI-98 Workshop W5 `Model-based systems and qualitative reasoning', Brighton, UK, 1998.

Markus Stumptner and Franz Wotawa, `Model-based reconfiguration', in Proceedings Artificial Intelligence in Design (AID-98), Lisbon, Portugal, 1998.

Markus Stumptner and Franz Wotawa, `VHDLDIAG+:Value-level Diagnosis of VHDL Programs', in Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX-98) , Cape Cod, USA, 1998.

Markus Stumptner and Franz Wotawa, `Debugging Functional Programs', in Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX-98) , Cape Cod, USA, 1998.

Markus Stumptner and Franz Wotawa, `A Survey of Intelligent Debugging', in The European Journal on Artificial Intelligence (AICOM) , Vol. 11, Num. 1, 1998.

Recent Diagnosis Projects by Group Members

JADE

The Jade project was funded in 1998-2001 by the Austrian Science Fund (FWF) under grant P12344-INF. Its goal was to extend and examine the application of model-based diagnosis techniques to programming languages in general, and in particular to object-oriented languages due to their widespread usage and their position at the forefront of programming language research. The vehicle chosen for the project was the language Java. The project resulted in the development of a series of models for expressing Java semantics in diagnosis-related terms at different levels of abstraction, incorporating most of the relevant Java language features. These models were incorporated in an intelligent debugger prototype that permits iterative, interactive identification of program errors and was tested on a set of small to medium sized example programs. Research on the prototype continues and the capabilities continue to be extended.

DDV

The DDV ("Design Diagnosis of VHDL") project was funded in 1993-99 by Siemens Austria. The project dealt with the diagnosis of VHDL programs. VHDL (Very High speed Hardware Description Language) is a general programming language used to formulate executable hardware specifications. The aim of the project is the reduction of design costs phase by helping the VHDL designer finding a misbehavior and the associated bugs faster. Two prototype systems were implemented, one of which was deployed for internal use.

Contact Details