Publication Details
Design Experience with Routing SW and Related Applications
network architecture, sensor networks, intranets, validation of network configuration
The paper deals with the current software architectures for intermediate systems for Intranet and small-range wireless interconnection using case studies founded on real-world applications. The approach demonstrates another contribution to network convergence in interconnecting software architecture development, which stems from a design experience based on industrial network applications and on metropolitan networking. The first case study focuses on IEEE 1451 family of standards that provides a design framework for creating applications based not only on IP/Ethernet profile but also on ZigBee. Next case study explores how security and safety properties of Intranets can be verified under every network configuration using model checking.
@INPROCEEDINGS{FITPUB9470, author = "Miroslav \v{S}v\'{e}da", title = "Design Experience with Routing SW and Related Applications", pages = "133--138", booktitle = "Proceedings of The Tenth International Conference on Networks - ICN 2011", year = 2011, location = "St. Maarten, AN", publisher = "International Academy, Research, and Industry Association", ISBN = "978-1-61208-002-4", language = "english", url = "https://www.fit.vut.cz/research/publication/9470" }