• Home
  • Search
  • Automatic Synthesis and Deployment of Intensional Kahn Process Networks
  • Cite Icon5
  • https://doi.org/10.1007/978-3-642-10549-4_10Copy DOI Icon

Automatic Synthesis and Deployment of Intensional Kahn Process Networks

  • Jan 1, 2009
  • Manuel Peralta +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

In this paper we introduce and study, theoretically, a clean slate “formal” foundational approach for developing and deploying high-assurance distributed embedded systems deployed in mission-critical applications. We propose a simple formal distributed asynchronous framework extending Kahn Process Networks with intensional specification. More precisely, we present a model-driven approach based on a platform-independent language and an intensional specification logic that allows us to synthesize distributed agents that can handle interactions with external resources asynchronously, ensure enforcement of information flow and security policies, and have the ability to deal with failures of resources. Our approach allows rapid development and automated deployment of formally verified embedded networked systems that provide guarantees that clients’ requirements will be met and QoS guarantees will be respected. Moreover, it allows modeling (and programming) reliable distributed systems for multi-core hosts. Such a capability makes our framework suitable for next generation grid computing systems where multi-core individual hosts need to be utilized for improving scalability.Given an intensional logical specification of a distributed embedded system, that includes Quality of Service (QoS) requirements, a set of software resources and devices available in a network, and their formal interface specifications, a deductive system can automatically generate distributed extended Kahn processes and their deployment information in such a way that the application requirements—including QoS requirements—are guaranteed to be met. The generated processes use the inputs of the sensors/meters/probes and the management policies of the customer to generate real-time control decisions for managing the system. The processes are deployed automatically on a distributed network involving sensors/meters/probes tracking system parameters, actuators controlling devices, and diverse computing and communication elements such as PDA’s, etc.KeywordsWireless Sensor NetworkService CompositionPolice DepartmentOperational SemanticNatural DeductionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Similar Papers
  • PDF
  • Research Article
  • Citations2

FP/FIFO scheduling: coexistence of deterministic and probabilistic QoS guarantees

  • Jan 01, 2007
  • Discrete Mathematics & Theoretical Computer Science
  • Pascale Minet +3
  • Conference Article
  • Citations4

On multicast transfer of hierarchically coded video with QoS guarantees

  • Feb 18, 1999
  • N Wakamiya +3
  • Conference Article
  • Citations6

Influence of High Priority Users on the System Capacity of Mobile Networks

  • Mar 01, 2007
  • Andreas Fernekess +3
  • Research Article
  • Citations6

An Evolutionary Game-Theoretic Approach for Base Station Allocation in Wireless Femtocell Networks

  • Mar 27, 2019
  • Wireless Personal Communications
  • Azadeh Pourkabirian +3
  • Research Article
  • Citations3

NoisyNet-DDQN-Based Sequential Handoff Algorithm for UAV Networks with End-to-End Network Slicing

  • Jan 01, 2025
  • IEEE Transactions on Vehicular Technology
  • Feng Yang +5
  • Research Article

차등 서비스 네트워크에 대한 성능 분석과 합성에 대한 연구

  • Feb 01, 2002
  • The KIPS Transactions:PartC
  • Yong-Hui Jeon +1
  • Conference Article
  • Citations9

A Model and Methodology for Composition QoS Analysis of Embedded Systems

  • Mar 07, 2005
  • Hui Ma +4
  • Research Article
  • Citations23

ETXOP: A resource allocation protocol for QoS-sensitive services provisioning in 802.11 networks

  • Oct 17, 2006
  • Performance Evaluation
  • Adlen Ksentini +3
  • Research Article
  • Citations9

Energy-efficient user association in heterogeneous networks with M2M/H2H coexistence under QoS guarantees

  • Dec 01, 2015
  • China Communications
  • Hui Tian +4
  • Research Article

Enhancing enhanced distributed channel access function based on cross-layer information for multirate wireless networks

  • Dec 01, 2007
  • IET Communications
  • B.-H Lee +1
  • Conference Article
  • Citations4

QOF: QoS Framework Based on OpenFlow

  • Apr 01, 2015
  • Yongtao Zhang +3
  • Research Article
  • Citations8

Quality of service supporting downlink scheduling scheme in worldwide interoperability for microwave access wireless access systems

  • Jan 05, 2010
  • IET Communications
  • T Kim +1
  • PDF
  • Research Article
  • Citations35

QoS priority-based dynamic frequency band allocation algorithm for load balancing and interference avoidance in 3GPP LTE HetNet

  • Nov 12, 2014
  • EURASIP Journal on Wireless Communications and Networking
  • Zeeshan Kaleem +2
  • Research Article
  • Citations1

A study on fog computing architectures and energy consumption approaches regarding QoS requirements

  • Jan 01, 2020
  • International Journal of Grid and Utility Computing
  • Amel Ksentini +2
  • Conference Article
  • Citations1

Optimum design of MIMO relay with single/multiple users under QoS requirements

  • Sep 01, 2012
  • Yujie Han +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.