Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (druhá část)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F07%3A63505791" target="_blank" >RIV/70883521:28140/07:63505791 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216305:26230/07:PU76665

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (druhá část)

Popis výsledku v původním jazyce

Vývoj softwarového vybavení pro embedded systémy je i v současné době speciální disciplínou. Vývojář musí znát nejen samotný programovací jazyk, ve kterém bude program vytvářen, ale také detailní vlastnosti cílové platformy z důvodů velmi úzké vazby meziHW a SW vybavením. Aby bylo možné vytvářet vysoce optimalizovaný a na systémové prostředky šetrný programový kód, bývá často nutné používat pouze nízkoúrovňové programovací jazyky a technologie, čímž se vývoj takového zařízení stává časově (a potažmo ifinančně) neefektivním. Smyslem tohoto článku je ukázat, že i v oblasti vývoje SW pro embedded systémy lze využít některé formální metody návrhu a tvorby SW, které umožňují automatizované generování produkčního programového kódu pro embedded zařízení z platformě nezávislého popisu a tím i zeefektivnit vývojový proces daného zařízení.

Název v anglickém jazyce

Formal-Method-Based Software Development Applied on Embedded Systems: Platform-independend Source Code

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 article is to point out that some specific formal languages can be effectively used for producing of highly optimized production-ready source code that fulfills 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)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2007

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

14

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

SK - Slovenská republika

Počet stran výsledku

2

Strana od-do

57-58

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—