Abstract | ||
---|---|---|
A specification for a production cell is developed using the design method Focus. The specification comprises both the components of the production cell and the corresponding control programs. This work investigates the suitability of a rule system for the stepwise refinement of distributed systems in an assumption/commitment style. As a running example we consider the elevating rotary table of a production cell. Besides descriptive and constructive specifications for this component an executable simulation program in a functional language is presented. All design steps except the final transformation to an executable program are proven correct. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/3-540-58867-1_55 | Formal Development of Reactive Systems |
DocType | Volume | Issue |
Conference | 21 | 1 |
ISBN | Citations | PageRank |
3-540-58867-1 | 0 | 0.34 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Max Fuchs | 1 | 34 | 6.49 |
Jan Philipps | 2 | 162 | 16.45 |