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

DOI10.1007/S00165-012-0273-0zbMATH Open1342.68042OpenAlexW2063347096WikidataQ130884163 ScholiaQ130884163MaRDI QIDQ736795FDOQ736795

Authors: 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

Recommendations

• scientific article; zbMATH DE number 2176488
• A design methodology for distributed real-time automotive applications
• scientific article; zbMATH DE number 54328
• Virtual integration of real-time systems based on resource segregation abstraction
• Schedule verification and synthesis for embedded real-time components

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)

Cites Work

• A theory of timed automata
• Title not available (Why is that?)
• Real-time logics: Complexity and expressiveness
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Title not available (Why is that?)
• Parametric real-time reasoning
• Parametric temporal logic for “model measuring”
• Some results on parametric temporal logic
• A design methodology for distributed real-time automotive applications

Cited In (2)

• Formal assessment of reliability specifications in embedded cyber-physical systems
• A design methodology for distributed real-time automotive applications

Uses Software

• NuSMV
• Yices

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736795)