Duration properties over real time system designs

Constraints on the accumulated sojourn time at partic ular system states are among the possible requirements for a real-time system. These requirements are called dura tion properties. The need to predict temporal behavior of critical real-time systems has encouraged the development of a useful coll...

Descripción completa

Detalles Bibliográficos
Autor principal:	Braberman, Víctor Adrián
Publicado:	2000
Materias:	Automata Duration properties Model-checking Real-time system designs Automata theory Design Interactive computer systems Model checking Scheduling Specifications Systems analysis Verification Automatic technique Physical design Real-time software Run-time scheduling Scheduling theory Temporal behavior Real time systems
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07695088_v_n_p51_Braberman http://hdl.handle.net/20.500.12110/paper_07695088_v_n_p51_Braberman
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_07695088_v_n_p51_Braberman
record_format	dspace
spelling	paper:paper_07695088_v_n_p51_Braberman2023-06-08T15:45:47Z Duration properties over real time system designs Braberman, Víctor Adrián Automata Duration properties Model-checking Real-time system designs Automata theory Design Interactive computer systems Model checking Scheduling Specifications Systems analysis Verification Automata Automatic technique Duration properties Physical design Real-time software Run-time scheduling Scheduling theory Temporal behavior Real time systems Constraints on the accumulated sojourn time at partic ular system states are among the possible requirements for a real-time system. These requirements are called dura tion properties. The need to predict temporal behavior of critical real-time systems has encouraged the development of a useful collection of results for run-time scheduling as well as an interesting set of formal automatic techniques based on model-checking. However, no automatic technique directly supports the verification of duration requirements over physical designs of real-time software. In [6] it is pre sented an approach that applies known scheduling theory to automatically derive simple and compositional formal mod els based on timed automata [1 ]. In this article, we com bine that modeling method with a conservative algorithm that extends [5] to check duration properties over the result ing timed automata. © 2000 IEEE. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2000 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07695088_v_n_p51_Braberman http://hdl.handle.net/20.500.12110/paper_07695088_v_n_p51_Braberman
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Automata Duration properties Model-checking Real-time system designs Automata theory Design Interactive computer systems Model checking Scheduling Specifications Systems analysis Verification Automata Automatic technique Duration properties Physical design Real-time software Run-time scheduling Scheduling theory Temporal behavior Real time systems
spellingShingle	Automata Duration properties Model-checking Real-time system designs Automata theory Design Interactive computer systems Model checking Scheduling Specifications Systems analysis Verification Automata Automatic technique Duration properties Physical design Real-time software Run-time scheduling Scheduling theory Temporal behavior Real time systems Braberman, Víctor Adrián Duration properties over real time system designs
topic_facet	Automata Duration properties Model-checking Real-time system designs Automata theory Design Interactive computer systems Model checking Scheduling Specifications Systems analysis Verification Automata Automatic technique Duration properties Physical design Real-time software Run-time scheduling Scheduling theory Temporal behavior Real time systems
description	Constraints on the accumulated sojourn time at partic ular system states are among the possible requirements for a real-time system. These requirements are called dura tion properties. The need to predict temporal behavior of critical real-time systems has encouraged the development of a useful collection of results for run-time scheduling as well as an interesting set of formal automatic techniques based on model-checking. However, no automatic technique directly supports the verification of duration requirements over physical designs of real-time software. In [6] it is pre sented an approach that applies known scheduling theory to automatically derive simple and compositional formal mod els based on timed automata [1 ]. In this article, we com bine that modeling method with a conservative algorithm that extends [5] to check duration properties over the result ing timed automata. © 2000 IEEE.
author	Braberman, Víctor Adrián
author_facet	Braberman, Víctor Adrián
author_sort	Braberman, Víctor Adrián
title	Duration properties over real time system designs
title_short	Duration properties over real time system designs
title_full	Duration properties over real time system designs
title_fullStr	Duration properties over real time system designs
title_full_unstemmed	Duration properties over real time system designs
title_sort	duration properties over real time system designs
publishDate	2000
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07695088_v_n_p51_Braberman http://hdl.handle.net/20.500.12110/paper_07695088_v_n_p51_Braberman
work_keys_str_mv	AT brabermanvictoradrian durationpropertiesoverrealtimesystemdesigns
_version_	1768543281780621312

Duration properties over real time system designs

Ejemplares similares