IBM / Emerging VLSI Technologies / Fault-Tolerant Systems / Autonomous Systems / IEEE Computer Society Press / Real-Time Systems / Embedded Systems / /
Country
Netherlands / / /
Event
Product Issues / /
Facility
University of Twente / stable Property / University of Twente PO-Box / / /
IndustryTerm
realtime systems / virtual channel network-on-chip / field bus protocol / when no network / local area networks / broadcast-capable network / possible solutions / exhaustive search / system software / on-line node additions / broadcastcapable networks / broadcast capable network / basic protocol / Typical applications / collision avoidance protocol / streaming data protocols / resource-lean devices / communication protocols / audio/video protocol / network protocols / test applications / /
Organization
Faculty of Electrical Engineering / Mathematics and Computer Science / Centre for Telematics and Information Technology / University of Twente / American Mathematical Society / Organisation for Scientific Research / University of Twente PO-Box / /
Person
Appendix A Determining / Angelika Mader / Pierre G. Jansen Distributed / /
Position
model / and not about the implementation / model / real-time scheduler / representative / scheduler / /
Product
RTnet / Uppaal / situation / /
Region
Pacific Rim / /
Technology
Information Technology / streaming data protocols / distributed protocol / Quality of Service / Ethernet / field bus protocol / network protocol / audio/video protocol / distributed RTnet network protocol / basic protocol / collision avoidance protocol / virtual channel network-on-chip / RTnet protocol / communication protocols / TDMA protocol / local area networks / network protocols / /
Verifying the distributed real-time network protocol RTnet using Uppaal∗ Ferdy Hanssen, Angelika Mader, Pierre G. Jansen Distributed and Embedded Systems group Faculty of Electrical Engineering, Mathematics and Compute