About: Local Time Specifications of Networked Embedded Systems

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

About: Local Time Specifications of Networked 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	This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications of distributed real-time systems. Moreover, this paper examines how to employ a non-object-oriented specification tool for object-oriented implementations. This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications of distributed real-time systems. Moreover, this paper examines how to employ a non-object-oriented specification tool for object-oriented implementations. (en)
Title	Local Time Specifications of Networked Embedded Systems Local Time Specifications of Networked Embedded Systems (en)
skos:prefLabel	Local Time Specifications of Networked Embedded Systems Local Time Specifications of Networked Embedded Systems (en)
skos:notation	RIV/00216305:26230/06:PU66889!RIV11-MPO-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(FT-TA2/095), P(GA102/05/0467), P(GA102/05/0723), Z(MSM0021630503)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Švéda, Miroslav Vrba, Radimír Očenášek, Pavel
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	483511
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/06:PU66889
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Formal specifications, real time, embedded distributed systems, behavioral specifications (en)
http://linked.open.../riv/klicoveSlovo	real time behavioral specifications embedded distributed systems Formal specifications
http://linked.open...ontrolniKodProRIV	[1F3226D01BBE]
http://linked.open...v/mistoKonaniAkce	Morne
http://linked.open...i/riv/mistoVydani	Los Alamitos
http://linked.open...i/riv/nazevZdroje	Proceedings of the International Conference on Systems (ICONS 2006)
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...vavai/riv/projekt	*Researxch and development of oconomically favourable information and security system for indoor building and modernization of older and especially sectional living buildings. Architectures of Embedded Systems Networks A Framework for Formal Specifications and Prototyping of Information System's Network Applications
http://linked.open...UplatneniVysledku	2006
http://linked.open...iv/tvurceVysledku	Očenášek, Pavel Vrba, Radimír Švéda, Miroslav
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2006-04-23 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Nové trendy v mikroelektronických systémech a nanotechnologiích (MIKROSYN)
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IEEE Computer Society
https://schema.org/isbn	0-7695-2552-0
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Local Time Specifications of Networked Embedded Systems

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