About: Automated Production-Ready Source Code Design for Embedded Systems

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

About: Automated Production-Ready Source Code Design for Embedded Systems 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 still a special discipline. In many cases, developers are forced to use only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. However, there are several ways leading to more efficient programmers' work. One of those ways leading to speed-up of embedded systems software development process is application of formal-methods. The goal of this article is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively used for designing of embedded application logic. The paper also introduces a unique RAD development environment called State Builder for Processor Expert? able to produce an optimized, platform-independent production-ready source code that fulfills all necessary requirements of embedded systems. Programming of embedded systems is still a special discipline. In many cases, developers are forced to use only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. However, there are several ways leading to more efficient programmers' work. One of those ways leading to speed-up of embedded systems software development process is application of formal-methods. The goal of this article is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively used for designing of embedded application logic. The paper also introduces a unique RAD development environment called State Builder for Processor Expert? able to produce an optimized, platform-independent production-ready source code that fulfills all necessary requirements of embedded systems. (en)
Title	Automated Production-Ready Source Code Design for Embedded Systems Automated Production-Ready Source Code Design for Embedded Systems (en)
skos:prefLabel	Automated Production-Ready Source Code Design for Embedded Systems Automated Production-Ready Source Code Design for Embedded Systems (en)
skos:notation	RIV/70883521:28140/09:63507966!RIV10-MSM-28140___
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM7088352102)
http://linked.open...iv/cisloPeriodika	2
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Bližňák, Michal Vašek, Vladimír Dulík, Tomáš
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	304457
http://linked.open...ai/riv/idVysledku	RIV/70883521:28140/09:63507966
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	FSM; finite state machine; embedded system; code generation; ANSI C; optimization; platform-independent; State Builder; Processor Expert (en)
http://linked.open.../riv/klicoveSlovo	code generation FSM optimization State Builder platform-independent embedded system finite state machine ANSI C Processor Expert
http://linked.open...odStatuVydavatele	IT - Italská republika
http://linked.open...ontrolniKodProRIV	[2E6CF00036D5]
http://linked.open...i/riv/nazevZdroje	International Journal of Factory Automation, Robotics and Soft Computing
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Vašek, Vladimír Bližňák, Michal Dulík, Tomáš
http://linked.open...n/vavai/riv/zamer	Modeling and Control of Processing Procedures of Natural and Synthetic Polymers
issn	1828-6984
number of pages	6 (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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software