Showing 1–2 of 2 results for author: Czejdo, B D

Verification of Concurrent Engineering Software Using CSM Models

Authors: Jerzy Mieścicki, Mikołaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo

Abstract: 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 discusses verification process for such engineering software. We present a method for verification that requires several steps. First, the state diagram models are constructed that describe the design iterations and inte… ▽ More 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 discusses verification process for such engineering software. We present a method for verification that requires several steps. First, the state diagram models are constructed that describe the design iterations and interactions with the designer. Next, the state diagram models are transformed into concurrent state machines (CSM). After that, the CSM models are analyzed in order to verify their correctness. In this phase, the modifications are performed in necessary. In the last phase the code is generated. The tools to support our method can be called new concurrent CASE tools. Using these tools the engineering software can be created that is verified for correctness in respect to concurrent execution. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Comments: 9 pages, 12 figures

MSC Class: 68N30 ACM Class: D.2.2

Journal ref: Proc.2nd World Conf. on Integrated Design and Process Technology, Austin, Texas, USA, December 1-4, 1996, Vol. 2, pp.322-330

Concurrent Software Design Based on Constraints on State Diagrams

Authors: Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Mieścicki

Abstract: 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, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into C… ▽ More 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, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into Concurrent State Machines is shown, which provides formal framework for the verification of inter-module synchronization. An example of engineering software design based on the method is presented. △ Less

Submitted 23 March, 2017; originally announced March 2017.

Comments: 17 pages, 12 figures, 3rd Biennial World Conference on Integrated Design & Process Technology, Berlin, July 6-9, 1998

MSC Class: 68N30 ACM Class: D.2.10