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.dimensions | pub.1095100374 | |
| dc.identifier.doi | 10.1109/EMPDP.1995.389133 | |
| dc.identifier.isbn | 0-8186-7031-2 | |
| dc.identifier.issn | 1066-6192 | |
| dc.identifier.issn | 2377-5750 | |
| dc.identifier.scopus | 2-s2.0-85027410332 | |
| dc.identifier.uri | http://hdl.handle.net/11449/220902 | |
| dc.language.iso | eng | |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
| dc.relation.ispartof | Proceedings - Euromicro Workshop on Parallel and Distributed Processing | |
| dc.rights.accessRights | Acesso restrito | pt |
| dc.rights.sourceRights | closed | |
| dc.source | Scopus | |
| dc.source | Dimensions | |
| 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 | pt |
| dspace.entity.type | Publication |