Open Access
Process algebra for dynamic system modeling
Jos C. M. Baeten,D.A. van Beek,Jacobus E. Rooda +2 more
- 01 Jan 2006
- Vol. 0603
TL;DR: It is explained how equational reasoning can simplify, among others, tool implementations for simulation and verification of embedded systems in combination with their environment, and for any dynamic system in general.
read more
Abstract: Process algebra is the study of distributed or parallel systems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete event, reactive systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and verification of embedded systems in combination with their environment, and for any dynamic system in general. As the vehicle of our exposition, we use the hybrid process algebra χ (Chi). The syntax and semantics of χ are discussed, and it is explained how equational reasoning can simplify, among others, tool implementations for simulation and verification. Finally, a bottle filling line example is introduced to illustrate system analysis by means of equational reasoning.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Programming interactions in collective adaptive systems by relying on attribute-based communication
TL;DR: AbC, a foundational calculus for attribute-based communication is introduced and it is shown how its linguistic primitives can be used to program a complex and sophisticated variant of the well-known problem of Stable Allocation in Content Delivery Networks.
55
Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service
TL;DR: This work introduces the Fuzzy Inference Cloud Service (FICS) and proposes a novel discipline for formal modeling of the FICS, and introduces four novel formal verification tests, which allow strict analysis of certain behavioral disciplines in the Fics.
18
Programming interactions in collective adaptive systems by relying on attribute-based communication
TL;DR: A language-based approach for programming the interactions of collective-adaptive systems by relying on attribute-based communication; a paradigm that permits a group of partners to communicate by considering their run-time properties and capabilities is proposed.
12
PAFESD: Process algebras for electronic system designs
K.L. Man
- 01 Oct 2007
TL;DR: An brief introduction of two process algebraic theories/frameworks SystemCFL and PAFSV that can be regarded as the formal languages of SystemC and SystemVerilog respectively are introduced.
5
Specification and analysis of hardware designs using mCRL2
Ka Lok Man,J. van der Wulp +1 more
- 04 May 2008
TL;DR: The application of the language mC RL2 and the mCRL2 toolset is presented to specify and analyse a hardware design: a four-tap FIR filter.
4
References
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
•Book
Communication and Concurrency
Robin Milner
- 01 Jan 1989
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
9K
•Book
A calculus of communicating systems
Robin Milner
- 01 Jan 1980
TL;DR: A case study in synchronization and proof techniques, and some proofs about data structures in value-communication as a model of CCS 2.0.
5.3K
UPPAAL in a Nutshell
TL;DR: A detailed user guide is given which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model.
Calculus of Communicating Systems
C. J. Koomen,C. J. Koomen +1 more
- 01 Jan 1991
TL;DR: The Calculus of Communicating Systems is meant as a formal mathematical framework which can be used to specify communicating systems and to verify properties of them.
2K
Related Papers (5)
Maurice Nivat,Charles Rattray,Teodor Rus,Giuseppe Scollo +3 more
- 01 Jan 1993
Michael Mendler,Partha S. Roop,Partha S. Roop,Bruno Bodin +3 more
- 24 Aug 2016