Specification and design of distributed hard real-time systems

dc.contributorUniversidade Estadual Paulista (UNESP)
dc.contributorUniversidade Federal de São Carlos (UFSCar)
dc.contributorUniversity of Colorado
dc.date.accessioned2022-04-28T19:06:53Z
dc.date.accessioned2022-12-20T01:04:54Z
dc.date.available2022-04-28T19:06:53Z
dc.date.available2022-12-20T01:04:54Z
dc.date.created2022-04-28T19:06:53Z
dc.date.issued1995-01-01
dc.identifierProceedings - Euromicro Workshop on Parallel and Distributed Processing, p. 280-287.
dc.identifierhttp://hdl.handle.net/11449/220902
dc.identifier10.1109/EMPDP.1995.389133
dc.identifier2-s2.0-85027410332
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/5401031
dc.description.abstractThis 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.
dc.languageeng
dc.relationProceedings - Euromicro Workshop on Parallel and Distributed Processing
dc.sourceScopus
dc.subjectDesign
dc.subjectDistributed systems
dc.subjectReal-time systems
dc.subjectRequirements specification
dc.titleSpecification and design of distributed hard real-time systems
dc.typeActas de congresos


Este ítem pertenece a la siguiente institución