Filters








56,136 Hits in 5.2 sec

Model Construction and Priority Synthesis for Simple Interaction Systems [chapter]

Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess
2011 Lecture Notes in Computer Science  
The generated constraints define priorities between interactions and are therefore well-suited for conflict resolution between components.  ...  VissBIP is a software tool for visualizing and automatically orchestrating component-based systems consisting of a set of components and their possible interactions.  ...  Evaluation and Summary In this paper, we present a tool for constructing simple BIP systems together with a technique called priority synthesis, which automatically adds priorities over interactions to  ... 
doi:10.1007/978-3-642-20398-5_34 fatcat:zlbzdieyanhipeiq6d4m5rrmsa

On the Hardness of Priority Synthesis [chapter]

Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll
2011 Lecture Notes in Computer Science  
Priorities are a powerful concept to orchestrate components [3], e.g., the BIP 1 framework [1] for designing and modeling embedded and autonomous systems is based on this concept.  ...  We formulate priority synthesis for BIP systems using the automatatheoretic framework proposed by Ramadge and Wonham [5] .  ...  Formulating BIP Models and Priority Synthesis Based on Transition Systems In this section, we first translate simple BIP models (Section 2) into automata, i.e., the logical discrete-event system (DES)  ... 
doi:10.1007/978-3-642-22256-6_11 fatcat:hv4afikrgnhf7gdfcnvybzmq7e

Meta-synthesis approach to exploring constructing comprehensive transportation system in China

Xi-jin Tang, Kun Nie, Yi-jun Liu
2005 Journal of Systems Science and Systems Engineering  
Structured Open Complex Giant System vs. Simple System Wicked vs.  ...  II Theory, principles and approaches to constructing a comprehensive transportation system Modeling with consideration of national defense and security, sustainable development and economic growth  ...  (2) Reduce railway price (217 -> 150), weight of economic (3 -> 4) (3) Comfort weight in Highway reduces (3 -> 4) (4) Set capacity for Railway  ... 
doi:10.1007/s11518-006-0206-7 fatcat:aj25wcj7f5d4vlq3dcllbnku5m

Distributed Priority Synthesis and its Applications [article]

Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess, Christian Buckl, Alois Knoll
2012 arXiv   pre-print
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, the set of possible interactions  ...  We formally define the problem of distributed priority synthesis in terms of a multi-player safety game between players for (angelically) selecting the next transition of the components and an environment  ...  Daniel Le Berre for his kind support in guiding the use of SAT4J, and Mr. Hardik Shah for proposing the scenario listed in Section I.  ... 
arXiv:1112.1783v2 fatcat:yylwdde5irf5poa2pmxo7filee

Compositional Temporal Synthesis

Moshe Y. Vardi
2012 2012 Ninth International Conference on Quantitative Evaluation of Systems  
What Good is Model Checking?  ...  Model Checking: • Given: Program P , Specification ϕ. • Task: Check that P |= ϕ Success: • Algorithmic methods: temporal specifications and finite-state programs. • Also: Certain classes of infinite-state  ...  Components I: Transducers Transducer: A simple model of a reactive system -a finite-state machine with inputs and outputs (Moore machine). • Transducers are receptive. • Output depends on state alone.  ... 
doi:10.1109/qest.2012.39 dblp:conf/qest/Vardi12 fatcat:7ytzkyl2argdfndnm44zkoly4m

Algorithms for Synthesizing Priorities in Component-Based Systems [chapter]

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
2011 Lecture Notes in Computer Science  
to ignore components, and (c) automated assumption learning for compositional priority synthesis.  ...  For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and -deadlock  ...  Component-Based Modeling and Priority Synthesis Behavioral-Interaction-Priority Framework The Behavior-Interaction-Priority (BIP) framework 2 provides a rigorous componentbased design flow for heterogeneous  ... 
doi:10.1007/978-3-642-24372-1_12 fatcat:hseg2zm5ibgklpdejruazyoyqe

Algorithms for Synthesizing Priorities in Component-based Systems [article]

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
2011 arXiv   pre-print
to ignore components, and (c) automated assumption learning for compositional priority synthesis.  ...  For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and #-deadlock  ...  We summarize related work and conclude with an algorithmic flow in Section VII and VIII. II. COMPONENT-BASED MODELING AND PRIORITY SYNTHESIS A.  ... 
arXiv:1107.1383v2 fatcat:pz5knxfmavbz5dkppagtaywltu

Priority-Pointing Procedure and Its Application to an Intercultural Trust Project [chapter]

Rong Du, Shizhong Ai, Cathal M. Brugha
2009 Communications in Computer and Information Science  
We find that PPP is useful for defining variables and identifying imbalances.  ...  In the Western cultural background, the Priority-Pointing Procedure (PPP), which is a qualitative research-based diagnostic procedure, has been proven to be able to point to a priority for action by measuring  ...  in information collection, model integration and opinion synthesis.  ... 
doi:10.1007/978-3-642-02298-2_45 fatcat:u3eey3svizgb3eoirtsa2a37iu

Distributed Priority Synthesis

Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
2012 Electronic Proceedings in Theoretical Computer Science  
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, the set of possible interactions  ...  We formally define the problem of distributed priority synthesis in terms of a multi-player safety game between players for (angelically) selecting the next transition of the components and an environment  ...  and goals, and the orchestration techniques based on distributed priority synthesis construct corresponding goal-oriented assemblies of interacting components [22] .  ... 
doi:10.4204/eptcs.102.7 fatcat:zrzhtat2snfxlkekv3qqaxg5hi

Towards verified synthesis of ProCom, a component model for real-time embedded systems

Etienne Borde, Jan Carlson
2011 Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering - CBSE '11  
The component model considered in this paper, called ProCom, relies on an asynchronous operational semantics and a formal hypothesis of atomic and instantaneous interactions between components.  ...  This is all the more difficult in the domain of embedded systems since the considered semantics usually aims at characterizing both functional properties (e.g. data and control dependencies) and non-functional  ...  Acknowledgements This work was partially supported by the Swedish Foundation for Strategic Research via the strategic research centre Progress, and by the Swedish Research Council project Contesse (2010  ... 
doi:10.1145/2000229.2000248 dblp:conf/cbse/BordeC11 fatcat:cmo4fi7h6bbrjis2jms3dza3yy

Synthesizing hardware from dataflow programs: An MPEG-4 simple profile decoder case study

Jorn W. Janneck, Ian D. Miller, David B. Parlour, Ghislain Roquier, Matthieu Wipliez, Mickael Raulet
2008 2008 IEEE Workshop on Signal Processing Systems  
Such language has been specifically designed for modelling complex signal processing systems.  ...  Results on a real design case, a MPEG-4 Simple Profile decoder, show that systems obtained with the hardware code generator outperform the hand written VHDL version both in terms of performance and resource  ...  A language modelling complex systems should also provide a support for analysis and synthesis. SystemC is mainly used for simulation because it is not synthesisable in its whole generality.  ... 
doi:10.1109/sips.2008.4671777 dblp:conf/sips/JanneckMPRWR08 fatcat:ev5nhvqmunauzhjveqbzke2ehq

REFLIX: A Processor Core for Reactive Embedded Applications [chapter]

Zoran Salcic, Morteza Biglari-Abhari, Abbas Bigdeli
2002 Lecture Notes in Computer Science  
Efficient and reliable interaction with the environment (reactivity) is a key feature for many embedded system applications.  ...  The new processor core, called REFLIX (Reactive FLIX), guarantees at most one instruction cycle delay for priority resolution and preemption and supports design style for reactive applications used in  ...  The environment interaction model of a reactive programming language Esterel [3] for embedded systems inspires this mechanism.  ... 
doi:10.1007/3-540-46117-5_97 fatcat:6dpco2q7z5abdnhlldbc5vxgbu

The Compositional Specification of Timed Systems — A Tutorial [chapter]

Joseph Sifakis
1999 Lecture Notes in Computer Science  
The construction of timed models of reactive systems raises some important questions concerning their composition and in particular, the way some wellunderstood constructs for untimed systems can be extended  ...  Priority choice operators Priority is a very useful concept for modeling interrupts or preemption in realtime systems.  ... 
doi:10.1007/3-540-48683-6_2 fatcat:wajksaoz3bgtpjou5bipl5qhey

Feature-oriented Modeling for Collaborative Virtual Environment Construction

Xin Zhao
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Collaborative Virtual Environments (CVEs) introduce significant improvements to communication and interaction by offering a simulated visualization for data representation and synchronized exchange.  ...  The objective of this Ph.D. investigation is to provide a step-wise collaborative environment construction approach for end-users, thus allowing non-experts to create CVEs simply by choosing system features  ...  In order to simplify the construction process and avoid construction problems (e.g., feature interaction [14] may violate cross-tree dependencies), we propose a step-wise construction for CVEs from a  ... 
dblp:conf/models/Zhao17 fatcat:fxsuy76v6zbs7eygdffg7vmtvm

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems [chapter]

Simon Bliudze, Joseph Sifakis
2011 Lecture Notes in Computer Science  
In a previous paper, we have proposed a simple format for SOS rules that captures, in particular, glue operators from known frameworks such as CCS, SCCS, CSP, and BIP.  ...  This paper studies a new way for characterizing glue operators: as boolean glue constraints between interactions (sets of ports) and the state of the coordinated components.  ...  Constraints, FWN, and BIPBIP [1, 7] is a component framework for constructing systems by superposing three layers of modeling: Behavior, Interaction, and Priorities.  ... 
doi:10.1007/978-3-642-22045-6_4 fatcat:cnsuofdynrg7xgqlgasindhhuu
« Previous Showing results 1 — 15 out of 56,136 results