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
Series
Lecture Notes in Computer Science
Volume
873
Pagination
pp. 547-566
Publisher
Springer Nature
Publication Date
1994
DOI
10.1007/3-540-58555-9_115
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743