Research

Participant's Projects Related to ADAPT

  • The KeY Project - Integrated Deductive Software Development

    The KeY System is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. At the core of the system is a novel theorem prover for the first-order Dynamic Logic for Java with a user-friendly graphical interface.

  • The Verisoft Project

    Verisoft is a long-term research project funded by the German Federal Ministry of Education and Research (BMBF). Project management agency is the German Aerospace Center (DLR). The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are used, for example, in automotive engineering, in security technology and in the sector of medical technology, is to be mathematically proved.

  • Requirements-Driven Software Development System (ReDSeeDS)

    The main objective of the project is to create an open framework consisting of a scenario-driven development method (precise specification language and process for the how-to), a repository for reuse and tool support throughout.

  • Software Techniques for Object Recognition (STOR)

    Das Projekt Software Techniques for Object Recognition (STOR) der Arbeitsgruppen Softwaretechnik und Aktives Sehen beschäftigt sich mit der Entwicklung eines komponentenorientierten Konzepts zur Objektwiedererkennung in Bildern und Bildfolgen, das unter anderem für eine Pose-Schtzung im Kontext der Augmented Reality verwendet werden kann.

  • IASON

    The IASON project aims to use Artificial Intelligence technology on mobile devices in order to offer intelligent location-based services to the user. Intelligent services include personalized recommendations, gathering of relevant information etc. This is achieved through inference of available information in the users vincinity and the users profile. Reasoning is used to find matches ofoffered and requested pieces of information. A variety of Artificial Intelligence techniques will be included in the research. (E.g. machine learning based on your actions might be used to infer mor of your preferences.)

  • LogAnswer

    The goal of our project is the development of LogAnswer, a question-answering system that automatically infers correct replies to user questions regarding any topic. LogAnswer operates on an extensive knowledge base derived from newspaper articles and Wikipedia. While other systems with similar goals focus on shallow linguistic methods, LogAnswer uses automated reasoning in the form of our theorem prover E-KRHyper and a logic-based knowledge representation that allows the inclusion of semantics. This enables LogAnswer to derive complex answers that require a deeper understanding of the textual sources. The LogAnswer-project is funded by the DFG.

  • RoboLog

    In this project we are researching the application of logic and deductive techniques for controlling a team of autonomous agents. The RoboCup Simulation League Soccer Server provides an easy way to test the quality of competitive approaches. RoboLog is both the name of our team and our interface to the Soccer Server. This enterprise is funded by the Deutsche Forschungsgemeinschaft - DFG in two projects, one is associated with the priority program on Spatial Cognition; the other one is part of the Special Priority Program RoboCup of the DFG.

  • SOAVIWA: a service-oriented protection for virtual goods

    Das Internet bietet nicht nur neue Vertriebswege traditioneller Waren und Dienstleistungen (z.B. Bücher und Bahnfahrkarten), sondern es ist auch das Transportmittel digitaler Waren (z.B. MP3-Musik). Die Perspektive der Internetökonomie beschränkt sich nicht auf Musik oder auf die Unterhaltungsbranche, sondern erstreckt sich ber alle medialen Ausdrucksformen und vielfache Anwendungskontexte wie Unterhaltung, Bildung, etc.

  • Transforming and Weaving Ontologies and UML in Software Engineering (Twouse)

    UML models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for use of specifying different aspects of software systems. In particular, OWL ontologies are well suited to specify classes using an expressive logical language with highly flexible, dynamic and polymorphic class membership, while UML diagrams are much more suitable for specifying not only static models including classes and associations, but also dynamic behavior. TwoUse is an integrated use of both modeling approaches in a coherent framework for developing integrated models, comprising the benefits of UML models and OWL ontologies. This wiki describes how to use our eclipse plugin. Our plugin aims at letting the user create his own TwoUse models by weaving existing UML models and Ontologies and transforming them into a TwoUse file.

  • X-Media - Knowledge Sharing and Reuse across Media

    Fokus des X-Media-Projektes ist das Wissensmanagement in komplexen verteilten Umgebungen. Methodologien und Technologien zur großangelegten gemeinsamen Nutzung und Wiederverwendung von verteiltem Wissen werden untersucht, entwickelt und implementiert. Die Methodologien berücksichtigen Wissen aus unterschiedlichen Datenformaten (Bild, Text etc.) und von verschiedenen Ablagesystemen (Datenbank, Dokumentenserver etc.) und ermöglichen die Erfassung impliziten Wissens, welches durch die Kombination des auf mehreren Medien verfgbaren Wissens zu erhalten ist.

  • LOGISTIK-VINFO

    Vor dem Hintergrund des zu erwartenden Klimawandels und der prognostizierten Entwicklung der Energiekosten, rückt zunehmend auch die Energieeffizienz von Gtertransporten ins Blickfeld von Industrie und Politik. Die Steuerung des Verkehrs soll dabei unter dem Gesichtspunkt des Energieverbrauchs betrachtet werden. Hierzu wird von der Arbeitsgruppe Zöbel ein Fahrerassistenzsystem konzipiert und entwickelt. das eine Energie und Ressourcen schonende Fahrweise von Nutzfahrzeugen untersttzt. Mithilfe dieses Fahrerassistenzsystems soll eine Reduktion des Kraftstoffverbrauchs, der Umweltbelastung und der Transportkosten erreicht werden.

  • Advanced Park Assist System

    Von Seiten der Automobil- und Zulieferindustrie wird eine Vielzahl von Parkassistenzsystemen angeboten, die den Fahrer/die Fahrerin beim Einparken in eine parallel zur Straße liegende Parklücke untersttzen. In Erweiterung dieser Funktionalität wurde ein Parkassistenzsystem konzipiert, das zustzlich auch bei orthogonal zur Fahrbahn liegenden Parklcken Untersttzung leistet. Durch eine innovative Mensch-Maschine-Schnittstelle kommt das Parkassistenzsystem ohne Sensoren zur Gewinnung von Informationen des Fahrzeugumfelds aus. Die Querregelung des Fahrzeugs wird durch das Parkassistenzsystem und die Lngsregelung weiterhin durch den Fahrer/die Fahrerin durchgefhrt.

  •  Emergence in the Loop: Simulating the two-way dynamics of norm innovation (EMIL)

    The project is devoted to simulate the emergence of norms in social systems where agents adapt their behaviour to their environment and to each other. It has been funded by the European Commission since September 2006 (for three years).

  • Marrying Ontology and Software Technology (MOST)

    The MOST project will improve software engineering by leveraging ontology and reasoning technology. To reach this goal, it will develop a seamless integration technology for ontologies into model-driven software development (MDSD), resulting in ontology-driven software development (ODSD). This concerns the integration of all involved artefacts (ontology and modelling languages, models, tools), as well as the development processes (process guidance, reasoning guidance, traceability of models). With ODSD, ontologyaware software, including product lines, can be constructed, managed, and maintained, which will be proven by three major industrial case studies.

 

last modified Mar 31, 2009 11:33

Kontakt