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

DOI10.1007/S00165-012-0273-0MaRDI QIDQ736795zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

Cited in

(2)

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

Describes a project that uses

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)