Alvis approach to Hexor robot controller development

Author

Szpyrka, Marcin ; Matyasik, Piotr ; Mrówka, Rafal

fYear

2010

Firstpage

595

Lastpage

600

Abstract

Alvis is a novel modelling language defined especially for the embedded systems design and verification. The language has its origin in CCS and XCCS process algebras, but algebraic equations have been replaced with a Haskell based high level programming language. Moreover, Alvis provides communication diagrams for the visual modelling of an embedded system structure, especially from the control and data-flow point of view. This paper presents an introduction to Alvis based on a model of a controller for the Hexor II mobile robot.

Keywords

calculus of communicating systems; control engineering computing; embedded systems; functional languages; mobile robots; simulation languages; Alvis; CCS process algebras; Haskell based high level programming language; Hexor II mobile robot; Hexor robot controller development; XCCS process algebras; algebraic equations; embedded system design; embedded system verification; modelling language; visual modelling; Cameras; Mathematical model; Mobile robots; Radiation detectors; Servomotors; Sonar; Alvis modelling language; Hexor II Robot; embedded systems; formal modelling;

fLanguage

English

Publisher

ieee

Conference_Titel

Mixed Design of Integrated Circuits and Systems (MIXDES), 2010 Proceedings of the 17th International Conference

Conference_Location

Warsaw

Print_ISBN

978-1-4244-7011-2

Electronic_ISBN

978-83-928756-4-2

Type

conf

Filename

5551327