Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F06%3A63504368" target="_blank" >RIV/70883521:28140/06:63504368 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl)

Popis výsledku v původním jazyce

Programování embedded systému je speciální disciplína. V mnoha případech se využívají pouze nízkoúrovňové programovací techniky a jazyky, z čehož plyne, že takový způsob vývoje aplikací může být neefektivní a časově náročný. Jedna z možných cest vedoucích ke zrychlení vývojového procesu aplikací určených pro embedded systémy je využítí formálních metod vývoje aplikací. Cílem článku je ukázat, že určité typy formálního popisu mohou být využity pro tvorbu efektivního produkčního programového kódu splňujícího všechny požadavky vyplývající z charakteristických vlastností embedded systémů. Navíc, popis aplikační logiky pomocí KSA umožňuje za použití vhodných nástrojů generování platformně nezávislého programového kódu.

Název v anglickém jazyce

FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I)

Popis výsledku anglicky

Programming of embedded systems is a special discipline. In many cases, developers are using only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. One of the possible ways leading to speed-up of a software development process on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively used for producing of optimized source code that fulfils necessary requirements of embedded systems. Moreover, description of application logic by FSMs leads to ability of production of target platform and programming language-independent source code.

Druh

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

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

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

AT&P Journal

ISSN

1335-2237

e-ISSN

—

Svazek periodika

XIII

Číslo periodika v rámci svazku

12/06

Stát vydavatele periodika

SK - Slovenská republika

Počet stran výsledku

2

Strana od-do

69-70

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—