About: A Case Study in Parallel Verification of Component-Based Systems

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

About: A Case Study in Parallel Verification of Component-Based 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	In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. In our approach, we employ parallel LTL-like model checking to handle the size of the model. We present the results of the actual application of the technique to the verification of a complex model of a real system created within the CoCoME Modelling Contest. In this case study, we check the validity of the model and the correctness of the system via checking various temporal properties. We concentrate on the component-specific properties, like local deadlocks of components, and correctness of given use-case scenarios. In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. In our approach, we employ parallel LTL-like model checking to handle the size of the model. We present the results of the actual application of the technique to the verification of a complex model of a real system created within the CoCoME Modelling Contest. In this case study, we check the validity of the model and the correctness of the system via checking various temporal properties. We concentrate on the component-specific properties, like local deadlocks of components, and correctness of given use-case scenarios. (en)
Title	A Case Study in Parallel Verification of Component-Based Systems A Case Study in Parallel Verification of Component-Based Systems (en)
skos:prefLabel	A Case Study in Parallel Verification of Component-Based Systems A Case Study in Parallel Verification of Component-Based Systems (en)
skos:notation	RIV/00216224:14330/08:00024171!RIV11-MSM-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET400300504), P(1ET408050503), Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika	2
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Beneš, Nikola Černá, Ivana Sochor, Jiří Moravcová Vařeková, Pavlína Bühnová, Barbora
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	354070
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/08:00024171
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Component-based systems; formal verification; parallel model checking (en)
http://linked.open.../riv/klicoveSlovo	Component-based systems formal verification parallel model checking
http://linked.open...odStatuVydavatele	HU - Maďarsko
http://linked.open...ontrolniKodProRIV	[3FF76F6C8DF5]
http://linked.open...i/riv/nazevZdroje	Electronic Notes in Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Techniques for automatic verification and validation of software and hardware systems Realistic application of formal methods in component systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...v/svazekPeriodika	220
http://linked.open...iv/tvurceVysledku	Beneš, Nikola Sochor, Jiří Černá, Ivana Bühnová, Barbora Moravcová Vařeková, Pavlína
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	1571-0661
number of pages	16 (xsd:int)
http://localhost/t...ganizacniJednotka	14330

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