Verifying time partitioning in the DEOS scheduling kernel
type: Item
instance of: scholarly article
title: Verifying time partitioning in the DEOS scheduling kernel
zbMATH Open document ID: 1083.68575
author: John Penix
author: Willem Visser
author: Eric Engstrom
author: Aaron Larson
author: Nicholas Weininger
author: Seung Joon Park
author: Corina S. Păsăreanu
published in: Formal Methods in System Design
publication date: 2006-02-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5007750
zbMATH Keywords: program model checking
zbMATH Keywords: spin
zbMATH Keywords: time partitioning
zbMATH Keywords: verification
zbMATH Keywords: predicate abstraction
describes a project that uses: veriSoft
describes a project that uses: Bebop
describes a project that uses: dSPIN
describes a project that uses: SPIN
describes a project that uses: Bogor
describes a project that uses: Java PathFinder
describes a project that uses: Bandera
describes a project that uses: CESAR
MaRDI profile type: Publication
full work available at URL: s10703-005-1490-4
OpenAlex ID: W2040836231
cites work: Q2769592
cites work: Q4472235
cites work: Q2753756
cites work: Software is different
cites work: Q3039003
cites work: Q2753753
cites work: Q4804901
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q4417936
cites work: Abstract interpretation and application to logic programs
cites work: Q4817541
cites work: Q4738485
cites work: Model checking JAVA programs using JAVA PathFinder
cites work: Lazy abstraction
cites work: Q2753757
cites work: Q4417955
cites work: Q2769593
cites work: Q3940830
cites work: Q4818812
cites work: Q4024046
cites work: Q2753763
DOI: 10.1007/S10703-005-1490-4
Recommended article: Verification of schedulability for real-time programs
Recommended article: Implementation and evaluation of global and partitioned scheduling in a real-time OS
Recommended article: Verification, refinement and scheduling of real-time programs
Recommended article: Q2753701
Recommended article: Schedulability analysis for strictly periodic tasks in RTOS
Recommended article: Timing analysis of compound scheduling policies: application to posix1003.1B
Recommended article: Dynamic scheduling and fault-tolerance: Specification and verification
Recommended article: Robust Partitioned Scheduling for Real-Time Multiprocessor Systems
Recommended article: Q4472229
description: scientific article; zbMATH DE number 5007750