FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE

Result code in IS VaVaI

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

Alternative codes found

RIV/00216305:26230/06:PU67230

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE

Original language description

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.

Czech name

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

Czech description

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.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2006

Confidentiality

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

Article name in the collection

MITIP 2006 Proceedings

ISBN

963-86586-5-7

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

487-492

Publisher name

Hungarian Academy of Sciences, Computer and Automation Res.

Place of publication

Budapest

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—