About: Formal methods in fieldbus specification

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

About: Formal methods in fieldbus specification 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	To design that device requires a cooperation of several engineers: mechanical, electrical, software etc. They use different descriptive methods (drawing, electric-diagram, math equation, programming language, etc.) with the aim to achieve the best performance of their components. However, user is not interested in well-designed washing-program but in well-designed washing machine. Therefore, not only high expertise of engineers in their branches, but also close cooperation among them is strictly necessaary. Washing machine is a simple example because it is an embedded system. Let us look at more complex system: factory automation system based on Profibus DP industrial bus. In this case tens of different bus segments with hundreds of different bus devices of different manufacturers are used. This heterogeneous structure is always unique - every case of automation system is different. How to proof that designed system will ever operate or will operate with required parameters or without serious failures To design that device requires a cooperation of several engineers: mechanical, electrical, software etc. They use different descriptive methods (drawing, electric-diagram, math equation, programming language, etc.) with the aim to achieve the best performance of their components. However, user is not interested in well-designed washing-program but in well-designed washing machine. Therefore, not only high expertise of engineers in their branches, but also close cooperation among them is strictly necessaary. Washing machine is a simple example because it is an embedded system. Let us look at more complex system: factory automation system based on Profibus DP industrial bus. In this case tens of different bus segments with hundreds of different bus devices of different manufacturers are used. This heterogeneous structure is always unique - every case of automation system is different. How to proof that designed system will ever operate or will operate with required parameters or without serious failures (en)
Title	Formal methods in fieldbus specification Formal methods in fieldbus specification (en)
skos:prefLabel	Formal methods in fieldbus specification Formal methods in fieldbus specification (en)
skos:notation	RIV/00216305:26220/03:PU37569!RIV/2004/MSM/262204/N
http://linked.open.../vavai/riv/strany	28-33
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM 262200022)
http://linked.open...vai/riv/dodaniDat	2004
http://linked.open...aciTvurceVysledku	Kučera, Pavel Zezulka, František
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 elektrotechniky a komunikačních technologií
http://linked.open...dnocenehoVysledku	607562
http://linked.open...ai/riv/idVysledku	RIV/00216305:26220/03:PU37569
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Formal Methods, Industrial Communication, Profibus DP, ESTELLE, VHDL (en)
http://linked.open.../riv/klicoveSlovo	VHDL Profibus DP ESTELLE Formal Methods Industrial Communication
http://linked.open...ontrolniKodProRIV	[2C2AA5033C53]
http://linked.open...v/mistoKonaniAkce	Orlando
http://linked.open...i/riv/mistoVydani	Orlando
http://linked.open...i/riv/nazevZdroje	SCI 2003 Conference
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...UplatneniVysledku	2003
http://linked.open...iv/tvurceVysledku	Kučera, Pavel Zezulka, František
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2003-07-27 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200022
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	International Institute of Informatics and Systemics
http://localhost/t...ganizacniJednotka	26220

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