Czasopismo | ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA | Rocznik 2010 - zeszyt 11

Alvis approach to Hexor robot controller development

nr katalogowy: 56005

The aim of the paper is to present an introduction to Alvis modelling language based on a real example. For this purpose, we have chosen a model of a controller for the Hexor II mobile robot. The direct ancestors of Alvis are the XCCS [1-3] and CCS process algebras [4-6]. CCS (Calculus of Communicating Systems) is one of the most famous process calculi. It provides a tool for the high-level description of interactions, communications, and synchronizations among agents and also algebraic laws to analyse agents properties. One of the main disadvantages of CCS is the lack of a suitable graphical language for modelling concurrent systems. A designer is forced to use the textual (algebraic equations) form of a system description. XCCS (eXtended CCS) is a graphical extension of the CCS process algebra. XCCS provides a graphical modelling language for the description of interactions among agents, but still preserves algebraic equations to describe the behaviour of individual agents. Alvis, as well as XCCS, uses two layers, a graphical and a textual one. The Alvis graphical layer, called communication diagrams, is a significant enhancement of XCCS diagrams. Communication diagrams are hierarchical constructions and reflect the structure of the system under consideration more precisely (active and passive agents, two-way ports, etc.) than XCCS diagrams. The XCCS algebraic layer has been replaced with a completely new Alvis code layer. Instead of algebraic equations, Alvis uses a high level programming language based on the Haskell syntax. Moreover, Haskell is used to define data types for parameters and to define functions for data manipulation. Alvis provides a possibility of the formal verification of models. An Alvis model is transformed into a labelled transition system (LTS) encoded using the Binary Coded Graphs (BCG) format. Then, the CADP toolbox [7] is used to verify its properties. Hexor microcontroller model Hexor II (Fig[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 56005 "Alvis approach to Hexor r..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - e-zeszyt (pdf) 2010-11 licencja: Osobista Produkt cyfrowy	35.00 zł

Prenumerata

ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

420.00 zł

ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - papierowa prenumerata roczna	528.00 zł brutto 488.89 zł netto 39.11 zł VAT (stawka VAT 8%)
ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

570.00 zł

ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	636.00 zł brutto 588.89 zł netto 47.11 zł VAT (stawka VAT 8%)

636.00 zł

Zeszyt

2010-11

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma