All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Automated Production-Ready Source Code Design for Embedded Systems

The result's identifiers

  • Result code in 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>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Automated Production-Ready Source Code Design for Embedded Systems

  • Original language description

    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.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

  • CEP classification

    JC - Computer hardware and software

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2009

  • Confidentiality

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

Data specific for result type

  • Name of the periodical

    International Journal of Factory Automation, Robotics and Soft Computing

  • ISSN

    1828-6984

  • e-ISSN

  • Volume of the periodical

  • Issue of the periodical within the volume

    2

  • Country of publishing house

    IT - ITALY

  • Number of pages

    6

  • Pages from-to

  • UT code for WoS article

  • EID of the result in the Scopus database