Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real
Cada vez son más frecuentes las aplicaciones donde el tiempo juega un rol importante. Por ejemplo en: protocolos de comunicación; controladores de robots, de comandos de aviones, de pasos a nivel de trenes, de procesos industriales automatizados y de dispositivos electrónicos (o electromecánicos); a...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2004
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21326 |
| Aporte de: |
| id |
I19-R120-10915-21326 |
|---|---|
| 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 Especificación y Análisis de Sistemas de Tiempo Real Real time Autómatas (Grafos) Temporizados Model checking Lógicas TCTL y CTL Verificación de Modelos (“Model Checking”) Teoría de Tipos y Coq Verificación-Demostración de Corrección (“Proof Checking”) |
| spellingShingle |
Ciencias Informáticas Especificación y Análisis de Sistemas de Tiempo Real Real time Autómatas (Grafos) Temporizados Model checking Lógicas TCTL y CTL Verificación de Modelos (“Model Checking”) Teoría de Tipos y Coq Verificación-Demostración de Corrección (“Proof Checking”) Luna, Carlos Daniel Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| topic_facet |
Ciencias Informáticas Especificación y Análisis de Sistemas de Tiempo Real Real time Autómatas (Grafos) Temporizados Model checking Lógicas TCTL y CTL Verificación de Modelos (“Model Checking”) Teoría de Tipos y Coq Verificación-Demostración de Corrección (“Proof Checking”) |
| description |
Cada vez son más frecuentes las aplicaciones donde el tiempo juega un rol importante. Por ejemplo en: protocolos de comunicación; controladores de robots, de comandos de aviones, de pasos a nivel de trenes, de procesos industriales automatizados y de dispositivos electrónicos (o electromecánicos); aplicaciones multimedia y de internet; entre otras. En general éstas son aplicaciones críticas, en las cuales una falla o mal funcionamiento pueden acarrear consecuencias graves, tales como poner en juego vidas humanas y/o grandes inversiones económicas. El comportamiento de estos sistemas, llamados sistemas de tiempo real, no está determinado únicamente por la sucesión de acciones que se ejecutan, sino también por el momento en que las mismas ocurren y son procesadas. El tiempo de ejecución es “el” parámetro fundamental en el comportamiento de esta clase de sistemas y una gran parte, quizás la más importante, de los requerimientos de los mismos son temporales: “tal acción debe ejecutarse en un lapso de tiempo determinado”, “el tiempo transcurrido entre dos eventos o señales debe estar acotado por un valor constante”, etc. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Luna, Carlos Daniel |
| author_facet |
Luna, Carlos Daniel |
| author_sort |
Luna, Carlos Daniel |
| title |
Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| title_short |
Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| title_full |
Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| title_fullStr |
Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| title_full_unstemmed |
Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| title_sort |
combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real |
| publishDate |
2004 |
| url |
http://sedici.unlp.edu.ar/handle/10915/21326 |
| work_keys_str_mv |
AT lunacarlosdaniel combinandomodelcheckingyproofcheckingenelanalisisdesistemasdetiemporeal |
| bdutipo_str |
Repositorios |
| _version_ |
1764820464402694145 |