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

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

Namespace Prefixes

PrefixIRI
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F09%3APU86396%21RIV10-GA0-26230___/
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F09%3APU86396%21RIV10-GA0-26230___
rdf:type
n12:Vysledek skos:Concept
dcterms:description
The article is focused on a model-based design and verification of reactive systems. In opposite to common approaches to developing reliable systems, at first a model of a system is constructed in high level visual language, then it is verified on this level of abstraction and consequently a low level code for target platform is generated. In approach discussed in this article an UML statechart formalism is used for construction of the model. This model is translated into Promela model and verified by the SPIN model checker. The article is focused on a model-based design and verification of reactive systems. In opposite to common approaches to developing reliable systems, at first a model of a system is constructed in high level visual language, then it is verified on this level of abstraction and consequently a low level code for target platform is generated. In approach discussed in this article an UML statechart formalism is used for construction of the model. This model is translated into Promela model and verified by the SPIN model checker.
dcterms:title
Model-Based Design and Verification of Reactive Systems Model-Based Design and Verification of Reactive Systems
skos:prefLabel
Model-Based Design and Verification of Reactive Systems Model-Based Design and Verification of Reactive Systems
skos:notation
RIV/00216305:26230/09:PU86396!RIV10-GA0-26230___
n4:aktivita
n13:P
n4:aktivity
P(GD102/09/H042)
n4:cisloPeriodika
5717
n4:dodaniDat
n8:2010
n4:domaciTvurceVysledku
n16:5137799 n16:9829237 n16:9573003
n4:druhVysledku
n11:J
n4:duvernostUdaju
n17:S
n4:entitaPredkladatele
n6:predkladatel
n4:idSjednocenehoVysledku
326734
n4:idVysledku
RIV/00216305:26230/09:PU86396
n4:jazykVysledku
n9:eng
n4:klicovaSlova
model-based design, formal verification, state charts, reactive systems
n4:klicoveSlovo
n10:state%20charts n10:model-based%20design n10:reactive%20systems n10:formal%20verification
n4:kodStatuVydavatele
DE - Spolková republika Německo
n4:kontrolniKodProRIV
[745CCDE1671B]
n4:nazevZdroje
Lecture Notes in Computer Science (IF 0,513)
n4:obor
n18:JC
n4:pocetDomacichTvurcuVysledku
3
n4:pocetTvurcuVysledku
3
n4:projekt
n14:GD102%2F09%2FH042
n4:rokUplatneniVysledku
n8:2009
n4:svazekPeriodika
2009
n4:tvurceVysledku
Hýsek, Jiří Janoušek, Vladimír Češka, Milan
s:issn
0302-9743
s:numberOfPages
8
n15:organizacniJednotka
26230