|
Documents |
|---|
|
Title:
|
Stand Alone RTLinux
|
|
Description:
|
This demo checks the correct behavior of the Stand Alone RTLinux component, which is a porting of the RTLinux-GPL executive to a bare machine. saRTL do not need Linux to operate. The goal is to develop a water tank control aplication to run in a bare machine with saRTL. The evolution of the simulated system is monitored using RTTerminal component.
|
|
Document:
|
SARTL.pdf
| [PDF]
(445.1 KB ;
18/11/04)
|
|
|
|
Title:
|
OCERA in BusyBox
|
|
Description:
|
This demo checks the integration of the components into a complete working Real-Time System with a Linux application interface
|
|
Document:
|
conf_tool.pdf
| [PDF]
(332.2 KB ;
18/11/04)
|
|
|
|
Title:
|
Design FT Application with FT Builder
|
|
Description:
|
This demo shows the utilisation of the FT Builder component/tool which builds and generates a FT application model. The proposed application is a fault tolerant simulated robotic application named fthaptic .
|
|
Document:
|
ftbuilder.pdf
| [PDF]
(457.7 KB ;
18/11/04)
|
|
|
|
Title:
|
Fault Tolerance fthaptic application
|
|
Description:
|
This demo checks online fault tolerance abilitieson the fthaptic application stressed by thread kill events. The goal is to verify that continuity of service is provided in presence of faulty events. The application mode changes and the ft-task behaviors switch when a faulty event occurs.
|
|
Document:
|
fthaptic.pdf
| [PDF]
(445.4 KB ;
18/11/04)
|
|
|
|
Title:
|
Fault Tolerance Process
|
|
Description:
|
This demo shows : the FT development process in order to design, build/generate, code a ft application.
|
|
Document:
|
ftprocess.pdf
| [PDF]
(350.0 KB ;
18/11/04)
|
|
|
|
Title:
|
Using METRICS to obtain system measures
|
|
Description:
|
The goal of this demo is to show the possibilities to extract an analyse the traces obtained from a real-time system using POSIX Traces.
|
|
Document:
|
metrics_poster.pdf
| [PDF]
(501.6 KB ;
18/11/04)
|
|
|
|
Title:
|
Process Control Application
|
|
Description:
|
Process Control Application validates Ocera Linux+RTLinux components. It consists in porting real-time art of UniCAP, as a complex tool for designing and application programming of distributed information and control systems, from OS9 to Linux+RTLinux operating systems
|
|
Document:
|
process_control_application.pdf
| [PDF]
(506.4 KB ;
18/11/04)
|
|
|
|
Title:
|
QoS components Demo
|
|
Description:
|
Tested components : Verify the functionalities of tested QoS components and Resource Reservation Feedback Scheduling
|
|
Document:
|
qos.pdf
| [PDF]
(484.1 KB ;
18/11/04)
|
|
|
|
Title:
|
Robotic Application demo
|
|
Description:
|
Robotic application provides a validation tool for Ocera components. It consists in a porting of an existing haptic robot device controller from the VxWorks RTOS to Ocera Linux/RTLinux.
|
|
Document:
|
robotics_application.pdf
| [PDF]
(303.4 KB ;
18/11/04)
|
|
|
|
Title:
|
Multimedia application demo
|
|
Document:
|
multimedia_application.pdf
| [PDF]
(248.7 KB ;
18/11/04)
|
|
|
|
Title:
|
Integration demo
|
|
Document:
|
integration.pdf
| [PDF]
(171.3 KB ;
18/11/04)
|
|
|
|
Title:
|
ORTCAN - CAN Communication components demo
|
|
Description:
|
This demo demonstrates interoperability of software CANopen device and real industrial one (Wago 750-307)to prove communication compatibility of our solution. It also tests a lincan CAN driver using it for CAN bus connectivity. Communication is monitored and controlled by CanMonitor application.
|
|
Document:
|
CommORTCAN.pdf
| [PDF]
(503.9 KB ;
18/11/04)
|
|
|
|
Title:
|
ORTE - OCERA Real Time Ethernet
|
|
Description:
|
The goal of this demo is to show on simple example with objects, b sic properties of real-time publish-subscribe (RTPS) architecture. The sh pe demo is used for creating wide RTPS networks, which globally transfers big amount of data.
|
|
Document:
|
CommORTE.pdf
| [PDF]
(372.6 KB ;
18/11/04)
|
|
|
|
Title:
|
Verification of distributed systems by timed automata
|
|
Description:
|
The goal of the part of component WP7 is design tool for verification of real time distributed discrete event system focusing on CAN model by timed automata and specification of verified properties by temporal logic. The crucial problem i to verify the time properties and logic properties of complex applications (e. g. OSEK RTOS, CAN).
|
|
Document:
|
CommVERIF.pdf
| [PDF]
(516.9 KB ;
18/11/04)
|
|
|
