High Performance Simulations of Kernel P Systems

Bakir, Mehmet E.; Konur, Savas; Gheorghe, Marian; Niculescu, Ionuț Mihai; Ipate, Florentin

doi:10.1109/hpcc.2014.69

Cited by 15 publications

(9 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The kPWorkbench tool includes two simulators, a native one, which allows the execution of the entire system or a step-wise approach, and the Flame simulator [14], a general purpose large-scale agent-based simulation environment. The latter is meant to allow a kP system to be expressed as a set of communicating X-machines [31] and then executed on high-performance hardware platform [32].…”

Section: Kp Systems Definitionmentioning

confidence: 99%

Search-based testing in membrane computing

et al. 2019

Self Cite

View full text Add to dashboard Cite

Search-based testing is widely used for generating test sets. It is also applied in the case of model-based testing, especially for (extended) finite state machines. In this paper, we define such an approach for kernel P system models. We consider a specific kernel P system model and a define a search-based testing method. The test set generated consists of input sequences producing a given computation defined by the model. An example illustrates the use of the introduced method.

show abstract

Section: Kp Systems Definitionmentioning

confidence: 99%

Search-based testing in membrane computing

et al. 2019

Self Cite

View full text Add to dashboard Cite

show abstract

“…In order to facilitate the specification of system requirements, kPWorkbench features a property language, called kP-Queries, which comprises a list of property patterns written as natural language statements. The properties expressed in kP-Queries are verified using the Spin [13] The simulation component features a native simulator [2,19], which allows the users to simulate kP system models efficiently. In addition, kPWorkbench integrates the Flame simulator [4,23], a general purpose large scale agent based simulation environment, based on a method that allows users to express kP systems as a set of communicating X-machines [11].…”

Section: Kpworkbenchmentioning

confidence: 99%

Modelling and Validating an Engineering Application in Kernel P Systems

et al. 2017

Self Cite

View full text Add to dashboard Cite

Abstract. This paper illustrates how kernel P systems (kP systems) can be used for modelling and validating an engineering application, in this case a cruise control system of an electric bike. The validity of the system is demonstrated via formal verification, carried out using the kPWorkbench tool. Furthermore, we show how the kernel P system model can be tested using automata and X-machine based techniques.

show abstract

“…The framework features a native simulator [3,23], allowing the simulation of kP system models. In addition, it also integrates the Flame simulator [7], a general purpose large scale agent based simulation environment, based on a method that allows to express kP systems as a set of communicating X-machines [17].…”

Section: Kpworkbenchmentioning

confidence: 99%

“…(i) The terminal nodes will receive the broadcast message at the same time (ii) eventually (m1.a >0 and m3.a >0) (iii) ltl prop { <> ((c [1].x[a ] > 0 && c [3].x[a ] > 0) && state == step complete) } 2 Absence…”

Section: Prop Pattern (I) Informal (Ii) Formal (Iii) Spin (Ltl) Rementioning

confidence: 99%

An Integrated Model Checking Toolset for Kernel P Systems

et al. 2015

Self Cite

View full text Add to dashboard Cite

Abstract. P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are defined to unify the specification of different variants of P systems, motivated by challenging theoretical aspects and the need to model different problems. kP systems are supported by a software framework, called kPWorkbench, which integrates a set of related simulation and verification methodologies and tools. In this paper, we present an extension to kPWorkbench with a new model checking framework supporting the formal verification of kP system models. This framework supports both LTL and CTL properties. To make the property specification an easier task, we propose a property language, composed of natural language statements. We demonstrate our proposed methodology with an example.

show abstract

High Performance Simulations of Kernel P Systems

Cited by 15 publications

References 9 publications

Search-based testing in membrane computing

Search-based testing in membrane computing

Modelling and Validating an Engineering Application in Kernel P Systems

An Integrated Model Checking Toolset for Kernel P Systems

Contact Info

Product

Resources

About