Simulátor vestavného procesně funkcionálního jazyka

Abstract

Demands on development process of embedded systems are increasin g. Agile methodologies often try to eliminate different development risks as early as possible in development cycle. Solution can be a working model or prototype of at least critical system parts. Functional languages are very attractive from this perspective. They have several interesting properties like excellent abstraction mechanism; produced code is concise and extensible. These languages can be used as a tool producing a kind of executable design. This work describes the implementation of simulator for the language ePFL, which includes a debugger for embedded systems. Is primarily used for visualization and debugging designated system. Tuning of functional programs is difficult, and this work focuses on "coordinat ion" layer.