Filters








3,691 Hits in 3.7 sec

Compiling Real-time Scenarios into a Timed Automaton [chapter]

Aziz Salah, Rachida Dssouli, Guy Lapalme
Formal Techniques for Networked and Distributed Systems  
Keywords: In this paper, we aim at synthesizing an executable specification for a real-time system by integrating real-time scenarios into a timed automaton.  ...  A scenario represents a partial description of a system behavior. A formal semantics is given for the model of a scenario and is used to compile a scenario into a timed automaton.  ...  C O N C L U S I O N In this paper, our main contribution is the development of an algorithm for compiling many real-time scenarios into a single timed automaton which represents an executable prototype  ... 
doi:10.1007/0-306-47003-9_9 fatcat:s5onhiez5bbvpczpajfeaqb5fm

Models of concurrent program running in resource constrained environment

D.V. Rahozin, Institute of Software Systems NAS of Ukraine
2020 PROBLEMS IN PROGRAMMING  
Several software samples are considered: real time operational systems, video processing including object recognition, neural network inference, common linear systems solving methods for physical processes  ...  The paper considers concurrent program modeling using resource constrained automatons.  ...  Real-time firmware.  ... 
doi:10.15407/pp2020.02-03.149 fatcat:utpufnlqgjc6floc3biunxzlrq

Unification of Publish/Subscribe Systems and Stream Databases [chapter]

Joseph Sventek, Alexandros Koliousis
2012 Lecture Notes in Computer Science  
The paper describes the architecture for this unified system, the automaton programming language that it supports, and the run-time system that animates automata.  ...  A growing number of hybrid complex event detection scenarios require features of both technologies.  ...  In many deployment scenarios, these actions need to be done in real-time. This paper describes a topic-based publish/subscribe cache to facilitate such real-time processing.  ... 
doi:10.1007/978-3-642-35170-9_15 fatcat:w43kejl4anbmtf577uaw4a45dm

On the Automated Implementation of Time-Based Paxos Using the IOA Compiler [chapter]

Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial
2010 Lecture Notes in Computer Science  
We have extended the IOA compiler to support a version of the GTA model, which uses time-passage actions such as ν(t), to model the passage of time by t time units.  ...  Our approach in ensuring correct implementation is to use a verified automated translator to compile a source specification that has been proven to be itself correct.  ...  The compiler translates IOA code into Java code.  ... 
doi:10.1007/978-3-642-17653-1_19 fatcat:hzmjlunogncgrdrqau2o5pkdze

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
2015 2015 15th International Conference on Application of Concurrency to System Design  
We also presented an approach for the low-latency and real-time performance of scenarios by synthesizing validated scenarios into FPGAS.  ...  Thus, each time a scenario is written or modified, it must be translated into a HTSPN to be executed.  ... 
doi:10.1109/acsd.2015.8 dblp:conf/acsd/AriasDR15 fatcat:dn7ohmiayrhwbo2m5ghpytrgpy

Why Cyber-physical Production Systems Need a Descriptive Engineering Approach – A Case Study in Plug & Produce

Jens Otto, Steffen Henning, Oliver Niggemann
2014 Procedia Technology - Elsevier  
Step 5: The generated synchronised signals are used to generate a new hybrid timed automaton. The newly generated hybrid timed automaton reflects the real time behaviour of the filling process.  ...  Step 4: Before execution, the hybrid timed automaton is transformed into control code. Each transition has a sensor condition.  ... 
doi:10.1016/j.protcy.2014.09.083 fatcat:vzh4cpda7fd23e3jgixub3tdm4

From multi-modal scenarios to code

Shahar Maoz, David Harel
2006 Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14  
Specifically, we show how to compile multi-modal scenario-based specifications, given in the visual language of Live Sequence Charts (LSC), into what we call Scenario Aspects, implemented in AspectJ.  ...  We demonstrate our compilation scheme using a small application whose inter-object behaviors are specified using LSCs.  ...  In addition, we would like to thank Gera Weiss for early discussions on LSC compilation, and Itai Segall for initiating and helping with the Memory Game example.  ... 
doi:10.1145/1181775.1181802 dblp:conf/sigsoft/MaozH06 fatcat:vfdncwkqfngczppiksm7fxhbhu

From Scenarios to Timed Automata [chapter]

Neda Saeedloei, Feliks Kluźniak
2017 Lecture Notes in Computer Science  
We describe a new method for synthesizing a formal model for real-time systems from scenarios.  ...  Given a set of Timed Event Sequences and a mode graph, our synthesis method constructs a minimal, acyclic, deterministic timed automaton, whose set of runs is a superset of the set of scenarios.  ...  We propose a new method for synthesizing a formal model of a real-time system from scenarios.  ... 
doi:10.1007/978-3-319-70848-5_4 fatcat:qp2p66j47rd3bkkngdbvx6j4zi

Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen
1999 BRICS Report Series  
The control<br />programs, consisting of a number of tasks running concurrently,<br />are automatically translated into the timed automata<br />model of UPPAAL.  ...  <br />real-time system using the tools of UPPAAL.  ...  Introduction Real-time systems consist of a control program operating in a time-sensitive environment (a piece of hardware or a physical plant).  ... 
doi:10.7146/brics.v6i53.20123 fatcat:oyq5t5vl55cmdnphdgpsubtlce

A Compiler for Multimodal Scenarios

Shahar Maoz, David Harel, Asaf Kleinbort
2011 ACM Transactions on Software Engineering and Methodology  
The transformation/compilation scheme is fully implemented in a UML2-compliant tool we term the S2A compiler (for Scenarios to Aspects), which provides full code generation of reactive behavior from inter-object  ...  Unlike synthesis approaches, which attempt to take the inter-object scenarios and construct intra-object state-based per-object specifications or a single controller automaton, we follow the ideas behind  ...  This inspired us to address the converse problem of compilation.  ... 
doi:10.1145/2000799.2000804 fatcat:jbql3o6enjetfiw3xihuuw2c7i

XLynx—An FPGA-based XML filter for hybrid XQuery processing

Jens Teubner, Louis Woods, Chongling Nie
2013 ACM Transactions on Database Systems  
They can be parameterized to any particular automaton instance in a matter of micro-seconds or less (as opposed to minutes or hours for complete re-compilation).  ...  at runtime-a very CPUintensive and time-consuming effort.  ...  This expression can be compiled into either a deterministic (Figure 3(a) ) or a non-deterministic finite-state automaton (Figure 3(b) ).  ... 
doi:10.1145/2536800 fatcat:3zlqnjgdhndg3ecc2vd2ksnotq

Test Methods For Score-Based Interactive Music Systems

Clément Poncelet, Florent Jacquemard
2014 Proceedings of the SMC Conferences  
We use a front-end compiler transforming an Antescofo mixed score s into a medium level executable intermediate representation IR(s).  ...  Compiling Scores into IR (construction of the models) The EFSM network IR(s) is produced from a given score s by traversing the hierarchical structure of s.  ... 
doi:10.5281/zenodo.850743 fatcat:yg4psxzud5duxemwscdsb74aje

Dreams

José Proença, Dave Clarke, Erik de Vink, Farhad Arbab
2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12  
Coordination patterns in Dreams are described using a synchronous model based on the Reo language, whereas global system behaviour is given by the runtime composition of autonomous actors communicating  ...  The automata-based approach [20] pre-computes all future behaviour at compile time.  ...  This suggests that some complex scenarios may benefit from a hybrid deployment, where some parts of a connector can be compiled using a centralised approach (e.g., constraint automata), and deployed in  ... 
doi:10.1145/2245276.2232017 dblp:conf/sac/ProencaCVA12 fatcat:xlild3jkwrdohjz6wbsqsjtdg4

Combining Real-Time Model-Checking and Fault Tree Analysis [chapter]

Andreas Schäfer
2003 Lecture Notes in Computer Science  
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and show how properties of  ...  Schellhorn and A. Thums of Augsburg University. The author thanks E.-R. Olderog, H. Dierks, and M.  ...  We integrate the fault tree analysis into a verification process with PLC-Automata [Die00] which can be directly compiled into software for embedded systems and into timed automata.  ... 
doi:10.1007/978-3-540-45236-2_29 fatcat:dqx5w2yuhzc6na5i43nhihvk2e

Simulator generation using an automaton based pipeline model for timing analysis

Rola Kassem, Mikael Briday, Jean-Luc Bechennec, Yvon Trinquet, Guillaume Savaton
2008 International Multiconference on Computer Science and Information Technology  
The description is transformed into an automaton and a set of resources which, in turn, are transformed into a simulator.  ...  The goal is to obtain a cycle-accurate simulator to verify timing characteristics of embedded real-time systems.  ...  This elapsed time is split in 7.7 s to generate the automaton from the pipeline description, 3.1 s to generate C++ files from the automaton and 10.6 s to compile the C++ files (using GCC 4.0).  ... 
doi:10.1109/imcsit.2008.4747313 dblp:conf/imcsit/KassemBBTS08 fatcat:xhkc5y5km5hf5ghop36wxhs4ai
« Previous Showing results 1 — 15 out of 3,691 results