No abstract

No abstract

Abstract-This paper presents our research in the domain of mechanical extraction of a model from an SDL (Specification and Description Language) specification of a system. We use formal verification tool Spin (Simple Promela Interpreter) and Promela (Process Meta-Language) language for the description of the model. With the model checking technique the model's accordance with the system correctness requirements can be established with mathematical accuracy. The model can be generated manually or mechanically. If it is to be prepared manually, we will need an expert with the detailed knowledge of the system and both languages. The quality of the model is directly influenced by the expert. The process is prone to the incorrect modelling of the system's properties. In this paper we present the most critical parts of mechanical creation of the models in Promela. Additionally, we present challenges, research directions and some solutions for the automatic generation of models from an SDL specification.

No abstract

A S o r t i n g A l g o r i t h m on a P C C l u s t e rJ a n e z Brest, A l e k s a n d e r Vre2e, V i l j e m Z u m e r U n i v e r s i t y of M a r i b o r F a c u l t y of E l e c t r i c a l E n g i n e e r i n g a n d C o m p u t e r Science S m e t a n o v a 17, SI-2000 M a r i b o r , S l o v e n i a janez.brest@uni-mb.si K e y words: computing system, network, parallel processing, data sorting, quicksort. AbstractData sorting is the most studied problem in computer science, for both, its theoretical importance and its use in so many applications. A parallel sorting algorithm on a heterogeneous system -PC cluster was implemented to minimize the application execution time. In this paper we propose a scheme for communicating data among subtasks during application program execution.We present some experimental results of the parallel sorting algorithm on a PC cluster.