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

Abstract

Požadavky na vývojový proces vestavných systému se neustále zvyšují. Agilní metodologie se obecně snaží u vývojového cyklu eliminovat různá vývojová rizika tak rychle, jak jen to jde. Řešením může být funkční model či prototyp alespoň kritických částí systému. Funkcionální jazyky jsou z tohoto pohledu velice atraktivní. Mají několik zajímavých vlastností jako: výborný mechanismus abstrakce, vytvořený kód je jednoduchý a snadno rozšířitelný. Tyto jazyky tak mohou být snadno použitelné jako nástroje produkující jakýsi spustitelný návrh. V této práci je popsána implementace simulátoru pro jazyk ePFL, který obsahuje debugger pro vestavný systém. Primární určení je k vizualizaci a ladění vytvářeného systému. Lazení funkcionálních programů je obtížné a tato práce se zaměřuje na "koordina ční" vrstvu.

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.