swMATH4758MaRDI QIDQ16926FDOQ16926
Author name not available (Why is that?)
Official website: https://wiki.sei.cmu.edu/aadl/index.php/Cheddar
Cited In (9)
- Time4sys2imi: a tool to formalize real-time system models under uncertainty
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- iFEST
- Zelus
- Time4sys2imi
- MAST
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- Multi-task implementation of multi-periodic synchronous programs
This page was built for software: Cheddar
