Specification and design of distributed hard real-time systems

Actas de congresos

Fecha

1995-01-01

Registro en:

Proceedings - Euromicro Workshop on Parallel and Distributed Processing, p. 280-287.

http://hdl.handle.net/11449/220902

10.1109/EMPDP.1995.389133

2-s2.0-85027410332

https://repositorioslatinoamericanos.uchile.cl/handle/2250/5401031

Autor

Universidade Estadual Paulista (UNESP)

Universidade Federal de São Carlos (UFSCar)

University of Colorado

Institución

Universidade Estadual Paulista (Brasil)

Resumen

This paper presents an integrated approach for specification and design of software for distributed hard real-time systems. The approach adopts a graph-based model, combined with a pre-run-time scheduling. This gives important features to the approach, making {possible the solution of crucial questions along the development of these systems.

Materias

Design

Distributed systems

Real-time systems

Requirements specification

Mostrar el registro completo del ítem