Kind Of Software Research Articles

Safeguard Data-Processing System: Debugging a Real-Time Multiprocessor System

The debugging of Safeguard software was performed in phases, each with a unique environment, problems, and debugging tools. The unique aspects of each phase are described here with special emphasis on the debugging tools used. Although the multiprocessor configuration introduced new kinds of software “bugs” and complicated the debugging problem, the real-time character of the system had a greater overall impact.

A Train Traffic Model Based On Coloured PetriNets And Its Application To A Train SchedulePlanning System

We propose an approach to making train schedules by simulation and a train traffic model suitable for simulation. This model is developed based on a Coloured Petri Net (CP-net), an enhancement of Petri Net which is known as a graphic tool applicable to the analysis of concurrent, asynchronous and distributed systems. Some of the advantages of our CP-net based train traffic model are that it is a universal model suitable for various kinds of software which deal with train schedules; simulation on this model always produces a feasible train schedule and it is helpful in making the software more compact, robust, re-usable, efficient and enhanced. In this paper, we introduce the model together with an outline of a train schedule planning system developed using the model.