Time-budgeting: a component based development methodology for real-time embedded systems

DOI10.1007/s00165-012-0273-0zbMath1342.68042OpenAlexW2063347096MaRDI QIDQ736795

D. Kharzeev

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

zbMATH Keywords

embedded systemscomponent-based developmentrequirements engineeringdesign-space explorationparametric real-time specifications

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Related Items (1)

Formal assessment of reliability specifications in embedded cyber-physical systems

Uses Software

• NuSMV
• Yices

Cites Work

• Unnamed Item
• Unnamed Item
• Real-time logics: Complexity and expressiveness
• A theory of timed automata
• Some results on parametric temporal logic
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Parametric temporal logic for “model measuring”
• A Design Methodology for Distributed Real-Time Automotive Applications
• Parametric real-time reasoning

This page was built for publication: Time-budgeting: a component based development methodology for real-time embedded systems