Testing Internet Protocol for Communications in Space Applications
Author: Kathleen A. Newtson
Publisher:
Published: 2004
Total Pages: 346
ISBN-13:
DOWNLOAD EBOOKPosts
Testing of Communicating Systems
Author: Nina Yevtushenko
Publisher: Springer
Published: 2013-11-11
Total Pages: 360
ISBN-13: 038735381X
DOWNLOAD EBOOKTesting of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing. This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.
Protocol Specification and Testing
Author: Katalin Tarnay
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 379
ISBN-13: 1468457780
DOWNLOAD EBOOKThe increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. "A protocol is a set of rules that governs the operation of functional units to achieve communication" [STA-86}. The book follows a practical approach to protocol speci fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications.
Testing of Communicating Systems XIV
Author: Ina Schieferdecker
Publisher: Springer
Published: 2013-06-05
Total Pages: 438
ISBN-13: 0387354972
DOWNLOAD EBOOKTesting of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.
Acts 118x
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
Published: 2018-05-29
Total Pages: 38
ISBN-13: 9781720370314
DOWNLOAD EBOOKWith the recent explosion of the Internet and the enormous business opportunities available to communication system providers, great interest has developed in improving the efficiency of data transfer over satellite links using the Transmission Control Protocol (TCP) of the Internet Protocol (IP) suite. The NASA's ACTS experiments program initiated a series of TCP experiments to demonstrate scalability of TCP/IP and determine to what extent the protocol can be optimized over a 622 Mbps satellite link. Through partnerships with the government technology oriented labs, computer, telecommunication, and satellite industries NASA Glenn was able to: (1) promote the development of interoperable, high-performance TCP/IP implementations across multiple computing / operating platforms; (2) work with the satellite industry to answer outstanding questions regarding the use of standard protocols (TCP/IP and ATM) for the delivery of advanced data services, and for use in spacecraft architectures; and (3) conduct a series of TCP/IP interoperability tests over OC12 ATM over a satellite network in a multi-vendor environment using ACTS. The experiments' various network configurations and the results are presented.Brooks, David E. and Buffinton, Craig and Beering, Dave R. and Welch, Arun and Ivancic, William D. and Zernic, Mike and Hoder, Douglas J.Glenn Research CenterASYNCHRONOUS TRANSFER MODE; TELECOMMUNICATION; SATELLITE NETWORKS; DATA LINKS; COMMUNICATION SATELLITES; PROTOCOL (COMPUTERS); INTERNETS; INDUSTRIES; HIGH SPEED; EXPLOSIONS; COMPUTERS; COMMERCE
Next-Generation High-Speed Satellite Interconnect
Author: Pietro Nannipieri
Publisher: Springer Nature
Published: 2021-07-23
Total Pages: 183
ISBN-13: 3030770443
DOWNLOAD EBOOKThis book introduces the space community to the novel SpaceFibre protocol, developed under the guidance of the European Space Agency (ESA) as the forthcoming, high speed (Gbps) communication protocol for satellite on-board communication. Since SpaceFibre is expected to follow the success of its predecessor SpaceWire protocol (Mbps), the authors provide a system-level perspective for the end-user willing to adopt this latest technology for future space missions. The authors provide a complete view of the SpaceFibre protocol, together with an analysis of all the necessary hardware and software components to integrate this technology onboard a satellite. The text guides potential system adopters toward understanding the protocol, analyzing strengths, weaknesses and performances. Practical design examples and prototype performance measurements in reference scenarios are also included.
Intelligent Satellite Design and Implementation
Author: Jianjun Zhang
Publisher: John Wiley & Sons
Published: 2023-10-13
Total Pages: 228
ISBN-13: 1394198973
DOWNLOAD EBOOKINTELLIGENT SATELLITE DESIGN AND IMPLEMENTATION Integrate cutting-edge technology into spacecraft design with this groundbreaking work Artificial intelligence and machine learning have revolutionized virtually every area of computing and complex engineering, and the design of satellite spacecraft is no exception. Intelligent satellites are increasingly capable of human-like perception, decision-making, and operations, and their problem-solving capacities are still expanding. As AI and machine learning continue to advance, their integration into satellite manufacture will only deepen. Intelligent Satellite Design and Implementation seeks to understand the foundations of this integration and its likely directions in the coming years. Beginning from the basic principles of interaction between artificial intelligence and satellite design and mission planning, the book analyzes a series of current or potential areas of technological advancement to create a comprehensive overview of the subject. Intelligent Satellite Design and Implementation readers will also find: Background information on the introduction and development of artificial intelligence Detailed discussion of topics including autonomous satellite operation, remote sensing satellites, and many more Over 100 illustrations and tables to reinforce key concepts Intelligent Satellite Design and Implementation is ideal for graduate students and advanced undergraduates in engineering, computing, and spacecraft design programs, as well as researchers in these and related fields.
Scientific and Technical Aerospace Reports
Author:
Publisher:
Published: 1995
Total Pages: 702
ISBN-13:
DOWNLOAD EBOOKIBM z/OS V2R2 Communications Server TCP/IP Implementation Volume 1: Base Functions, Connectivity, and Routing
Author: Bill White
Publisher: IBM Redbooks
Published: 2016-11-30
Total Pages: 560
ISBN-13: 0738442097
DOWNLOAD EBOOKFor more than 50 years, IBM® mainframes have supported an extraordinary portion of the world's computing work, providing centralized corporate databases and mission-critical enterprise-wide applications. IBM zTM Systems, the latest generation of the IBM distinguished family of mainframe systems, has come a long way from its IBM System/360 heritage. Likewise, its IBM z/OS® operating system is far superior to its predecessors in providing, among many other capabilities, world-class and state-of-the-art support for the TCP/IP internet protocol suite. TCP/IP is a large and evolving collection of communication protocols that is managed by the Internet Engineering Task Force (IETF), an open, volunteer organization. Because of its openness, the TCP/IP protocol suite has become the foundation for the set of technologies that form the basis of the internet. The convergence of IBM mainframe capabilities with internet technology, connectivity, and standards (particularly TCP/IP) is dramatically changing the face of information technology and driving requirements for even more secure, scalable, and highly available mainframe TCP/IP implementations. The IBM z/OS Communications Server TCP/IP Implementation series provides understandable, step-by-step guidance for enabling the most commonly used and important functions of z/OS Communications Server TCP/IP. This IBM Redbooks® publication is for people who install and support z/OS Communications Server. It introduces z/OS Communications Server TCP/IP, describes the system resolver, and shows the implementation of global and local settings for single and multi-stack environments. It presents implementation scenarios for TCP/IP base functions, connectivity, routing, and subplexing.
Formal Approaches to Software Testing
Author: Andreas Ulrich
Publisher: Springer
Published: 2004-01-24
Total Pages: 276
ISBN-13: 3540246177
DOWNLOAD EBOOKFormal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.
