Modeling and Checking Real-Time System Designs

Mostrar todas las versiones(4)

Real-time systems are found in an increasing variety of application elds. Usually, they are embedded systems controlling devices that may risk lives or damage properties: they are safety critical systems. Hard Real-Time requirements (late means wrong) make the development of such kind of systems a f...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Braberman, Victor Adrian
Formato: Articulo
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Real-time systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/135419
https://publicaciones.sadio.org.ar/index.php/EJS/article/view/120
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-135419
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Real-time systems
spellingShingle Ciencias Informáticas
Real-time systems
Braberman, Victor Adrian
Modeling and Checking Real-Time System Designs
topic_facet Ciencias Informáticas
Real-time systems
description Real-time systems are found in an increasing variety of application elds. Usually, they are embedded systems controlling devices that may risk lives or damage properties: they are safety critical systems. Hard Real-Time requirements (late means wrong) make the development of such kind of systems a formidable and daunting task.The need to predict temporal behavior of critical real-time systems has encouraged the development of an useful collection of models, results and tools for analyzing schedulability of applications. However, there is no general analytical support for verifying other kind of high level timing requirements on complex software architectures. On the other hand, the verication of specications and designs of real-time systems has been considered an interesting application eld for automatic analysis techniques such as model-checking. Unfortunately, there is a natural trade-o between sophistication of supported features and the practicality of formal analysis.
format Articulo
Articulo
author Braberman, Victor Adrian
author_facet Braberman, Victor Adrian
author_sort Braberman, Victor Adrian
title Modeling and Checking Real-Time System Designs
title_short Modeling and Checking Real-Time System Designs
title_full Modeling and Checking Real-Time System Designs
title_fullStr Modeling and Checking Real-Time System Designs
title_full_unstemmed Modeling and Checking Real-Time System Designs
title_sort modeling and checking real-time system designs
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/135419
https://publicaciones.sadio.org.ar/index.php/EJS/article/view/120
work_keys_str_mv AT brabermanvictoradrian modelingandcheckingrealtimesystemdesigns
bdutipo_str Repositorios
_version_ 1764820455350337537

Ejemplares similares