by Michael Kohlhase, Johannes Lemburg, Lutz Schröder and Ewaryst Schulz
Abstract:
Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of the development. They are, however, currently considerably less formal. We propose to draw on the mentioned similarities and transfer methods from software engineering to engineering design in order to enhance in particular the reliability and reusability of engineering processes. We lay out a vision of a document-oriented design process that integrates CAD/CAM documents with requirement specifications; as a first step towards supporting such a process, we present a tool that interfaces a CAD system with program verification workflows, thus allowing for completely formalised development strands within a semi-formal methodology.
Reference:
Michael Kohlhase, Johannes Lemburg, Lutz Schröder and Ewaryst Schulz: Formal Management of CAD/CAM Processes, In Ana Cavalcanti, Dennis Dams, eds.: Formal Methods (FM 2009), Lecture Notes in Computer Science, vol. 5850, pp. 223–238, Springer, 2009. [preprint]
Bibtex Entry:
@InProceedings{KohlhaseEA09,
author = {Michael Kohlhase and Johannes Lemburg and Lutz Schr{\"o}der and Ewaryst Schulz},
title = {Formal Management of CAD/CAM Processes},
year = {2009},
editor = {Ana Cavalcanti and Dennis Dams},
booktitle = {Formal Methods (FM 2009)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {223-238},
keywords = {Formal methods, CAD, document-oriented process, verification},
comment = { <a href = "http://www8.informatik.uni-erlangen.de/~schroeder/papers/CAD.pdf"> [preprint] </a>},
abstract = { Systematic engineering design processes have many aspects in common
with software engineering, with CAD/CAM objects replacing program
code as the implementation stage of the development. They are,
however, currently considerably less formal. We propose to draw on
the mentioned similarities and transfer methods from software
engineering to engineering design in order to enhance in particular
the reliability and reusability of engineering processes. We lay out
a vision of a document-oriented design process that integrates
CAD/CAM documents with requirement specifications; as a first step
towards supporting such a process, we present a tool that interfaces
a CAD system with program verification workflows, thus allowing for
completely formalised development strands within a semi-formal
methodology.
},
}