| Publication type: |
Article in Proceedings |
| Author: |
Dominik Dietrich, Lutz Schröder, Ewaryst Schulz |
| Editor: |
Dimitra Giannakopoulou, Fernando Orejas |
| Title: |
Formalizing and Operationalizing Industrial Standards |
| Book / Collection title: |
Fundamental Approaches to Software Engineering (FASE 2011) |
| Volume: |
6603 |
| Page(s): |
81 – 95 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2011 |
| Publisher: |
Springer |
| Abstract: |
Industrial standards establish technical criteria for various
engineering artifacts, materials, or services, with a view to
ensuring their functionality, safety, and reliability. We develop a
methodology and tools to systematically formalize such standards, in
particular their domain specific calculation methods, in order to
support the automatic verification of functional properties for
concrete physical artifacts. We approach this problem in the
setting of the Bremen heterogeneous tool set Hets, which allows for
the integrated use of a wide range of generic and custom-made
logics. Specifically, we (i) design a domain specific language for
the formalization of industrial standards; (ii) formulate a
semantics of this language in terms of a translation into the
higher-order specification language HasCASL , and (iii) integrate
computer algebra systems (CAS) with the Hets framework via a generic
CAS-Interface in order to execute explicit and implicit calculations
specified in the standard. This enables a wide variety of
added-value services based on formal reasoning, including
verification of parameterized designs and simplification of
standards for particular configurations. We illustrate our approach
using the European standard EN 1591, which concerns calculation
methods for gasketed flange connections that assure the
impermeability and mechanical strength of the flange-bolt-gasket
system.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/fm-standards.pdf |
| Keywords: |
Industrial standards formal verification institutions domain specific language computer algebra calculation method |
| Status: |
Reviewed |
| Last updated: |
25. 03. 2011 |
|
 |
