Time-budgeting: a component based development methodology for real-time embedded systems
From MaRDI portal
Publication:736795
DOI10.1007/s00165-012-0273-0zbMath1342.68042MaRDI QIDQ736795
Publication date: 5 August 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-012-0273-0
embedded systems; component-based development; requirements engineering; design-space exploration; parametric real-time specifications
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68M14: Distributed systems
Uses Software