sam 2014 » formal technical process specification and verification for automated production systems
TRANSCRIPT
![Page 1: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/1.jpg)
Formal Technical Process
Specification and Verification
for Automated Production
Systems
Georg Hackenberg, Alarico Campetelli, Christoph Legat,
Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser
![Page 2: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/2.jpg)
Motivation » Automated Production Systems (Google)
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 2
![Page 3: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/3.jpg)
Motivation » Systems Development Process(Simple)
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 3
![Page 4: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/4.jpg)
Motivation » Systems Development Process(Simple)
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 4
![Page 5: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/5.jpg)
Motivation » Systems Development Process(Simple)
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 5
![Page 6: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/6.jpg)
Motivation » Systems Development Process(Simple)
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 6
![Page 7: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/7.jpg)
Motivation » Systems Development Process(Simple)
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 7
Our focus
![Page 8: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/8.jpg)
Motivation » State of the Art
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 8
Business Process Model &
Notation
Formalized Process
Description
a general integrated approach to
process specification and design
/ run time verification.
Process Specification
Techniques
But what we found missing is
…
Design time
• E.g. Simulink Design Verifier
• Temporal logics / patterns
• Life sequence charts
• UML communication diagrams
Run time
• Run time verification /
monitoring
• Temporal logics
Formal Verification Techniques
![Page 9: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/9.jpg)
Motivation » Research Objectives
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 9
Design time
Run time
Abstract syntax
Graphical notation
Precise semantics
Machine
computable
Specification
Technique
Rigorous
Formalization
Verification
Technique
![Page 10: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/10.jpg)
1. Contribution
2. Evaluation
3. Conclusion
![Page 11: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/11.jpg)
Contribution » Specification Technique
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 11
![Page 12: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/12.jpg)
Contribution » Specification Technique
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 12
![Page 13: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/13.jpg)
Contribution » Specification Technique
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 13
![Page 14: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/14.jpg)
Contribution » Rigorous Formalization
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 14
![Page 15: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/15.jpg)
Contribution » Verification Technique
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 15
![Page 16: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/16.jpg)
Contribution » Verification Technique
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 16
![Page 17: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/17.jpg)
Contribution » Verification Technique
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 17
![Page 18: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/18.jpg)
1. Contribution
2. Evaluation
3. Conclusion
![Page 19: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/19.jpg)
Evaluation » Pick and Place Unit
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 19
Geometric Setup Plant Layout
![Page 20: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/20.jpg)
Evaluation » Process Specification
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 20
![Page 21: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/21.jpg)
Evaluation » System Specification
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 21
![Page 22: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/22.jpg)
Evaluation » Satisfaction Verification
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 22
![Page 23: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/23.jpg)
Evaluation » Issue Analysis / Resolution
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 23
Initial sensor positions
Incorrect crane angles
Displaced sensor positions
Correct crane angles
1. Initial System Specification2. Revised System
Specification
![Page 24: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/24.jpg)
1. Contribution
2. Evaluation
3. Conclusion
![Page 25: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/25.jpg)
Conclusion » Benefits and Future Work
2014/09/30 Georg Hackenberg - Formal Technical Process Specification and Verification 25
Obervation interface allows to…
• Decouple and integrate process
and system specification
• Model process specification over
abstract observation streams
• Model system specification using
observer components
Verification technique allows
to…
• Prove process satisfaction both at
design and at run time
Improve graphical notation of
the process specification
• Reduce modeling effort through
inclusion of specification patterns
Analyze and improve scalability
of the presented approach
• Prove process satisfaction for the
entire pick and place unit
• Prove process satisfaction step-
wise from activity to activity?
Benefits Future Work
![Page 26: SAM 2014 » Formal Technical Process Specification and Verification for Automated Production Systems](https://reader034.vdocuments.us/reader034/viewer/2022042615/55a98d1a1a28ab13048b4751/html5/thumbnails/26.jpg)
Formal Technical Process
Specification and Verification
for Automated Production
Systems
Georg Hackenberg, Alarico Campetelli, Christoph Legat,
Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser