Conference
Stepwise refinement of control software - A case study using RAISE
Abstract
We develop a control program for a realistic automation problem by stepwise refinement. We focus on exemplifying appropriate levels of abstraction for the refinement steps. By using phases as a means for abstraction, safety requirements are specified on a high level of abstraction and can be verified using process algebra. The case study is carried out using the RAISE specification language, and we report on some experiences using the RAISE …
Authors
Erasmy F; Sekerinski E
Volume
873 LNCS
Pagination
pp. 548-566
Publication Date
January 1, 1994
DOI
10.1007/3-540-58555-9_115
Conference proceedings
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
ISSN
0302-9743