Embedded Process Functional Language

Embedded systems represent an important area of computer engineering. Demands on embedded applications are increasing. To address these issues, different agile methodologies are used in traditional desktop applications today. These agile methodologies often try to eliminate development risks in early design phases. Possible solution is to create a working model or a prototype of critical system parts. Then we can use this prototype in negotiation with customer and also to prove technological aspects of our solution. From this perspective functional languages are very attractive. They have excellent abstraction mechanism and they can be used as a tool producing a kind of executable design. In this paper we present our work on a domain specific functional language targeted to embedded systems Embedded process functional language. Created language works on a high level of abstraction and it uses other technologies (even other functional languages) created for embedded systems development on lower levels. It can be used like a modeling or a prototyping language in early development phases

Target Code Generator for Embedded Process Functional Language

Import 29/09/2010Programovací jazyk e-PFL (Embedded Process Functional Language, Vestavný procesně funkcionální jazyk) je určen pro modelování vestavných systémů na vysoké úrovni abstrakce. Cílem mé bakalářské práce bylo rozšířit již stávající kompilátor o možnost překladu zdrojového kódu v jazyce e-PFL do programovacího jazyka Erlang. Erlang je jazyk integrující prvky funkcionálního paradigmatu a je hojně využíván pro komerční účely, zejména v telekomunikacích. Při realizaci bylo nejdřív nutné vyjádřit specifické konstrukce jazyka e-PFL v jazyce Erlang tak, aby funkčnost modelovaného vestavného systému byla stejná v obou jazycích. Syntaxe i sémantika obou jazyků jsou podobné, ale jinak se jazyky v mnoha ohledech liší. Jazyk e-PFL nabízí mechanismus pro snadnější modelování vestavných systémù. Bylo proto nutné navrhnout, jak převést konstrukce z jazyka e-PFL do jazyka Erlang. Výsledný generátor cílového kódu byl implementován do existujícího překladače, ten je napsán v jazyce C#.The e-PFL (Embedded Process Functional Language) programming language is made for a high level abstraction modeling of embedded systems. Goal of my bachelor thesis was to extend already existing compiler, so it would translate a source code written in the e-PFL programming language to the source code in Erlang programming language. Erlang is a programming language integrating the characteristics of a functional paradigm and is widely used for a commercial purposes, mainly in telecommunications. First important thing was to express special constructions of the e-PFL in the Erlang, thus the functionality of a modeled embedded system would be equal in both of these languages. Syntax and semantics of both languages are similar, otherwise they have many differences. In e-PFL programming language, the mechanism for easier embedded system modeling is provided. Thus it was necessary to design the way, of the translation the language constructions from e-PFL to Erlang. Final target code generator was implemented into the existing compiler and it is written in the C# programming language.Prezenční456 - Katedra informatikyvýborn

Simulator of Embedded Process Functional Language

Import 04/07/2011Pož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.460 - Katedra informatikyvelmi dobř

Support of Embedded Process Functional Language in the Tool Visual Studio

Import 04/07/2011Tato diplomová práce se zabývá problematikou rozšíření Visual Studia o podporu nového programovacího jazyka. Její první část obecně přibližuje možnosti rozšíření tohoto IDE, a specificky se zaměřuje na problematiku implementace podpory nově zaváděných programovacích jazyků. Jsou zde analyzovány a naznačeny možnosti pro zavedení projektových šablon, připojení kompilátoru, podporu jazyka v editoru, a podporu ladění. Ve druhé části pak jsou tyto poznatky přeneseny do praxe, kdy některé z těchto prvků jsou probrány podrobněji při demonstrování zavedení podpory funkcionálního jazyka e-PFL do prostředí Visual Studia 2010.This thesis concentrates on the problems of Visual Studio extensibility in the area of support for new programming language. In the first part the IDE extension possibilities are considered with a focus on the implementation problems of support for newly introduced programming languages. Possible solutions for design and implementation of project templates, compilator binding, support in editor, and support for debugging are analyzed and described here. In the second part these information are used in practical demonstration when some of the extensibility features are examined in depth during implementation of support for e-PFL functional language in Visual Studio 2010.Prezenční460 - Katedra informatikyvýborn

Visualization of Models Created in e-PFL Using UML Diagrams

Import 11/07/2012Hlavním výstupem diplomové práce je realizace nástroje, umožňujícího generovat UML diagramy ze systému, který je popsán ve vestavném procesně funkcionálním jazyce e-PFL. Úkolem těchto diagramů je zpřehlednit a usnadnit pochopení navrhovaného systému. Vlastní nástroj je integrován do stávajícího překladače e-PFL a generuje validní XMI struktury souborů, které mohou být dále zpracovány v CASE nástrojích do podoby konkrétních diagramů. V teoretické části jsou obecně popsány charakteristiky vestavěných systémů, možnosti jejich modelování a využití technologie UML pro tuto oblast. Součástí je také popis samotného jazyka e-PFL a standardu XMI, jakožto klíčového standardu pro výměnu objektů UML modelů a metadat informací. Praktická část se zaměřuje na návrh a realizaci vlastního nástroje a jeho integraci s nástrojem e-PFL. Jsou zde přiloženy i příklady použití a případová studie demonstrující funkčnost na konkrétní úloze v e-PFL.The aim of this thesis is the implementation of a tool which enables the generation of UML diagrams from the system which is described in e-PFL, the embedded process-functional language. The diagrams are to provide transparency and better understanding of the suggested system. The tool itself is integrated into an existing compiler of the e-PFL. It generates valid XMI structures of files which may be further processed and formed into specific diagrams using the CASE tools. The theoretical part of the thesis describes general characteristics of the embedded systems, their possible simulation and the usage of the UML technology for this area. Furthermore, this part describes the e-PFL language itself and the XMI standard as a key standard for the interchange of the UML objects of models and metadata information by the XML. The practical part of the thesis focuses on the plan and realization of the tool and the integration of the tool with the e-PFL tool. Additionally, this part contains examples of usage and a case study in which the functionality is demonstrated on a specific problem in e-PFL.460 - Katedra informatikyvelmi dobř