You are here: silicon.com > Resources > White Papers > Networking and Communications > Network Technologies > TCP - IP

TCP - IP White Papers

Model Checking Networked Programs in the Presence of Transmission Failures

Overview Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communication failures. This paper contributes a fault model for model checking networked programs. If a naive fault model is used, spurious deadlocks may appear, because certain processes are terminated before they can complete a necessary action. Such spurious deadlocks have to be suppressed, as implemented in the model checker extension. The approach discussed in this paper found several faults in existing applications, and scales well because exceptions generated by the tool can be checked individually.

Further White Paper Details
Publisher	National Institute of Informatics	File Format	PDF
Date Published	March 2007
Format	White Papers
Topics	TCP - IP, Java, Application Development

Did you find this white paper useful?

Intelligent virus targets Windows NT networks

Remote Explorer is time sensitive to be most active over the weekend and at night - when network administrators are least likely to be checking what is going on. Once it gets onto a server, it can replicate and send itself on without any user action.

Channel:
Security Strategy

Linux Special: No sex please, we're arguing over Linux GUIs

Last week, Silicon.com dared open a discussion on the one potential fault line in the (until now) cosy Linux community. They want to use the computer with as little thought to how the programs work as you probably would give to how the engine or...

Channel:
Comment & Analysis

The Bloor Perspective: Microsoft's lesson in politics and geography, Micromuse looks to wireless, and Oracle Japan thinks for itself

The emphasis is placed on checking for basic service delivery items - whether the applications are available, whether they are usable and how they perform. That fact should not be taken too much to heart because it is not the fault of WSM - or the...

Channel:
Comment & Analysis

Apple: Widget worries persist

The action could be anything from wiping a hard drive to sending the attacker the victim's list of usernames and passwords on Apple's Keychain tool, he said. Widgets, or small programs that automatically install after downloading, were introduced...

Channel:
Malware
Tags:
widgets,
tiger,
apple

Quocirca's Straight Talking: A single source for net protection

Some of these vendors are now extending their services to filter content that arrives whilst surfing the web, like checking for spyware, adware or other software programs that can be inadvertently downloaded.

Channel:
WebWatch
Tags:
filtering,
emails

Microsoft hits back at Vista security critics

Kleef claimed the number of infections was not purely the operating system's fault, but said that "in some cases it's the user and their lack of knowledge and their implicit 'it-won't-happen-to-me' complacency" that causes them to get infected.

Channel:
Security Strategy
Tags:
xp,
windows,
vista

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

TCP - IP White Papers

Model Checking Networked Programs in the Presence of Transmission Failures

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific