INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
Título:
A Practical Approach to Formal Design of Real-time Systems
Autor/es:
LUCIANO BARESI; VICTOR A. BRABERMAN; MIGUEL FELDER; MAURO PEZZE; FABIO PIENIAZECK
Lugar:
Pekín, China
Reunión:
Conferencia; IEEE International Conference on Systems, Man a Cybernetics; 1996
Institución organizadora:
IEEE
Resumen:
Formal methods are being increasingly used in engineering industrial software. They are mostly used for specifying software requirements, but seldom in development phases. This paper tries to bridge the gap between formal requirements specification and final code by introducing a formally defined notation. The proposed design notation extends structured analysis with constructs derived form POSIX real-time extensions. The design notation is defined by means of high-level timed Petri nets. Automatic tools for editing and verifying design specifications given in terms of the notation have been implemented and tools have been successfully validated on industrial case-studies.
