Automated Production-Ready Source Code Design for Embedded Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F09%3A63507966" target="_blank" >RIV/70883521:28140/09:63507966 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Automated Production-Ready Source Code Design for Embedded Systems

Popis výsledku v původním jazyce

Programming of embedded systems is still a special discipline. In many cases, developers are forced to use only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient.However, there are several ways leading to more efficient programmers' work. One of those ways leading to speed-up of embedded systems software development process is application of formal-methods. The goal of this article is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively used for designing of embedded application logic. The paper also introduces a unique RAD development environment called State Builder for Processor Expert? able to produce an optimized, platform-independent production-ready source code that fulfills all necessary requirements of embedded systems.

Název v anglickém jazyce

Automated Production-Ready Source Code Design for Embedded Systems

Popis výsledku anglicky

Programming of embedded systems is still a special discipline. In many cases, developers are forced to use only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient.However, there are several ways leading to more efficient programmers' work. One of those ways leading to speed-up of embedded systems software development process is application of formal-methods. The goal of this article is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively used for designing of embedded application logic. The paper also introduces a unique RAD development environment called State Builder for Processor Expert? able to produce an optimized, platform-independent production-ready source code that fulfills all necessary requirements of embedded systems.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

International Journal of Factory Automation, Robotics and Soft Computing

ISSN

1828-6984

e-ISSN

—

Svazek periodika

—

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

IT - Italská republika

Počet stran výsledku

6

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—