This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n5http://linked.opendata.cz/ontology/domain/vavai/
n11http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F70883521%3A28140%2F09%3A63507966%21RIV10-MSM-28140___/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F70883521%3A28140%2F09%3A63507966%21RIV10-MSM-28140___
rdf:type
n5:Vysledek skos:Concept
dcterms: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.
dcterms:title
Automated Production-Ready Source Code Design for Embedded Systems Automated Production-Ready Source Code Design for Embedded Systems
skos:prefLabel
Automated Production-Ready Source Code Design for Embedded Systems Automated Production-Ready Source Code Design for Embedded Systems
skos:notation
RIV/70883521:28140/09:63507966!RIV10-MSM-28140___
n3:aktivita
n18:Z
n3:aktivity
Z(MSM7088352102)
n3:cisloPeriodika
2
n3:dodaniDat
n8:2010
n3:domaciTvurceVysledku
n4:3448665 n4:7813198 n4:8479453
n3:druhVysledku
n14:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n10:predkladatel
n3:idSjednocenehoVysledku
304457
n3:idVysledku
RIV/70883521:28140/09:63507966
n3:jazykVysledku
n12:eng
n3:klicovaSlova
FSM; finite state machine; embedded system; code generation; ANSI C; optimization; platform-independent; State Builder; Processor Expert
n3:klicoveSlovo
n6:ANSI%20C n6:optimization n6:code%20generation n6:Processor%20Expert n6:State%20Builder n6:platform-independent n6:FSM n6:embedded%20system n6:finite%20state%20machine
n3:kodStatuVydavatele
IT - Italská republika
n3:kontrolniKodProRIV
[2E6CF00036D5]
n3:nazevZdroje
International Journal of Factory Automation, Robotics and Soft Computing
n3:obor
n17:JC
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n8:2009
n3:tvurceVysledku
Vašek, Vladimír Dulík, Tomáš Bližňák, Michal
n3:zamer
n11:MSM7088352102
s:issn
1828-6984
s:numberOfPages
6
n15:organizacniJednotka
28140