An engineering process for the verification of real-time systems
type: Item
instance of: scholarly article
title: An engineering process for the verification of real-time systems
zbMATH Open document ID: 1111.68076
author: N. E. Zubov
published in: Formal Aspects of Computing
publication date: 2007-04-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5145024
zbMATH Keywords: Scheduling analysis
zbMATH Keywords: Ravenscar profile
zbMATH Keywords: Model checking
zbMATH Keywords: UPPAAL
zbMATH Keywords: SPARK
zbMATH Keywords: Ada95
zbMATH Keywords: Rely/guarantee conditions
describes a project that uses: Ada95
describes a project that uses: Uppaal
describes a project that uses: SPARK
MaRDI profile type: Publication
full work available at URL: s00165-006-0021-4
OpenAlex ID: W2114443848
cites work: Q4038702
cites work: Q4343983
cites work: Q4435361
cites work: Bounds on Multiprocessing Timing Anomalies
cites work: Q3128862
cites work: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
cites work: Uppaal in a nutshell
cites work: On the complexity of fixed-priority scheduling of periodic, real-time tasks
DOI: 10.1007/S00165-006-0021-4
Wikidata QID: Q131117452
Recommended article: An iterative approach to verification of real-time systems
Recommended article: Q5754521
Recommended article: Q2764145
Recommended article: Q3128862
Recommended article: Runtime verification of embedded real-time systems
Recommended article: A process algebraic framework for specification and validation of real-time systems
Recommended article: Real-time verification techniques for untimed systems
Recommended article: Programming Languages and Systems
description: scientific article; zbMATH DE number 5145024