Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses

The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, Calonge, Federico, Dubinsky, Manuel
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2018
Materias:
Ciencias Informáticas
open systems
behavioral specifications
synthesis
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/73271
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-73271
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
open systems
behavioral specifications
synthesis
spellingShingle Ciencias Informáticas
open systems
behavioral specifications
synthesis
Asteasuain, Fernando
Calonge, Federico
Dubinsky, Manuel
Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
topic_facet Ciencias Informáticas
open systems
behavioral specifications
synthesis
description The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
Calonge, Federico
Dubinsky, Manuel
author_facet Asteasuain, Fernando
Calonge, Federico
Dubinsky, Manuel
author_sort Asteasuain, Fernando
title Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_short Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_full Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_fullStr Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_full_unstemmed Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_sort exploring specification pattern based behavioral synthesis with scenario clauses
publishDate 2018
url http://sedici.unlp.edu.ar/handle/10915/73271
work_keys_str_mv AT asteasuainfernando exploringspecificationpatternbasedbehavioralsynthesiswithscenarioclauses
AT calongefederico exploringspecificationpatternbasedbehavioralsynthesiswithscenarioclauses
AT dubinskymanuel exploringspecificationpatternbasedbehavioralsynthesiswithscenarioclauses
bdutipo_str Repositorios
_version_ 1764820483814981634

Ejemplares similares