Wyniki wyszukiwania - BazTech

1

A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems

Elmansouri Raida, Meghzili Said, Chaoui Allaoua

Computer Science

|

2021

|

T. 22 (2)

209–233

EN

This paper proposes an approach that integrates UML 2.0 Activity Diagrams (UML2-ADs) and the communicating sequential process (CSP) for modeling and verifying software systems. A UML2-AD is used for modeling a software system, while a CSP is used for verification purposes. The proposed approach consists of another way of transforming UML2-AD models to CSP models. It also focuses on checking the correctness of some properties of the transformation itself. These properties are specified using linear temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on model -driven engineering (MDE). The meta-modeling is realized using the AToMPM tool, while the model transformation and the correctness of its properties are realized using the GROOVE tool. Finally, we illustrated this approach through a case study.

2

A Hybrid CPU/GPU Cluster for Encryption and Decryption of Large Amounts of Data

Niewiadomska-Szynkiewicz E., Marks M., Jantura J., Podbielski M.

Journal of Telecommunications and Information Technology

|

2012

|

nr 3

32-39

EN

The main advantage of a distributed computing system over standalone computer is an ability to share the workload between cores, processors and computers. In our paper we present a hybrid cluster system - a novel computing architecture with multi-core CPUs working together with many-core GPUs. It integrates two types of CPU, i.e., Intel and AMD processor with advanced graphics processing units, adequately, Nvidia Tesla and AMD FirePro (formerly ATI). Our CPU/GPU cluster is dedicated to perform massive parallel computations which is a common approach in cryptanalysis and cryptography. The efficiency of parallel implementations of selected data encryption and decryption algorithms are presented to illustrate the performance of our system.

3

Parallel and Distributed Simulation of Ad Hoc Networks

Sikora A., Niewiadomska-Szynkiewicz E.

Journal of Telecommunications and Information Technology

|

2009

|

nr 3

76-84

EN

Modeling and simulation are traditional methods used to evaluate wireless network design. This paper addresses issues associated with the application of parallel discrete event simulation to mobile ad hoc networks design and analysis. The basic characteristics and major issues pertaining to ad hoc networks modeling and simulation are introduced. The focus is on wireless transmission and mobility models. Particular attention is paid to the MobASim system, a Javabased software environment for parallel and distributed simulation of mobile ad hoc networks. We describe the design, performance and possible applications of presented simulation software.

4

FC-MWS: A software environment for flood operation in multireservoir systems

Niewiadomska-Szynkiewicz E.

Acta Geophysica Polonica

|

2004

|

Vol. 52, nr 1

91-103

EN

This paper describes an open architecture software package Flood Control - Multireservoir Water System (FC-MWS), developed as an environment for computer-based analysis and design of control structures and mechanisms for flood operation in multireservoir systems. The program is addressed mainly to control sys-tem developers and should provide assistance in their search for satisfactory process operation. In general, it can be used to perform experiments for various water systems with reservoirs located serially or in parallel. FC-MWS can operate as a real-time decision support tool for control center of a multireservoir water system too. A case study of the upper Vistula river basin system in the southern part of Poland is presented in the final part of the paper.