43,969 Hits in 4.0 sec

Generation of concurrency control code using discrete-event systems theory

Christopher Dragert, Juergen Dingel, Karen Rudie
2008 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16  
using control theory (Discrete-event System) DES -Supervisor-Plant • System(Plant) modelled as a finite-state automaton (FSA) • Transitions in FSA are called events -Events can be controllable  ...  T1-finish, T2-start, T3-start T1-finish, T2-start, T3-start, T4-start, T5-finish Introduction • Automatic generation of concurrency control code • Input -Source code without concurrency control  ... 
doi:10.1145/1453101.1453122 dblp:conf/sigsoft/DragertDR08 fatcat:kg57svsmvbc7xd2sgdqfclg7ki

Combining Model Checking and Discrete-Event Supervisor Synthesis

Nicolas Chausse, Helen Xu, Juergen Dingel, Karen Rudie
2011 Electronic Communications of the EASST  
We present an approach to facilitate the design of provably correct concurrent systems by recasting recent work that uses discrete-event supervisor synthesis to automatically generate concurrency control  ...  Given a concurrent Promela program C devoid of any concurrency control and an informal specification E_in , the preparation step is assumed to yield a formal specification E of the allowed system behaviours  ...  Consider, for instance, Discrete-Event Systems (DES) control theory, a branch of control theory which is concerned with the Supervisory Control Problem (SCP), i.e., the automatic synthesis of a supervisor  ... 
doi:10.14279/tuj.eceasst.46.686 dblp:journals/eceasst/ChausseXDR11 fatcat:c2jaqtyygzauhgs2rnfwxpzvzu

Concurrent Design of Embedded Control Software

Marcel Groothuis, Raymond Frijns, Jeroen Voeten, Jan Broenink
2009 Electronic Communications of the EASST  
allows a fast integration phase by using automatic code synthesis.  ...  The case study was executed using our embedded control system design methodology which employs a concurrent systematic model-based design approach that ensures a concurrent design process, while it still  ...  Discrete Event Control Software Design For the design of the discrete event control of the production cell, a top-down approach is used, where initial abstract models are extended with more details in  ... 
doi:10.14279/tuj.eceasst.21.284 dblp:journals/eceasst/GroothuisFVB09 fatcat:b2d762jtlnewlnkxpny4ivxviq

The role of supervisory controller synthesis in automatic control software development

Jos Baeten, Jasen Markovski
2015 Science of Computer Programming  
h i g h l i g h t s • We discuss the role of supervisor synthesis in automated software code generation. • The proposed approach is systematic and based on process theory. • We implemented a model-based  ...  In this paper, we would like to point to one model-driven systems engineering approach, referred to as supervisory controller synthesis, which targets discrete-event control software for high-tech and  ...  Supervisory controllers observe and coordinate the discrete-event behavior of the concurrently running components of the system.  ... 
doi:10.1016/j.scico.2013.11.016 fatcat:e4enholjbvaezply45oa4znezm

SCADE: Synchronous Design and Validation of Embedded Control Software [chapter]

Gérard Berry
2007 Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems  
The SCADE KCG compiler is certified at the highest level of avionics certification, which suppresses the need for generated code unit testing.  ...  It has gateways to many other tools ranging from system-level specification to performance analysis.  ...  Acknowledgements: the author thanks the various people involved in the design, development, and usage of SCADE: P. Caspi and N. Halbwachs who created Lustre, J-L. Bergerand and E.  ... 
doi:10.1007/978-1-4020-6254-4_2 fatcat:r5krrlpycbaltlyexzhvzjem2u

The application of supervisory control to deadlock avoidance in concurrent software

Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stephane Lafortune
2008 2008 9th International Workshop on Discrete Event Systems  
The methodology is based on supervisory control of discrete event systems modeled by Petri nets.  ...  Specifically, we synthesize feedback controllers for concurrent programs based on the theory of supervision based on place invariants and implement the controllers online to guarantee deadlock avoidance  ...  We believe that supervisory control methods developed in the field of discrete event systems offer considerable promise in many computer systems problems, provided suitable models can be built and scalability  ... 
doi:10.1109/wodes.2008.4605961 fatcat:kmsncptxbjc3pcjpxhbx2necju

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets [chapter]

Stéphane Lafortune, Yin Wang, Spyros Reveliotis
2013 Lecture Notes in Computer Science  
The feedback control logic is synthesized using techniques from supervisory control of discrete event systems, where the specification captures the avoidance of certain types of concurrency bugs, such  ...  The Gadara process involves three stages: modeling of the source code at compile time in the form of a Petri net, feedback control synthesis, and control logic implementation into the source code.  ...  systems with discrete state spaces, i.e., Discrete Event Systems (DES).  ... 
doi:10.1007/978-3-642-38697-8_2 fatcat:ypak52fslndspaekchh5cfynru

A Constraint-Based Framework for Prototyping Distributed Virtual Applications [chapter]

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
2000 Lecture Notes in Computer Science  
In general, precise virtual simulation of physical artifacts in collaborative spaces naturally leads to hybrid systems. Concurrency: Concurrency is omnipresent in the above collection of examples.  ...  Introduction The focus of this paper is rapid prototyping in the domain of systems that include hybrid components, concurrency and reactivity, (virtual/code) mobility and distribution.  ...  -The controller is responsible for converting logical events to pieces of Hybrid cc code that are uploaded to the simulator for controlling the scene.  ... 
doi:10.1007/3-540-45349-0_16 fatcat:5fvlvv4f2vhsvjkk77vrr7bpda

Petri Net as a Manufacturing System Scheduling Tool [chapter]

Tauseef Aized
2010 Advances in Petri Net Theory and Applications  
Therefore, Petri nets can be regarded as a powerful mathematical and graphical tool for design of various discrete events systems.  ...  These practical conditions such as material handling capacity, complex resource sharing and routing, and sophisticated discrete-event dynamics are very difficult to be mathematically and concisely described  ...  These characteristics are difficult to describe using traditional control theory which deals with systems of continuous or synchronous discrete variables modeled by differential or difference equations  ... 
doi:10.5772/10294 fatcat:6yz3oqrjtzbgbhrwp2kwxva54u

The Modular Simulation Language (MODSIM) -A Powerful Tool for Computer Simulation

Juliana Karakaneva
1999 Information & Security An International Journal  
use of discrete events.  ...  There are two general categories of computer simulation: continuous simulation and discrete-event simulation.  ... 
doi:10.11610/isij.0309 fatcat:5ovp33y2uraqvbsk5eh7fhsox4


Stephen A. Edwards
2003 ACM Transactions on Design Automation of Electronic Systems  
Embedded systems often include a traditional processor capable of executing sequential code, but both control and data-dominated tasks are often more naturally expressed using one of the many domain-specific  ...  This article surveys a variety of techniques for translating these concurrent specifications into sequential code.  ...  Verilog, the only language in this list specifically designed to model hardware, uses the discrete-event model of concurrency.  ... 
doi:10.1145/762488.762489 fatcat:pbzmvehdsje25fnzvk6bho2pyq

Page 519 of Mathematical Reviews Vol. , Issue 2002A [page]

2002 Mathematical Reviews  
general) that allows us to build new rules from old ones.  ...  Every local language is p,()-discrete for some n > |. 2-codes are exactly the p;(1)-discrete languages We investigate properties of p,,(m)-discrete and p;(n)-discrete lan- guages.  ... 

Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project

Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence P. Kelly, Stéphane Lafortune, Scott Mahlke, Spyros A. Reveliotis
2010 IFAC Proceedings Volumes  
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques.  ...  We describe our strategy for run-time implementation of these control policies, especially by a technique known as code instrumentation.  ...  been interest in applying analysis and control synthesis techniques from the field of Discrete Event Systems (DES) to software systems and embedded systems; see, e.g., (Liu et al., 2006; Dragert et al  ... 
doi:10.3182/20100830-3-de-4013.00044 fatcat:yyis6jktzvabbakj4t5dahqiqq

Page 8735 of Mathematical Reviews Vol. , Issue 2002K [page]

2002 Mathematical Reviews  
Kucerovsky, An architecture of a Petri net based event- driven controller (383-390); Nidhal Rezg, Xiaolan Xie and Asma Ghaffari, Supervisory control in discrete event systems using the theory of regions  ...  Cury, Modular su- pervisory control of large scale discrete event systems (103-110); Tae-Sic Yoo and Stéphane Lafortune, A general architecture for decentralized supervisory control of discrete-event systems  ... 

Discrete control for safe execution of IT automation workflows

Yin Wang, Terence Kelly, Stéphane Lafortune
2007 ACM SIGOPS Operating Systems Review  
This paper applies discrete control theory to IT automation workflows.  ...  We have implemented a discrete control module for a real IT automation system.  ...  We thank Arif Merchant, Kimberly Keeton and Brian Noble for comments that helped us improve the paper. We also thank the reviewers for their useful comments and suggestions.  ... 
doi:10.1145/1272998.1273028 fatcat:ix7lqspxljegfibpcqzj2yq424
« Previous Showing results 1 — 15 out of 43,969 results