18,482 research outputs found
A Compositional Semantics for Stochastic Reo Connectors
In this paper we present a compositional semantics for the channel-based
coordination language Reo which enables the analysis of quality of service
(QoS) properties of service compositions. For this purpose, we annotate Reo
channels with stochastic delay rates and explicitly model data-arrival rates at
the boundary of a connector, to capture its interaction with the services that
comprise its environment. We propose Stochastic Reo automata as an extension of
Reo automata, in order to compositionally derive a QoS-aware semantics for Reo.
We further present a translation of Stochastic Reo automata to Continuous-Time
Markov Chains (CTMCs). This translation enables us to use third-party CTMC
verification tools to do an end-to-end performance analysis of service
compositions.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499
DEBS Grand Challenge: Glasgow Automata Illustrated
The challenge is solved using Glasgow automata, concise complex event processing engines executable in the context of a topic-based publish/subscribe cache of event streams and relations. The imperative programming style of the Glasgow Automaton Programming Language (GAPL) enables multiple, efficient realisations of the two challenge queries
Метод синтезу моделей станів об’єктів програмного забезпечення автоматизованої системи обробки цифрових зображень
This article proposes a method for the synthesis of the behavior of software objects models (SOM) for
the developed object-oriented software systems for automated digital image processing in order to avoid
systemic and algorithmic errors in the design phase of a software system, as well as to reduce the time of its
development. The process of constructing the SOM proceeding from its finite-state representation is viewed
from the standpoint of abstract synthesis of an automata’s finite state. Thus, the specialties of the synthesis of
finite automaton SOM, the construction of the map defining a plurality of channels management class of objects,
the order to bring it to an automata, the construction of the canonical set of events and their regular expressions
to display defining a plurality of channels management of software objects class for object oriented software
system are considered and justified. Переважна більшість даних, які обробляються сучасними інфокомунікаційними системами, є
графічними. Істотна частка з них – цифрові зображення, які характеризуються великими обсягами. Таким
чином, виникає потреба їх представлення у компактному вигляді, що забезпечить зменшення
навантаження на канали зв’язку, підвищення оперативності доставки та скорочення обсягів пам’яті,
необхідної для зберігання даних. Вирішенням цієї проблеми є розроблення з використанням об’єктно-
орієнтованої технології автоматизованої системи обробки цифрових зображень (АСОЗ), на етапі
проектування якої постає актуальна задача побудови моделей поведінки екземплярів класів об’єктно-
орієнтованого програмного забезпечення (ООПЗ) задля уникнення системних та алгоритмічних помилок,
а також скорочення часу розроблення. Тож, мета роботи полягає в розробленні метода синтезу моделей
станів програмних об’єктів об’єктно-орієнтованого програмного забезпечення АСОЗ.
Процес побудови моделі станів програмних об’єктів (МСО) ООПЗ, виходячи з її скінченно-
автоматного представлення, розглянуто з погляду абстрактного синтезу скінченного автомата. У роботі
викладені й обґрунтовані особливості синтезу скінченно-автоматної МСО ООПЗ, побудова
відображення, яке визначає множину каналів керування класу об’єктів, та порядок приведення його до
автоматного виду, а також побудова канонічної множини подій і їх регулярних виразів для відображення,
яке визначає множину каналів керування класу програмних об’єктів. На основі отриманих результатів
дослідження запропоновано метод синтезу моделей станів програмних об’єктів ООПЗ.
Запропонований метод забезпечує формалізацію процесу визначення станів та їх взаємозв’язків
у життєвому циклі екземпляра класу ООПЗ, а також дозволяє зменшити трудомісткість процесу
розробки динамічної компоненти комплексної моделі ООПЗ під час її проектування на логічному рівні
Visual Spike-based Convolution Processing with a Cellular Automata Architecture
this paper presents a first approach for
implementations which fuse the Address-Event-Representation
(AER) processing with the Cellular Automata using FPGA and
AER-tools. This new strategy applies spike-based convolution
filters inspired by Cellular Automata for AER vision
processing. Spike-based systems are neuro-inspired circuits
implementations traditionally used for sensory systems or
sensor signal processing. AER is a neuromorphic
communication protocol for transferring asynchronous events
between VLSI spike-based chips. These neuro-inspired
implementations allow developing complex, multilayer,
multichip neuromorphic systems and have been used to design
sensor chips, such as retinas and cochlea, processing chips, e.g.
filters, and learning chips. Furthermore, Cellular Automata is a
bio-inspired processing model for problem solving. This
approach divides the processing synchronous cells which
change their states at the same time in order to get the solution.Ministerio de Educación y Ciencia TEC2006-11730-C03-02Ministerio de Ciencia e Innovación TEC2009-10639-C04-02Junta de Andalucía P06-TIC-0141
CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP
The Internet routing protocol BGP expresses topological reachability and
policy-based decisions simultaneously in path vectors. A complete view on the
Internet backbone routing is given by the collection of all valid routes, which
is infeasible to obtain due to information hiding of BGP, the lack of
omnipresent collection points, and data complexity. Commonly, graph-based data
models are used to represent the Internet topology from a given set of BGP
routing tables but fall short of explaining policy contexts. As a consequence,
routing anomalies such as route leaks and interception attacks cannot be
explained with graphs.
In this paper, we use formal languages to represent the global routing system
in a rigorous model. Our CAIR framework translates BGP announcements into a
finite route language that allows for the incremental construction of minimal
route automata. CAIR preserves route diversity, is highly efficient, and
well-suited to monitor BGP path changes in real-time. We formally derive
implementable search patterns for route leaks and interception attacks. In
contrast to the state-of-the-art, we can detect these incidents. In practical
experiments, we analyze public BGP data over the last seven years
- …