Communication protocols verification with Esterel
Ver/ abrir
Use este enlace para citar
http://hdl.handle.net/2183/164Coleccións
Metadatos
Mostrar o rexistro completo do ítemTítulo
Communication protocols verification with EsterelData
1995Cita bibliográfica
Proceedings of the Second International Conference on Software Engineering in Higher Education (SEHE-1995), Alicante (Spain). pp. 255-265.
Resumo
[Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description and of flexibility in the verification process.
We also show the control synchronization mechanisms to coordinate concurrent processes. The goal is to prevent in compile-time deadlock and lockout phenomena, a feature that is not available in most programming languages.
Palabras chave
Synchronous programming
Reactive systems
Automata verification
Reactive systems
Automata verification
ISBN
1-56252-309-0 1-85312-385-4