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 <firstname>Pavel</firstname>
95 <surname>Pisa</surname>
97 <orgname>CTU</orgname>
101 <firstname>Michal</firstname>
102 <surname>Sojka</surname>
104 <orgname>CTU</orgname>
108 <firstname>Zdenek</firstname>
109 <surname>Sebek</surname>
111 <orgname>CTU</orgname>
115 <firstname>Zdenek</firstname>
116 <surname>Hanzalek</surname>
118 <orgname>CTU</orgname>
122 <pubdate>August 2012</pubdate>
124 <year>2005 – 2012</year>
125 <holder>Czech Technival University</holder>
129 You can (in fact you must!) use, modify, copy and distribute
130 this document, of course free of charge, and think about the
131 appropriate license we will use for the documentation.
137 <chapter id="orte-description">
138 <title>ORTE Description</title>
151 <!-- Add other entries here -->