Papers from an October 2001 symposium describe recent work in formal methods, transportation, testing, security, systems, and railway systems. Specific topics include test-sequence generation from formal requirement models, relational control programs for robust rapid transit systems, mechanisms for a reliable cooperation of vehicles, automating techniques for inspecting high-assurance systems, and analyzing Internet security protocols. Other subjects include explicit representation of exception handling in the development of dependable component-based systems, integrating automatic verification of safety requirements in railway interlocking system design, and fault-tolerant cell location counter strategy in a wireless mobile environment. There is no subject index. c. Book News Inc.All systems had a dedicated switch port on a Cisco 2900 XL Ethernet switch. 0 Software: The servers ran version 1.3.6 ... Httperf on the other hand allows the user to select the connection rate manually. This provides the ability to examine theanbsp;...
|Title||:||Sixth IEEE International Symposium on High Assurance Systems Engineering|
|Publisher||:||IEEE - 2001|