A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Compiling Real-time Scenarios into a Timed Automaton
[chapter]
Formal Techniques for Networked and Distributed Systems
Preserved Fulltext
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
2020
PROBLEMS IN PROGRAMMING
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 15th International Conference on Application of Concurrency to System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Procedia Technology - Elsevier
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1999
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
ACM Transactions on Database Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the SMC Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2008
International Multiconference on Computer Science and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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