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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

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

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en) 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. 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. (cs)
Title	Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl) Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl) (cs) FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I) (en)
skos:prefLabel	Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl) Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl) (cs) FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I) (en)
skos:notation	RIV/70883521:28140/06:63504368!RIV07-MSM-28140___
http://linked.open.../vavai/riv/strany	69-70
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM7088352102)
http://linked.open...iv/cisloPeriodika	12/06
http://linked.open...vai/riv/dodaniDat	2007
http://linked.open...aciTvurceVysledku	Bližňák, Michal
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Tomáše Bati ve Zlíně / Fakulta aplikované informatiky
http://linked.open...dnocenehoVysledku	476169
http://linked.open...ai/riv/idVysledku	RIV/70883521:28140/06:63504368
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	FSM; finite state machine; code generation; ANSI C; optimization; platform-independent (en)
http://linked.open.../riv/klicoveSlovo	code generation FSM optimization platform-independent finite state machine ANSI C
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[D427260176E5]
http://linked.open...i/riv/nazevZdroje	AT&P Journal
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2006
http://linked.open...v/svazekPeriodika	XIII
http://linked.open...iv/tvurceVysledku	Kolář, Dušan Bližňák, Michal
http://linked.open...n/vavai/riv/zamer	Modeling and Control of Processing Procedures of Natural and Synthetic Polymers
issn	1335-2237
number of pages	2 (xsd:int)
http://localhost/t...ganizacniJednotka	28140

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software