Time-budgeting: a component based development methodology for real-time embedded systems
type: Item
instance of: scholarly article
title: Time-budgeting: a component based development methodology for real-time embedded systems
zbMATH Open document ID: 1342.68042
author: D. Kharzeev
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 6609443
zbMATH Keywords: requirements engineering
zbMATH Keywords: component-based development
zbMATH Keywords: embedded systems
zbMATH Keywords: parametric real-time specifications
zbMATH Keywords: design-space exploration
describes a project that uses: NuSMV
describes a project that uses: Yices
MaRDI profile type: Publication
full work available at URL: s00165-012-0273-0
OpenAlex ID: W2063347096
cites work: A theory of timed automata
cites work: Parametric temporal logic for “model measuring”
cites work: Real-time logics: Complexity and expressiveness
cites work: Parametric real-time reasoning
cites work: Some results on parametric temporal logic
cites work: Q4804909
cites work: A Design Methodology for Distributed Real-Time Automotive Applications
cites work: Q4037378
cites work: Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
DOI: 10.1007/S00165-012-0273-0
Wikidata QID: Q130884163
description: scientific article; zbMATH DE number 6609443