Enhancing the adoption of formal methods to design real-time systems

Formal methods are being increasingly used in engineering industrial software. They are moatly used for specifying and verifying software requirements, but seldom in later development phases. This paper tries to bridge the gap between formal requirements specifiction and final code by introducing a...

Descripción completa

Detalles Bibliográficos
Autores principales: Felder, Miguel, Pieniazek, Fabio Javier, Braberman, Victor Adrian
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1996
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24184
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24184
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
Felder, Miguel
Pieniazek, Fabio Javier
Braberman, Victor Adrian
Enhancing the adoption of formal methods to design real-time systems
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
description Formal methods are being increasingly used in engineering industrial software. They are moatly used for specifying and verifying software requirements, but seldom in later development phases. This paper tries to bridge the gap between formal requirements specifiction and final code by introducing a formally defill ed désign notatlon. The propased design notation extends strtictured analysis specification notationswith conatructs derived from POSIX real-time extensions. The design notation proposed in this anide is formally defined. Also; an operational semantic la given by meana of high-Ievel timed Petri neta, and can be formally analyzed using tools and techniques available for Petri nets.
format Objeto de conferencia
Objeto de conferencia
author Felder, Miguel
Pieniazek, Fabio Javier
Braberman, Victor Adrian
author_facet Felder, Miguel
Pieniazek, Fabio Javier
Braberman, Victor Adrian
author_sort Felder, Miguel
title Enhancing the adoption of formal methods to design real-time systems
title_short Enhancing the adoption of formal methods to design real-time systems
title_full Enhancing the adoption of formal methods to design real-time systems
title_fullStr Enhancing the adoption of formal methods to design real-time systems
title_full_unstemmed Enhancing the adoption of formal methods to design real-time systems
title_sort enhancing the adoption of formal methods to design real-time systems
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/24184
work_keys_str_mv AT feldermiguel enhancingtheadoptionofformalmethodstodesignrealtimesystems
AT pieniazekfabiojavier enhancingtheadoptionofformalmethodstodesignrealtimesystems
AT brabermanvictoradrian enhancingtheadoptionofformalmethodstodesignrealtimesystems
bdutipo_str Repositorios
_version_ 1764820466702221313

Ejemplares similares