Integration of Software Specification Techniques for Applications in Engineering (eBook, PDF)

Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Redaktion: Ehrig, Hartmut; Westkämper, Engelbert; Schnieder, Eckehard; Reif, Wolfgang; Große-Rhode, Martin; Desel, Jörg; Damm, Werner

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 630
• Erscheinungstermin: 5. April 2011
• Englisch
• ISBN-13: 9783540278634
• Artikelnr.: 53172094

Autorenporträt

Hartmut Ehrig, Technical University of Berlin, Germany / Werner Damm, University of Oldenburg, Germany / Jörg Desel, Catholic University Eichstätt, Germany / Martin Große-Rhode, Technical University of Berlin, Germany / Wolfgang Reif, University of Ulm, Germany / Eckehard Schnieder, Technical University Braunschweig, Germany / Engelbert Westkämper, University of Stuttgart, Germany

Inhaltsangabe

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.- I: Reference Case Study Production Automation.- Basic Principles for Software Specification.- Challenges of Next Generation Manufacturing Systems.- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.- An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems.- A Formal Component Concept for the Specification of Industrial Control Systems.- II: Reference Case Study Traffic Control Systems.- Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.- Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.- Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.- Executable HybridUML and Its Application to Train Control Systems.- The Use of UML for Development of a Railway Interlocking System.- III: Petri Nets and Related Approaches in Engineering.- Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.- Specification and Formal Verification of Temporal Properties of Production Automation Systems.- STOP - Specification Technique of Operational Processes.- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.- A Guide to Modelling and Control with Modules of Signal Nets.- Conceptual Design of an Engineering Model for Product andPlant Automation.- IV: Charts.- to Subject Area "Charts".- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML).- Interactive Verification of Statecharts.- Live Sequence Charts.- A Unifying Semantics for Sequential Function Charts.- V: Verification.- to Subject Area "Verification".- "UML-ising" Formal Techniques.- Model Based Formal Verification of Distributed Production Control Systems.- Combining Formal Methods and Safety Analysis - The ForMoSA Approach.- Formal Verification of LSCs in the Development Process.- Verification of PLC Programs Given as Sequential Function Charts.- Modeling and Formal Verification of Production Automation Systems.- VI: Integration Modeling.- On Model Integration and Integration Modelling.- On the Integration of Modular Heterogeneous Specifications.- Semantical Integration of Object-Oriented Viewpoint Specification Techniques.