3 papers
cs.NI2025
A System to Automatically Generate Configuration Instructions for Network Elements from Network Configuration Models
Nagi Arai, Shinpei Ogata, Hikofumi Suzuki +1
In preparation for constructing or modifying information networks, network engineers develop configuration procedures for network devices according to network configuration specifi…
cs.NI2025
Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis
Tomoya Fujita, Hikofumi Suzuki, Shinpei Ogata +3
In the network design phase, designers typically assess the validity of the network configuration on paper. However, the interactions between devices based on network protocols can…
cs.NI2025
A Method to Automatically Extract a Network Device Configuration Model by Parsing Network Device Configurations
Kosei Nakamura, Hikofumi Suzuki, Shinpei Ogata +3
When network engineers design a network, they need to verify the validity of their design in a test environment. Since testing on actual equipment is expensive and burdensome for e…