Reactive system, such as operating systems or elevator control systems, is a system which ideally never terminates and is intended to maintain some interaction with its environment. There are some researches of synthesis reactive system programs from specifications described in formal languages such as temporal logic. The synthesis methods proposed in these researches synthesize several reactive system programs from one specification. It becomes a problem how to choose a good reactive system program among several programs synthesized from one specification. However, which reactive system is good depends on the behaviors of the environment. That is, we can not decide which reactive system program is good until it interacts the environment. Thus, it is desirable that a reactive system program should evolve itself according to the behavior of the environment. In this paper, we propose an idea of reactive system program evolution.
[1]
Amir Pnueli,et al.
On the Synthesis of an Asynchronous Reactive Module
,
1989,
ICALP.
[2]
Naoki Yonezaki,et al.
Program synthesis for stepwise satisfiable specification of reactive system
,
2000,
Proceedings International Symposium on Principles of Software Evolution.
[3]
Zohar Manna,et al.
Realizability and Synthesis of Reactive Modules
,
1994,
CAV.
[4]
Martín Abadi,et al.
Realizable and Unrealizable Specifications of Reactive Systems
,
1989,
ICALP.
[5]
Amir Pnueli,et al.
On the synthesis of a reactive module
,
1989,
POPL '89.