Formální metody vývoje SW aplikované na embedded systémy: základní koncepty

Kód výsledku v IS VaVaI

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

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS

Popis výsledku v původním jazyce

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 can be effectively used for producing of highly optimized source code that fulfills necessary requirements of embedded systems.

Název v anglickém jazyce

FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS

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 can be effectively used for producing of highly optimized source code that fulfills necessary requirements of embedded systems.

Druh

D - Stať ve sborníku

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 statě ve sborníku

Annals of DAAAM for 2006 & Proceedings

ISBN

ISSN 1726-9679

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

45-46

Název nakladatele

DAAAM International Vienna

Místo vydání

Vienna

Místo konání akce

—

Datum konání akce

—

Typ akce podle státní příslušnosti

—

Kód UT WoS článku

—