About: Realistic application of formal methods in component systems

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

About: Realistic application of formal methods in component systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=1ET400300504
Description	The project supports component-based application development by combining components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a functional prototype of a platform for formal verification of component application properties, and to propose and test methods for verification of software components and component applications using this platform. The platform will be open to the emerging methods of formal verification and code analysis, and used to test the suitability and applicability of these methods, especially with respect to model checking. The work on the formal verification methods will focus on identifying approaches to make the existing verification tools more efficient, especially in a distributed environment. (en) Projekt podporuje využití komponent jako sílící trend ve vývoji aplikací, a to kombinováním komponent s formálním popisem chování a návrhem nástrojů schopných provést automaticky kontrolu architektury aplikací složených z komponent s formálním popisem chování. Projekt si klade za cíl navrhnout a realizovat platformu pro podporu formální verifikace vlastností komponentových aplikací na úrovni funkčního prototypu a s použitím této platformy navrhnout metody pro verifikaci softwarových komponent a komponentových aplikací a ověřit uplatnění těchto metod. Vytvořená platforma bude otevřená vznikajícím metodám pro formální verifikaci a analýzu kódu a použita pro ověřování vhodnosti a použitelnosti těchto metod, zejména technice model checking. Práce na metodách formální verifikace se budou soustředit na identifikaci postupů, které umožní výrazné zefektivnění stávajících nástrojů pro automatickou verifikaci, zejména v distribuovaném prostředí.
Title	Realistic application of formal methods in component systems (en) Realistická aplikace formálních metod v komponentových systémech
skos:notation	1ET400300504
http://linked.open...avai/cep/aktivita	Information society (National programme of research)
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/1ET400300504/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/1ET400300504/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2010-04-15 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	66083172
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	NV - Aplikovaný výzkum s výjimkou průmyslového výzkumu (tzv. %22neprůmyslový výzkum%22)
http://linked.open.../cep/klicovaSlova	formal verification; behavior description; software components; component systems (en)
http://linked.open...ep/partnetrHlavni	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	1 (xsd:int)
http://linked.open...cep/pocetPrijemcu	3 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	74 (xsd:int)
http://linked.open...enychVysledkuVRIV	74 (xsd:int)
http://linked.open...lneniVMinulemRoce	2009-03-11 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/1ET400300504
http://linked.open...iciPoslednihoRoku	2009
http://linked.open...atUdajeProjZameru	2010
http://linked.open.../vavai/cep/soutez	SAV02005-IS
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2009-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	JC - Počítačový hardware a software
http://linked.open...ep/zahajeniReseni	2005-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	Projekt navrhl, prototypově implementoval a na případových studiích ověřil nové metody formální verifikace vlastností modelů a implementace komponentových systémů založené na formalismech interagujících automatů a rozšířených protokolů chování. (cs) The project has proposed, implemented as a prototype, and on case studies tested multiple new methods of formal verification of component systems (both model and implementation), based on the formalisms of interacting automata and behavior protocols. (en)
http://linked.open...tniCyklusProjektu	ZBBBKU
http://linked.open.../cep/klicoveSlovo	formal verification behavior description software components
is http://linked.open...vavai/riv/projekt of	CoCoME in Fractal The Common Component Modeling Example: Comparing Software Component Models Conceptual Modeling for XML Using DSL for Automatic Generation of Software Connectors Investigating Cache Parameters of x86 Family Processors Real-Time Java in Space: Potential Benefits and Open Challenges UnitCheck: Unit Testing and Model Checking Combined Supporting Real-Life Applications in Hierarchical Component Systems Using a Product Line for Creating Component Systems Assume-Guarantee Verification of Software Components in SOFA 2 Framework DeSpec: Modeling the Windows Driver Environment Automated Construction of Reasonable Environment for Java Components Bridging the Component-Based and Service-Oriented Worlds Reducing Component Systems' Behavior Specification First version of SOFA 2 framework Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results Model Checking of Component Behavior Specification: A Real Life Experience Level-of-Detail in Behaviour of Virtual Humans Behavior Protocols Checker Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results Database Architectures: Current Trends and Their Relationships to Requirements of Practice BP Slicer CoIn Tool Set Component Substitutability via Equivalencies of Component-Interaction Automata Effective verification of systems with a dynamic number of components Microcomponent-Based Component Controllers: A Foundation for Component Aspects Mono Regression Benchmarking A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties Design-Time Reliability Prediction for Software Systems Partial Order Reduction for State/Event LTL Component-Interaction Automata Modelling Language Component Substitutability via Equivalencies of Component-Interaction Automata Component-Interaction Automata as a Verification-Oriented Component-Based System Specification Formal Analysis of Component-Based Systems in View of Comp. Interactions Component Placement in Distributed Environment w.r.t. Component Interaction Subject-observer specification with component-interaction automata Microcomponent-Based Component Controllers: A Foundation for Component Aspects Addressing Unbounded Parallelism in Verification of Software Components Eliminating Execution Overhead of Disabled Optional Features in Connectors Specification and Generation of Environment for Model Checking of Software Components Checking Software Component Behavior using Behavior Protocols and Spin Verification of Software Components: Addressing Unbounded Paralelism Runtime Concepts of Hierarchical Software Components Checking Session-Oriented Interactions between Web Services The power of MOF-based meta-modeling of components Language for reconfiguring runtime infrastructure of component-based systems CoCoTA - Common Component Task Modes in Component Behavior Specification via EBP and their Application in Product Lines Using Connectors to Address Transparent Distribution in Enterprise Systems - Pitfalls and Options Supporting Real-life Applications in Hierarchical Component Systems On Teaching Formal Methods: Behavior Models and Code Analysis Issues in Performance Modeling of Applications with Garbage Collection Runtime Support for Advanced Component Concepts Verification of Software Components: Addressing Unbounded Parallelism Resource Sharing in Performance Models Partial Verification of Software Components: Heuristics for Environment Construction On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties Behavior Protocols Checker Component-Interaction Automata Approach (CoIn) A Case Study in Parallel Verification of Component-Based 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, 40 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software