Busque entre los 156238 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-09-21T14:17:20Z | |
dc.date.available | 2012-09-21T14:17:20Z | |
dc.date.issued | 2004 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/21326 | |
dc.description.abstract | 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. | es |
dc.format.extent | 676-681 | es |
dc.language | es | es |
dc.subject | Especificación y Análisis de Sistemas de Tiempo Real | es |
dc.subject | Real time | es |
dc.subject | Autómatas (Grafos) Temporizados | es |
dc.subject | Model checking | es |
dc.subject | Lógicas TCTL y CTL | es |
dc.subject | Verificación de Modelos (“Model Checking”) | es |
dc.subject | Teoría de Tipos y Coq | es |
dc.subject | Verificación-Demostración de Corrección (“Proof Checking”) | es |
dc.title | Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Luna, Carlos Daniel | es |
sedici.description.note | Eje: Sistemas distribuidos y tiempo real | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2004-05 | es |
sedici.relation.event | VI Workshop de Investigadores en Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |