2 <!DOCTYPE book PUBLIC "-//Norman Walsh//DTD DocBk XML V4.1.2//EN"
3 "/usr/share/xml/docbook/schema/dtd/4.4/docbookx.dtd"
5 <!ENTITY % entities SYSTEM "orteman.ent">
7 <!-- Add other entries here -->
13 <title>D7.4_rep - Communication Components</title>
16 <firstname>Jan</firstname>
17 <surname>Krakora</surname>
19 <orgname>CTU</orgname>
23 <firstname>Pavel</firstname>
24 <surname>Pisa</surname>
26 <orgname>CTU</orgname>
30 <firstname>Frantisek</firstname>
31 <surname>Vacek</surname>
33 <orgname>CTU</orgname>
37 <firstname>Zdenek</firstname>
38 <surname>Sebek</surname>
40 <orgname>CTU</orgname>
44 <firstname>Petr</firstname>
45 <surname>Smolik</surname>
47 <orgname>CTU</orgname>
51 <firstname>Zdenek</firstname>
52 <surname>Hanzalek</surname>
54 <orgname>CTU</orgname>
58 <pubdate>February 2004</pubdate>
61 <holder>Ocera</holder>
65 You can (in fact you must!) use, modify, copy and distribute
66 this document, of course free of charge, and think about the
67 appropriate license we will use for the documentation.
73 <title>Preface</title>
75 This document presents elaborated version of communication component design report.
76 It is composed of three chapters. The first and second chapters deal with design of communication
77 stacks - RT Ethernet or CAN/CANopen respectively including analysis tools. The third chapter
78 presents Basic features of verification methodology of distributed systems based on standard verification tools.
84 <title>ORTE – Open Real-Time Ethernet</title>
87 <firstname>Petr</firstname>
88 <surname>Smolik</surname>
90 <orgname>CTU</orgname>
94 <pubdate>November 2005</pubdate>
101 You can (in fact you must!) use, modify, copy and distribute
102 this document, of course free of charge, and think about the
103 appropriate license we will use for the documentation.
108 <chapter id="orte-description">
109 <title>ORTE Description</title>
122 <!-- Add other entries here -->