|
|
CANopen device
|
|
Description:
|
CANopen device is the library based on VCA (Virtual CAN Api) and also CANopen master and CANopen slave application based on this library. Device functionality is configured by loading CANopen device specific EDS (Electronic Data Sheet). CANopen slave is linked with hardware module to cooperade with real device hardware.
|
|
Keywords:
|
CANopen, master, slave, PDO, SDO, EDS, Object dictionary
|
|
Version:
|
1.00-rc1
|
Status:
|
Testing
|
[more ...]
|
|
|
CAN/CANopen monitor
|
|
Description:
|
CAN monitor is a component used to monitor a CAN bus. It can log messages and send ones. If CANopen device EDS (Electronic Data Sheet) is available CanMonitor offers also SDO functionality using device object dictionary tree view. Package consists of three parts: canmond (canmaste/IP proxy), testclient (command line monitoring tool) and CanMonitor (Java GUI monitoring tool).
|
|
Keywords:
|
CAN, CANopen, monitoring, GUI, Java
|
|
Version:
|
1.00-rc1
|
Status:
|
Testing
|
[more ...]
|
|
|
Virtual CAN API (VCA)
|
|
Description:
|
The virtual CAN API is the interface used to connect the application threads either with the CAN hardware card or with other software layers substituting CAN bus. The application thread can live either in the Hard RT space or in the Soft RT space. In the the words we can say that VCA is a layer between the CAN driver and the application threads.
|
|
Keywords:
|
CAN, CANopen
|
|
Version:
|
1.00-rc1
|
Status:
|
Testing
|
[more ...]
|
|
|
Real-Time Ethernet Analyzer
|
|
Description:
|
Real Time Ethernet analyzer is a module which adds support for RTPS protocol into Ethereal (http://www.ethereal.com) network analyzer.
|
|
Keywords:
|
Ethereal, Ethernet, RTPS, NDDS
|
|
Version:
|
0.2.2
|
Status:
|
Stable
|
[more ...]
|
|
|
Linux CAN Driver (LinCAN)
|
|
Description:
|
The LinCAN is an implementation of the Linux device driver supporting more CAN controller chips and many CAN interface boards. The driver roots can be traced to LDDK project. The OCERA version of the LinCAN driver adds new features, continuous enhancements and reimplementation of structure of the driver. The usage of the driver is tightly coupled to the virtual CAN API interface component which hides driver low level interface to the application programmers. Driver enables multiple opens of each communication objects from more Linux and RT-Linux applications. The message processing is based on the oriented graph of FIFOs concept.
|
|
Keywords:
|
CAN, Linux, device driver
|
|
Version:
|
0.3.3
|
Status:
|
Stable
|
[more ...]
|
|
|
ORTE - OCERA Real-Time Ethernet
|
|
Description:
|
The ORTE is open source implementation of RTPS communication protocol defined by Real Time Innovations. RTPS is new application layer protocol targeted to real-time communication area, which is build on top of standard UDP stack.
|
|
Keywords:
|
ORTE,RTPS,UDP,RTI,Middleware,Real-Time,Ethernet
|
|
Version:
|
0.3.1
|
Status:
|
Stable
|
[more ...]
|
|
|
CAN model by timed automata /Petri Nets
|
|
Description:
|
This component is theoretical study offering methodology tool support for analysis of distributed system consisting of n independent processors and deterministic communication bus (CAN). In order to verify distributed RT system, application designer needs to create a model of application tasks and to interconnect this model with the communication bus model provided by this component. Finally he/she needs to define system properties to be verified (deadlock, missed deadline etc.). This component can be used either in a design phase or it can be used to verify existing implementation.
|
|
Keywords:
|
Real-Time, CAN, Petri Nets, communications
|
|
Version:
|
0.1
|
Status:
|
Analysis
|
[more ...]
|
|
|
Verification of cooperative scheduling and interrupt handlers
|
|
Description:
|
This component is theoretical study offering methodology and tool support for model checking of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Allur and Dill. As this approach does not allow to model pre-emption we focus on cooperative scheduling. The cooperative scheduler under assumption performs rescheduling in specific points given by "yield" instruction in the application processes. In the addition, interrupt service routines are considered, and their enabling/disabling is controlled by interrupt server considering specified server capacity. The server capacity has influence on the margins of the computation times in the application processes. Such systems, used in practical real-time applications, can be modelled by timed automata and further verified by existing model checking tools. The approach is illustrated in the form of examples in the real-time verification tool UPPAAL.
|
|
Keywords:
|
Real time, Operating system, Cooperative scheduling, Timed automata, Model checking
|
|
Version:
|
0.1
|
Status:
|
Analysis
|
[more ...]
|
|
Status codes:
Analysis
>>
Design
>>
Alpha
>>
Beta
>>
Testing
>>
Stable
|
