Verification of the legOS scheduler using Uppaal

MaRDI QIDQ2703732zbMATH OpenFDO

Authors Lone Halkjaer, Karen Haervig, Anna Ingolfsdottir

Publication date 8 May 2001

zbMATH Keywords

LegOSscheduler

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25)

Recommendations

• Scenario-based verification of real-time systems using UPPAAL
• Verification of schedulability for real-time programs
• Verifying a scheduling protocol of safety-critical systems
• scientific article; zbMATH DE number 1696495
• Model-checking timed automata with deadlines with Uppaal
• scientific article; zbMATH DE number 1479614
• scientific article; zbMATH DE number 1759739
• Verification of a fieldbus scheduling protocol using timed automata
• Verification, refinement and scheduling of real-time programs

Cited in

(1)

• Models and formal verification of multiprocessor system-on-chips

Describes a project that uses

Uses Software

• legOS
• Uppaal

This page was built for publication: Verification of the legOS scheduler using Uppaal

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