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

Autores
Felder, Miguel; Pieniazek, Fabio Javier; Braberman, Victor Adrian
Año de publicación
1996
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24184
Acceder
id SEDICI_a6d8cc6794f1669cf818f56daffc8779
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24184
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Enhancing the adoption of formal methods to design real-time systemsFelder, MiguelPieniazek, Fabio JavierBraberman, Victor AdrianCiencias InformáticasSOFTWARE ENGINEERINGReal timePetri netsDesign NotationsFormal DesignReal-Time SystemsPOSIXFormal 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.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)1996-11info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf258-270http://sedici.unlp.edu.ar/handle/10915/24184enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:48:23Zoai:sedici.unlp.edu.ar:10915/24184Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:48:24.134SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Enhancing the adoption of formal methods to design real-time systems
title Enhancing the adoption of formal methods to design real-time systems
spellingShingle Enhancing the adoption of formal methods to design real-time systems
Felder, Miguel
Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
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
dc.creator.none.fl_str_mv Felder, Miguel
Pieniazek, Fabio Javier
Braberman, Victor Adrian
author Felder, Miguel
author_facet Felder, Miguel
Pieniazek, Fabio Javier
Braberman, Victor Adrian
author_role author
author2 Pieniazek, Fabio Javier
Braberman, Victor Adrian
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Real time
Petri nets
Design Notations
Formal Design
Real-Time Systems
POSIX
dc.description.none.fl_txt_mv 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.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 1996
dc.date.none.fl_str_mv 1996-11
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24184
url http://sedici.unlp.edu.ar/handle/10915/24184
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
258-270
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846063911356334080
score 13.22299

Publicaciones similares