Projects at the Institute for Software Technology

Note: The list of projects may be incomplete or not up-to-date. In case of mistakes please notify the corresponding member or the webmaster.

• MoRDAMS: FWF project (P17963-N04) on Model-Based Runtime Diagnosis for Autonomous Mobile Systems.
• RoboCup 2009: Organization of the RoboCup 2009 in Graz.
• RoboCup Middle Size: Intra-university project on robot-soccer and other robot-related subjects.
• RoboCup Simulation League: Student project creating software agents playing robotic soccer in a 2-dimensional virtual environment.
• RoboCupJunior: Building a vital Austrian RoboCupJunior community.
• ISAC: Educational software project for a 'transparent system for applied mathematics'.
• MOGENTES: Model-based Generation of Tests for Dependable Embedded Systems. MOGENTES is a STREP in the 7th EU framework programme.
• SoftNet: Competence Network with a focus on software engineering competences. The Network is coordinated by us.
  Subprojects in which we are directly involved:
  • SoftNet Project "Formal Methods in Software Engineering of Mobile Applications"
  • SoftNet Project "Test-Management, Test-Methodology und Certification"
  • SoftNet Project "Planning Knowledge"
  • SoftNet Project "Mobile Multi-Media Replayer"
• FSP S092 Joint Research Program of Industrial Geometry: In the context of industrial applications, the complex problems cannot be solved satisfactorily by using methods from a single branch of applied geometry. Instead, a combination of different approaches will often be needed. Therefore, the different fields of Applied Geometry, such as Computational Geometry, Computer Aided Geometric Design, Image Processing, Computer Vision, and Kinematics and Robotics have started to become increasingly interconnected and begun even to merge. The proposed research in this FSP aims at creating an Austrian research community in this new and emerging field of Industrial Geometry.

Past projects:

• SEPIAS: FIT-IT Semantic systems project (810792) on autonomous, intelligent systems.
• Prosyd: EU project on property based design of electronic systems.
• Te-Des: FIT-IT Embedded systems project (809446) on test-case generation for safety-critical distributed embedded systems.
• Mistral: FIT-IT Semantic systems project (809264) on Measurable Intelligent and Reliable Semantic Extraction and Retrieval of Multimedia Data
• NextWrap: FIT-IT Semantic systems project (809263) on intelligent web wrapping.
• JADE-X: FWF project (P15265) on diagnosis, i.e., fault localization, of Java programs. JADE-X is the successor project of the JADE project.
• DEV: FWF project (P15163) on diagnosis of VHDL programs.