There is currently no document on the Cheddar's framework but this directoty provides somes examples of
programs that you can use in order to directly call the framework without the machine-man interface.
To call the framework, you can either use the framework interface, either directly call the analysis
services. The framework interface is described in the call_framework.ads package.
The following programs use the call_framework.ads interface :
- read_sys.adb : gives an examples on how to load a XML Cheddar project file into the framework.
- write_sys.adb : gives an examples on how to save a model in a XML Cheddar project file.
- comprehensive_call.adb : example of a call to the framework. The result is formatted as a simple ASCII text
(without meta-data).
- xml_comprehensive_call.adb : example of a call to the framework. The result is a XML output.
Can be reuse to be displayed in a web browser for instance.
If you required to call services which are not currently available from call_framework.adb, the followings
program show you some examples :
- llf.adb : example of an application scheduled with Least Laxity First.
- edf.adb : example of an application scheduled with Earliest Deadline First.
- rma.adb : example of an application scheduled with Rate Monotonic.
- dm.adb : example of an application scheduled with Deadline Monotonic.
- audsley93.adb : compute worst case response time on a set of periodic task described by Audsley in one of his paper.
- response.adb : a second example of worst case response time computation.
- chetto.adb : apply the Chetto method to task parameters in order to model tasl precedencies.
- shared_resource.adb : shows how to define a resource shareds between several tasks.
- parametric.adb : shows how to use a user-defined scheduler.
- tb1.adb : example of buffer size analysis from a scheduling.
- test_random.adb : a small test on unix/linux and Ada random generator.
- utilization.adb : shows how to compute the processor utilization factor of a set of tasks.
- period.adb : shows how to compute the base period of a set of tasks.
- test_exponential.adb : an example of the use of the exponential random value generator.
- tindell1.adb : shows how to compute the holistic approach in a set of tasks and messages.
- tindell2.adb : this example is deprecated. It will be updated when the new features for network
modelling will be implemented.
HOWEVER, IT IS STRONGLY RECOMMENDED TO USE call_framework.ads since the implementation of the framework
can change in the next release. If an analysis service can not be called from call_framework.ads, please,
let us know and it will be added as soon as possible.