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.
Work performed as part of the project FormalSafe funded by the German Federal Ministry of Education and Research (FKZ 01IW07002).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: Maya: Maintaining structured documents, ch. 26.12 of [7]
Bidoit, M., Mosses, P.D.: CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)
Chou, S.-C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)
Gräbe, H.-G.: The SymbolicData GEO records - a public repository of geometry theorem proof schemes. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 67–86. Springer, Heidelberg (2004)
Hales, T.C.: Introduction to the Flyspeck project. In: Mathematics, Algorithms, Proofs. Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), vol. 05021 (2006)
ISO 10303-1, Industrial automation systems and integration — Product data representation and exchange, Part 1: Overview and fundamental principles. International Organization for Standardization (1994)
Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
Lemburg, J.P.: Methodik der schrittweisen Gestaltsynthese. PhD thesis, Fakultät für Maschinenwesen, RWTH Aachen (2008)
Mossakowski, T., Maeder, C., Lüttich, K.: The heterogeneous tool set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)
Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Pratt, M.J.: Introduction to ISO 10303 - the STEP standard for product data exchange. J. Comput. Inf. Sci. Eng. 1, 102–103 (2001)
Schröder, L., Mossakowski, T.: HasCasl: Integrated higher-order specification and program development. Theoret. Comput. Sci. 410, 1217–1260 (2009)
Introducing SolidWorks. SolidWorks Corporation, Concord, MA (2002)
VDI-Gesellschaft Entwicklung Konstruktion Vertrieb. Methodik zum Entwickeln und Konstruieren technischer Systeme und Produkte (1995), English title: Systematic approach to the development and design of technical systems and products
Wu, W.-T.: Mechanical Theorem Proving in Geometries. Texts and Monographs in Symbolic Computation, vol. 1. Springer, Heidelberg (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kohlhase, M., Lemburg, J., Schröder, L., Schulz, E. (2009). Formal Management of CAD/CAM Processes. In: Cavalcanti, A., Dams, D.R. (eds) FM 2009: Formal Methods. FM 2009. Lecture Notes in Computer Science, vol 5850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05089-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-05089-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05088-6
Online ISBN: 978-3-642-05089-3
eBook Packages: Computer ScienceComputer Science (R0)