Projects at the Institute of 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.]]

• autonomous jetflyer: Automatische Paketzustellung mit dem autonomen Elektrofahrzeug JetFlyer.
• AGILE: Horizon 2020 project on recommendation and configuration technologies for the Internet Of Things (IoT).
• PeopleViews: PeopleViews will develop innovative knowledge acquisition approaches that are based on methods of Human Computation. These approaches will allow people from the streets to build an manage their personal recommender applications.
• CRYSTAL: The ARTEMIS Joint Undertaking project CRYSTAL (CRitical sYSTem engineering AcceLeration) takes up the challenge to establish and push forward an Interoperability Specification (IOS) and a Reference Technology Platform (RTP) as a European standard for safety-critical systems.
• TRUCONF: TRUCONF sets out to increase trust in and reliability of systems of systems, going beyond the standard notion of functional correctness. It will focus on emergent non-functional properties of complex composed systems and extend - as well as adopt - well-established modelling, verification and testing techniques. In closing the modelling-testing loop, TRUCONF will also explore automated nonfunctional property learning techniques. Outcome of TRUCONF will be a language for rigorous system design, backed by theory and tools that allow the thorough, systematic and efficient validation of diverse non-functional properties of a system of systems. TRUCONF was motivated by the real-world needs of the industry partner and will, once successful, help increasing its competitiveness in a global market.
• Catrobat: Catrobat is an on-device graphical programming language for mobile devices that is inspired by the Scratch programming language developed by the Lifelong Kindergarten Group at the MIT Media Lab.
• SIMOA: FFG Bridge project on Simulation and Configuration of Mobile Networks for M2M Applications.
• iCone: Intelligent Assistance for Configuration Knowledge Base Development and Maintenance
• IntelliReq: Intelligent Recommendation Technologies for Requirements Engineering
• Casa Vecchia: Venue Enabling Collaboration and Communication in the accustomed Home to support Independent Aging
• abriar: FWF project (P22690) on Active Belief Repair for Intelligent Autonomous Robots.
• 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.

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 re

Past projects:

• ISAC: Educational software project for a 'transparent system for applied mathematics'.
• TRUFAL: TRUFAL aims at development of efficient model-based generation of test cases for industrial embedded applications with a special focus on finding implementation faults which
• MBAT: ARTEMIS project MBAT will provide European industry with a new leading-edge V&V technology in form of a Reference Technology Platform (MBAT RTP) that will enable the production of high-quality and safe embedded systems at reduced cost in terms of time and money.
• MOGENTES: Model-based Generation of Tests for Dependable Embedded Systems. MOGENTES is a STREP in the 7th EU framework
• MoDReMAS: FWF project (P20199-N15) on Model-Based Diagnosis and Reconfiguration in Autonomous Mobile Systems.
• MoRDAMS: FWF project (P17963-N04) on Model-Based Runtime Diagnosis for Autonomous Mobile Systems.
• WeCare: Community-based Configuration of Complex Products and Services
• RoboCup 2009: Organization of the RoboCup 2009 in Graz.
• 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.