Formal Modeling of Enterprise Cloud Bus System: A High Level Petri-Net Based Approach

2017 ◽  
pp. 121-149 ◽  
Author(s):  
Gitosree Khan ◽  
Sabnam Sengupta ◽  
Anirban Sarkar
Keyword(s):  
Petri Net ◽  
Formal Modeling ◽  
System A ◽  
High Level ◽  
Bus System

scholarly journals Formal Modeling and Verification for MVB

2013 ◽  
Vol 2013 ◽  
pp. 1-12 ◽  
Author(s):  
Mo Xia ◽  
Kueiming Lo ◽  
Shuangjia Shao ◽  
Mian Sun
Keyword(s):  
Model Checking ◽  
Petri Net ◽  
System Modeling ◽  
Formal Modeling ◽  
Critical Component ◽  
System A ◽  
Communication Environment ◽  
Train Communication Network ◽  
Asynchronous Methods ◽  
Transfer Protocol

Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system correctness. The MVB system modeling and verification are concerned in this paper. Petri Net and model checking methods are used to verify the MVB system. A Hierarchy Colored Petri Net (HCPN) approach is presented to model and simulate the Master Transfer protocol of MVB. Synchronous and asynchronous methods are proposed to describe the entities and communication environment. Automata model of the Master Transfer protocol is designed. Based on our model checking platform M3C, the Master Transfer protocol of the MVB is verified and some system logic critical errors are found. Experimental results show the efficiency of our methods.

A PARALLEL ALGORITHM TO GENERATE N-ARY REFLECTED GRAY CODES IN A LINEAR ARRAY WITH RECONFIGURABLE BUS SYSTEM

1993 ◽  
Vol 03 (02) ◽  
pp. 157-164 ◽  
Author(s):  
P. THANGAVEL ◽  
V.P. MUTHUSWAMY
Keyword(s):  
Parallel Algorithm ◽  
Linear Array ◽  
Constant Time ◽  
Processor Array ◽  
Gray Codes ◽  
System A ◽  
Processor Arrays ◽  
Bus System

A simple parallel algorithm for generating N-ary reflected Gray codes is presented. The algorithm is derived from the pattern of N-ary reflected Gray codes. The algorithm runs on a linear processor array with a reconfigurable bus system. A reconfigurable bus system is a bus system whose configuration can be dynamically changed. Recently processor arrays with reconfigurable bus systems were used to solve many problems in constant time. There already exists experimental reconfigurable chips.

scholarly journals The North-South Gas Corridor in the Context of Poland’s Gas Transmission System—A Perfect Opportunity to Diversify Gas Resources

Energies ◽  
2021 ◽  
Vol 14 (21) ◽  
pp. 7188
Author(s):  
Wiktor Hebda
Keyword(s):  
Energy Security ◽  
Field Research ◽  
Green Energy ◽  
Coal Production ◽  
The North ◽  
System A ◽  
State Of Affairs ◽  
High Level ◽  
Huge Challenge ◽  
Gas Supply

The energy sector in Poland is currently calling for dynamic redevelopment and cleaner energy. This country is world famous for its high level of coal production, from which it does not want to retreat in the next two decades. For this reason, it is safer to gradually reduce the use of coal while increasing the consumption of gas and simultaneously developing green energy. However, the Polish gas sector is still dependent on Russian gas supplied through the Yamal gas pipeline. Taking into consideration Polish geopolitics, this state of affairs poses a huge challenge and a threat to Poland’s energy security. That is why the concept of the North-South Gas Corridor was introduced. It is intended to be a network of gas pipelines that connect the countries of Central and South Europe to two gas terminals (in Poland and Croatia), which will supply gas from a chosen source. This article presents the current condition of the gas sector in Poland. It focuses on the North-South Gas Corridor project and its impact on the energy security of Poland. An analysis of documents and field research shows that the North-South Gas Corridor provides Poland with an opportunity to diversify the sources and directions of gas supply over the next few years.

Formal Modeling and Analysis of Collaborative Humanoid Robotics

2019 ◽  
pp. 1086-1108
Author(s):  
Yujian Fu ◽  
Zhijiang Dong ◽  
Xudong He
Keyword(s):  
Petri Net ◽  
Control Strategies ◽  
Formal Modeling ◽  
Humanoid Robotics ◽  
Modeling And Analysis ◽  
Agent Based ◽  
Design And Implementation ◽  
Simulation Results ◽  
And Control ◽  
Successful Collaboration

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous robotics, to attain the specified tasks in a coordinated manner. To ensure a successful collaboration of multiple robotics, this formal agent-based framework captures behaviors in Petri Net models and specifies collaboration operations in four defined operations. To validate the framework, a non-trivial soccer bot set was implemented and simulation results were discussed.

TexRet

2012 ◽  
Vol 3 (1) ◽  
pp. 37-46 ◽  
Author(s):  
Girish Katkar ◽  
Pravin Ghosekar
Keyword(s):  
Random Fields ◽  
Markov Random Fields ◽  
Texture Synthesis ◽  
Direct Access ◽  
System A ◽  
Markov Random ◽  
Interactive Genetic Algorithms ◽  
High Level ◽  
Texture Retrieval ◽  
Fuzzy Description

The TEXRET-System, a texture retrieval system based on soft-computing technologies is being developed. The importance of this kind of system is increasing due to the massive access to digital image databases, which also demand the existence of systems that can understand human high-level requests. The TEXRET system has the following features: (i) direct access from the Internet, (ii) high interactivity, (iii) texture retrieval using human-like or fuzzy description of the textures, (iv) content-based texture retrieval using user-feedback, and (v) synthesis or generation of the requested textures when these are not found in the database, which allows a growing of the database. One of the main system features is synthesis of the requested textures when these are not found in the database, which allows a growing of the database. Missing textures are synthesized interactively using Markov Random Fields and interactive genetic algorithms. This paper is centered on the texture synthesis of the textures.

Sign in / Sign up

Export Citation Format

Share Document