Publicação: Specification and design of distributed hard real-time systems
dc.contributor.author | Roberto, Paulo [UNESP] | |
dc.contributor.author | Tepedino, Pierri [UNESP] | |
dc.contributor.author | Kimer, Tereza Gonçalves | |
dc.contributor.institution | Universidade Estadual Paulista (UNESP) | |
dc.contributor.institution | Universidade Federal de São Carlos (UFSCar) | |
dc.contributor.institution | University of Colorado | |
dc.date.accessioned | 2022-04-28T19:06:53Z | |
dc.date.available | 2022-04-28T19:06:53Z | |
dc.date.issued | 1995-01-01 | |
dc.description.abstract | 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. | en |
dc.description.affiliation | State University of São Paulo Unesp | |
dc.description.affiliation | Department of Computer Science UFSCar | |
dc.description.affiliation | Ceoterfor Software and Systems Engineering University of Colorado | |
dc.description.affiliationUnesp | State University of São Paulo Unesp | |
dc.format.extent | 280-287 | |
dc.identifier | http://dx.doi.org/10.1109/EMPDP.1995.389133 | |
dc.identifier.citation | Proceedings - Euromicro Workshop on Parallel and Distributed Processing, p. 280-287. | |
dc.identifier.doi | 10.1109/EMPDP.1995.389133 | |
dc.identifier.scopus | 2-s2.0-85027410332 | |
dc.identifier.uri | http://hdl.handle.net/11449/220902 | |
dc.language.iso | eng | |
dc.relation.ispartof | Proceedings - Euromicro Workshop on Parallel and Distributed Processing | |
dc.source | Scopus | |
dc.subject | Design | |
dc.subject | Distributed systems | |
dc.subject | Real-time systems | |
dc.subject | Requirements specification | |
dc.title | Specification and design of distributed hard real-time systems | en |
dc.type | Trabalho apresentado em evento | |
dspace.entity.type | Publication |