Charles ANDRÉ, Frédéric BOULANGER, Marie-Agnès PÉRALDI, Jean-Paul RIGAULT, Guy VIDAL-NAQUET
Clear structure, support
for abstraction, reuse, and easy evolution, these are the striking features
of the object-oriented approach. Formal description of the reactive behavior,
making it possible to prove logical correctness, is the essence of the synchronous
paradigm.
This paper proposes to combine these two approaches. An introductory example
presents the notion of a synchronous object. Then, various issues related to
objects and synchrony are addressed. Finally, we report on our progress in building
a complete design and programming environment. Editors, compilers, simulators,
and interfaces towards model checkers are integrated within this environment,
which should contribute to better software quality in the field of real-time.
@ARTICLE{sp:jesa97,
AUTHOR = "C. Andr\'e and F. Boulanger and M.A. P\'eraldi and J.P.
Rigault and G. Vidal-Naquet",
TITLE = "Objects and Synchronous Programming",
JOURNAL = "RAIRO--APII--JESA",
YEAR = {1997},
VOLUME = {31},
NUMBER = {3},
PAGES = {417--432},
PUBLISHER = {Herm\`es},
ADDRESS = {Paris (F)}
}