Publication detail

Automata with Parameterized Arrays and Parameterized Networks of Automata

BOUAJJANI, A. VOJNAR, T.

Original Title

Automata with Parameterized Arrays and Parameterized Networks of Automata

Type

report

Language

English

Original Abstract

The goal of this study is to propose a common basis for describing a large class of systems with a somehow parameterized (process and/or data) structure. We propose automata working with generalized, parametric arrays to be used for this purpose. Indeed, entries of such arrays with parameterized bounds may hold control states and local data of processes whose parametric number appears in the modelled systems. Parameterized arrays may also directly correspond to parameterized memory structures (as, e.g., cache tables) present in the systems being investigated. In addition to the above, we further propose a concept of parametric networks of automata with arrays which can be viewed as a higher-level and in some situations easier to use modelling tool that may, however, be defined in the terms of the basic automata with arrays. In models based on the parametric networks of automata, we allow global as well as local parametric arrays to be used.

Keywords

formal verification, parametric verification, automated verification, concurrent systems, extended automata

Authors

BOUAJJANI, A.; VOJNAR, T.

Released

30. 9. 2002

Publisher

The Information Society Technologies (IST) programme of the EU Fifth Framework Programme

Location

Paris

Pages count

13

URL

http://www.liafa.jussieu.fr/~haberm/ADVANCE/Year2/d11.ps

BibTex

@techreport{BUT192488,
  author="Ahmed {Bouajjani} and Tomáš {Vojnar}",
  title="Automata with Parameterized Arrays and Parameterized Networks of Automata",
  year="2002",
  publisher="The Information Society Technologies (IST) programme of the EU Fifth Framework Programme",
  address="Paris",
  pages="13",
  url="http://www.liafa.jussieu.fr/~haberm/ADVANCE/Year2/d11.ps"
}