Investigating the usability of real-time scheduling theory with the Cheddar project

DOI10.1007/s11241-009-9072-yzbMath1184.68139MaRDI QIDQ1033676

Frank Singhoff, Jérôme Legrand, Alain Plantec, Pierre Dissaux

Publication date: 10 November 2009

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-009-9072-y

zbMATH Keywords

scheduling theory; AADL; architecture modelling and verification; software engineering tools

Mathematics Subject Classification ID

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

Related Items

Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms, Investigating the usability of real-time scheduling theory with the Cheddar project

Uses Software

• Ada95
• SPARK
• TINA
• Uppaal
• Cheddar
• Esterel
• MAST

Cites Work

• Scheduler modeling based on the controller synthesis paradigm
• Investigating the usability of real-time scheduling theory with the Cheddar project
• A note on preemptive scheduling of periodic, real-time tasks
• Schedulability analysis of fixed-priority systems using timed automata
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Formal Methods for the Design of Real-Time Systems
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item