Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Automated Production-Ready Source Code Design for Embedded Systems

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

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

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • 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.

Klasifikace

  • Druh

    C - Kapitola v odborné knize

  • CEP obor

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

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • 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ů

Údaje specifické pro druh výsledku

  • Název knihy nebo sborníku

    Emerging Technologies, Robotics and Control Systems

  • ISBN

    978-88-901928-5-2

  • Počet stran výsledku

    6

  • Strana od-do

  • Počet stran knihy

    254

  • Název nakladatele

    Internationalsar

  • Místo vydání

    Palermo

  • Kód UT WoS kapitoly