Observing timed systems by means of message sequence chart graphs

Tools that feature message sequence chart (MSC) do not have the ability to check model or implementation executions against the specified behavior. As such, a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) is presented. It is believed th...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Blaustein, S., Oliveto, F., Braberman, V.
Formato: CONF
Materias:
Algorithms
Computer architecture
Graph theory
Network protocols
Real time systems
Response time (computer systems)
Semantics
Message interchange
Message sequence chart graphs
Software architecture
Software engineering
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p707_Blaustein
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario:Tools that feature message sequence chart (MSC) do not have the ability to check model or implementation executions against the specified behavior. As such, a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) is presented. It is believed that a log-analyzer and a run-time monitor based MSC-Graphs are practical and powerful tools to improve the quality of Real-Time systems.

Ejemplares similares