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

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

Alternative codes found

RIV/00216305:26230/07:PU76665

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language description

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

Czech name

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

Czech description

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

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2007

Confidentiality

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

Name of the periodical

AT&P journal

ISSN

1335-2237

e-ISSN

—

Volume of the periodical

14

Issue of the periodical within the volume

1

Country of publishing house

SK - SLOVAKIA

Number of pages

2

Pages from-to

57-58

UT code for WoS article

—

EID of the result in the Scopus database

—