Refine your search
Collections
Co-Authors
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Kazmi, Syed Asad Raza
- Concurrency in Intuitionistic Linear-Time μ-Calculus: A Case study of Manufacturing System
Abstract Views :147 |
PDF Views:0
Authors
Affiliations
1 Department of Computer Science, GC University, Lahore – 54000, PK
1 Department of Computer Science, GC University, Lahore – 54000, PK
Source
Indian Journal of Science and Technology, Vol 9, No 6 (2016), Pagination:Abstract
Background: The design of concurrent systems has become more and more articulated during the last three decades, thus forcing radical modifications on the overall methodological approach. In concurrent systems multiple tasks are being performed in parallel, giving rise to nondeterminism in these situations. The goal of this work is to introduce a common formalized framework to improve the shortcomings of existing models of concurrency, most of which use an oversimplified model of time. Methods: In this paper we will model a manufacturing system having concurrent machines by Colored Petri Nets (CPN) technique. For verification of such systems, intuitionistic linear-time μ-calculus (IμTL) will be applied, which is based on Heyting algebra. IμTL is the extension of linear-time μ-calculus. Reasoning about composition in general, but especially concurrent composition, remains one of the greatest challenge. Findings: The IμTL rules will be used for verifying soundness and composition of safety properties, which are more general than previously discussed rules by using Linear-Time Temporal Logic (LTL). These results will also show the verification of concurrent systems using IμTL. Application: This research will provide new direction for modeling and verification of concurrent system.Keywords
Compositional Reasoning, Concurrent System, CPN, IμTL- Formal Modelling and Verification of the Operational Modes of Pacemaker
Abstract Views :189 |
PDF Views:0
Authors
Syed Asad Raza Kazmi
1,
Sana Abubakkar
1,
Awais Qasim
1,
Syed Hassan Abbas Kazmi
2,
Usman Qamar Qureshi
3
Affiliations
1 Department of Computer Science, Government College University, Katchery Road, Lahore – 54000, PK
2 King Edward Medical University, Nelagumbad, Mayo Hospital Road, Lahore – 54000, PK
3 Nishtar Medical College, Multan – 60000, PK
1 Department of Computer Science, Government College University, Katchery Road, Lahore – 54000, PK
2 King Edward Medical University, Nelagumbad, Mayo Hospital Road, Lahore – 54000, PK
3 Nishtar Medical College, Multan – 60000, PK