Formal Methods and Semantic Technologies for Engineering Design Processes

Third party funded individual grant


Project Details

Project leader:
Prof. Dr. Lutz Schröder


Contributing FAU Organisations:
Lehrstuhl für Informatik 8 (Theoretische Informatik)

Funding source: DFG-Einzelförderung / Sachbeihilfe (EIN-SBH)
Acronym: FormalCAD
Start date: 01/10/2012
End date: 31/03/2014


Abstract (technical / expert description):


Systematic engineering design processes follow a series of standardized development stages that have many aspects in common with software engineering. In this analogy, CAD/CAM objects replace program code as the implementation stage of the development; however, other recognized development stages such as requirements or principle solutions are currently left largely informal and in fact are typically not laid down in machine-processable form at all. We propose to draw on the mentioned analogy and transfer methods from software engineering to engineering design in order to capture the full engineering design process formally and thus enhance in particular their reliability and reusability. We envision a document-oriented design process that integrates all stages of the development process from requirement specifications to CAD/CAM documents, and moreover incorporates background knowledge such as enterprise ontologies, industrial standards, and formalized geometric principles. In the proposed project, we plan to develop the information architecture for such a process and support it with a tool that interfaces a CAD system with formal specification languages, ontology reasoners, and semantic document management systems, thus allowing for a comprehensive development methodology that supports completely formalized development strands, change and life-cycle management, as well as semantically interlinked semi-formal documents for documentation and certification.


External Partners

Jacobs University Bremen gGmbH

Last updated on 2018-20-06 at 09:12