Title :
Alvis approach to Hexor robot controller development
Author :
Szpyrka, Marcin ; Matyasik, Piotr ; Mrówka, Rafal
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;
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
