16 citations · 34 across the 10 of their papers we have counts for
10 papers
JADE - A Platform for Research on Cooperation of Physical and Virtual Agents
Wiktor B. Daszczuk, Jerzy Mieścicki
In the ICS, WUT a platform for simulation of cooperation of physical and virtual mobile agents is under development. The paper describes the motivation of the research, an organiza…
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network
Wiktor B. Daszczuk, Jerzy Mieścicki, Waldemar Grabski
In this paper, an original heuristic algorithm of empty vehicles management in personal rapid transit network is presented. The algorithm is used for the delivery of empty vehicles…
Practical Approach to Distributed Systems' Design
Jerzy Mieścicki, Wiktor B. Daszczuk, Waldemar Grabski +1
The paper, based on authors' experience from several distributed systems integration projects, summarizes briefly practical designer's view on methodological requirements and overa…
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
Jerzy Mieścicki, Bogdan Czejdo, Wiktor B. Daszczuk
The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete…
Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions
Wiktor B. Daszczuk, Jerzy Mieścicki
The paper presents a flexibility of management of vehicles in Personal Rapid Transit (PRT) network. The algorithm used for delivering empty vehicles for waiting passengers is based…
Verification of Concurrent Engineering Software Using CSM Models
Jerzy Mieścicki, Mikołaj Baszun, Wiktor B. Daszczuk +1
An engineering design process may involve software modules that can executed concurrently. Concurrent modules can be very easily subject to some synchronization errors. This paper…
Concurrent Software Design Based on Constraints on State Diagrams
Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Mieścicki
Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper,…
System level specification and verification using Concurrent State Machines and COSMA environment
Wiktor B. Daszczuk, Jerzy Mieścicki, Michał Nowacki +1
Traffic Light Controller, a typical benchmark device, is specified and verified using of a formal model called Concurrent State Machines (CSM) and the software environment COSMA 2.…
Behavioral an real-time verification of a pipeline in the COSMA environment
Jerzy Mieścicki, Wiktor B. Daszczuk
The case study analyzed in the paper illustrates the example of model checking in the COSMA environment. The system itself is a three-stage pipeline consisting of mutually concurre…
System Modeling in the COSMA Environment
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Mieścicki +1
The aim of this paper is to demonstrate how the COSMA environment can be used for system modeling. This environment is a set of tools based on Concurrent State Machines paradigm an…