Dynamic scheduling of real-time tasks under precedence constraints
Real-Time Systems
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
POSIX.4: programming for the real world
POSIX.4: programming for the real world
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Scheduling Dependent Tasks with Different Arrival Times to Meet Deadlines
Proceedings of the International Workshop organized by the Commision of the European Communities on Modelling and Performance Evaluation of Computer Systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
A Generic Simulator of Real-Time Scheduling Algorithms
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
The Design of the OpenSTARS Adaptive Analyzer for Real-Time Distributed Systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Scheduling and memory requirements analysis with AADL
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Refactoring of an Ada 95 library with a Meta CASE tool
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
UML&AADL '2007 grand challenges
ACM SIGBED Review
From the prototype to the final embedded system using the Ocarina AADL tool suite
ACM Transactions on Embedded Computing Systems (TECS)
Synchronous Modeling and Validation of Priority Inheritance Schedulers
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Modelling and Evaluating Real-Time Software Architectures
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Towards a time-triggered schedule calculation tool to support model-based embedded software design
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Towards user-level extensibility of an Ada library: an experiment with cheddar
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs
Proceedings of the Conference on Design, Automation and Test in Europe
Schedulability analysis of AADL models
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Multiprocessor schedulability analyser
Proceedings of the 2011 ACM Symposium on Applied Computing
Multi-task Implementation of Multi-periodic Synchronous Programs
Discrete Event Dynamic Systems
Requirements and solutions for timing analysis of automotive systems
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Specification and verification of real-time systems using POLA
International Journal of Critical Computer-Based Systems
Towards a simple meta-model for complex real-time and embedded systems
MEDI'11 Proceedings of the First international conference on Model and data engineering
Compositional specification of real time embedded systems by priority time Petri Nets
The Journal of Supercomputing
Comparison of component frameworks for real-time embedded systems
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Specification and verification of real-time systems using the POLA tool
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Application of Deadlock Risk Evaluation of Architectural Models
Software—Practice & Experience
Power agnostic technique for efficient temperature estimation of multicore embedded systems
Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems
Reducing the gap between design and scheduling
Proceedings of the 20th International Conference on Real-Time and Network Systems
Applicability of real-time schedulability analysis on a software radio protocol
Proceedings of the 2012 ACM conference on High integrity language technology
A configuration approach for IMA systems
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
RobotML, a domain-specific language to design, simulate and deploy robotic applications
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Real-time design models to RTOS-specific models refinement verification
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Proceedings of the 6th International Workshop on Models and Evolution
DPMP: a software pattern for real-time tasks merge
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Scheduling analysis from architectural models of embedded multi-processor systems
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
| Hi-index | 0.00 |
This paper describes an Ada framework called Cheddar which provides tools to check if a real time application meets its temporal constraints. The framework is based on the real time scheduling theory and is mostly written for educational purposes. With Cheddar, an application is defined by a set of processors, tasks, buffers, shared resources and messages. Cheddar provides feasibility tests in the cases of monoprocessor, multiprocessor and distributed systems. It also provides a flexible simulation engine which allows the designer to describe and run simulations of specific systems. The framework is open and has been designed to be easily connected to CASE tools such as editors, design tools, simulators, ...