About: Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation

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

About: Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation 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	The aim of this chapter is to show, how a multitasking real-time application running under a real-time operating system can be modeled by timed automata. The application under consideration consists of several preemptive tasks and interrupt service routines that can be synchronized by events and can share resources. A real-time operating system compliant with an OSEK/VDX standard is considered for demonstration. A model checking tool UPPAAL is used to verify time and logical properties of the proposed model. Since the complexity of the model-checking verification exponentially grows with the number of clocks used in a model, the proposed model uses only one clock for measuring execution time of all modeled tasks. The aim of this chapter is to show, how a multitasking real-time application running under a real-time operating system can be modeled by timed automata. The application under consideration consists of several preemptive tasks and interrupt service routines that can be synchronized by events and can share resources. A real-time operating system compliant with an OSEK/VDX standard is considered for demonstration. A model checking tool UPPAAL is used to verify time and logical properties of the proposed model. Since the complexity of the model-checking verification exponentially grows with the number of clocks used in a model, the proposed model uses only one clock for measuring execution time of all modeled tasks. (en)
Title	Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation (en)
skos:prefLabel	Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation (en)
skos:notation	RIV/68407700:21230/09:00165486!RIV10-MSM-21230___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(1M0567), P(FT-TA3/044)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Hanzálek, Zdeněk Waszniowski, Libor
http://linked.open.../riv/druhVysledku	B - Odborná kniha
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	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	304809
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/09:00165486
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Verification; Model-checking; Timed automata; OSEK/VDX; Multitasking; Real-time; Operating system (en)
http://linked.open.../riv/klicoveSlovo	Verification Operating system Real-time Multitasking Timed automata Model-checking OSEK/VDX
http://linked.open...ontrolniKodProRIV	[9FD38AFE72CB]
http://linked.open...i/riv/mistoVydani	Hershey
http://linked.open...i/riv/nazevZdroje	Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...v/pocetStranKnihy	494 (xsd:int)
http://linked.open...cetTvurcuVysledku	59 (xsd:int)
http://linked.open...vavai/riv/projekt	Centre for Applied Cybernetics *Module solution of FLY-BY-WIRE control system for light, jet aircraft.
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Hanzálek, Zdeněk Waszniowski, Libor
number of pages	494 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IGI Publishing
https://schema.org/isbn	978-1-60566-750-8
http://localhost/t...ganizacniJednotka	21230
is http://linked.open...avai/riv/vysledek of	Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software