Filters








360,810 Hits in 7.3 sec

Logics and models of real time: A survey [chapter]

Rajeev Alur, Thomas A. Henzinger
1992 Lecture Notes in Computer Science  
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems.  ...  All of the resulting notations can be interpreted over a variety of di erent models of time and computation, including linear and branching time, interleaving and true concurrency, discrete and continuous  ...  These observations suggest a more thorough study of real-numbered time in the directions taken by M I T L and timed automata, rather than a surrender to ctitious-clock m o d e l s .  ... 
doi:10.1007/bfb0031988 fatcat:6j25elltxzbofjq7ztnpzhbi6i

Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software

Yajun WU, Satoshi YAMANE
2020 IEICE transactions on information and systems  
For embedded systems, verifying both real-time properties and logical validity are important.  ...  Simultaneously, we propose a timed Kripke structure and implement the simulator of the robot's processor to be verified.  ...  Therefore, it is possible to verify the real-time property by model checking. Bouyer, P and others [9] have surveyed model checking the real-time systems by using time automaton.  ... 
doi:10.1587/transinf.2019edp7172 fatcat:podnuhrwsba2tgtsdp2fzb57qq

Model checking real-time conditional commitment logic using transformation

Mohamed El Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej
2018 Journal of Systems and Software  
Proving the soundness of the transformation technique − Analyzing the time and space computational complexity of the RTCTLcc model checking Abstract A new logical language for real-time conditional commitments  ...  We analyzed the time and space computational complexity of the RTCTL cc model checking problem.  ...  So, the duration of a transition can be called either a weight or a cost. The underlying real-time model is discrete and has a tree structure of states. Each tree represents a real-time system model.  ... 
doi:10.1016/j.jss.2017.12.042 fatcat:k3fbv2gdvrb3dmdmht3zlchq34

Modeling and analyzing mobile ad hoc networks in Real-Time Maude

Si Liu, Peter Csaba Ölveczky, José Meseguer
2016 Journal of Logical and Algebraic Methods in Programming  
In this work we present a formal framework for the modeling and analysis of MANETS based on Real-Time Maude to address this challenge.  ...  models of mobility and with other MANET protocols.  ...  We thank the anonymous reviewers for their very insightful comments on an earlier version of this paper that has led to substantial improvements.  ... 
doi:10.1016/j.jlamp.2015.05.002 fatcat:yuevspst3na3vdbkuro52lv2jq

Proving properties of real-time systems through logical specifications and Petri net models

M. Felder, D. Mandrioli, A. Morzenti
1994 IEEE Transactions on Software Engineering  
Rather recently, a number of models has been developed for a formal description and analysis of real-time systems.  ...  to model and specify strict real-time systems.  ...  Acknowledgments This research has been developed in the context of a long term project on real time systems which involves people from several industries.  ... 
doi:10.1109/32.265634 fatcat:jmj6jga7xrha5o733bwbrgsnbi

Modeling time in computing

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2010 ACM Computing Surveys  
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the  ...  Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions.  ...  ACKNOWLEDGMENTS We thank the anonymous reviewer for useful suggestions and Gianpaolo Cugola for his comments on an early draft of this paper.  ... 
doi:10.1145/1667062.1667063 fatcat:6bjiukps7bavhontaewdgm7tky

Real-Time Containers: A Survey

Václav Struhár, Moris Behnam, Mohammad Ashjaei, Alessandro V. Papadopoulos, Yang Yang, Anton Cervin
2020 Workshop on Fog Computing and the Internet of Things  
In this work, we provide a systematic literature survey study that summarizes the effort of the research community on bringing real-time properties in container-based virtualization.  ...  However, such industrial domains often require real-time behavior (i.e, a capability to meet predefined deadlines).  ...  (iii) Earliest Deadline First Scheduler (EDF) Uses Constant Bandwidth Server [6] and allows to associate to each task a budget and a period. 7:4 Real-Time Containers: A Survey Survey Results In  ... 
doi:10.4230/oasics.fog-iot.2020.7 dblp:conf/fogiot/StruharBAP20 fatcat:3tw4di7ho5e3jdghn6tyws26fq

Temporal and real-time databases: a survey

G. Ozsoyoglu, R.T. Snodgrass
1995 IEEE Transactions on Knowledge and Data Engineering  
First we characterize the time domain; then we investigate temporal and real-time data models. We evaluate temporal and real-time query languages along several dimensions.  ...  A temporal database contains time-varying data. In a real-time database transactions have deadlines or timing constraints.  ...  The structure of branching time is a tree rooted at now. The most general model of time in a temporal logic represents time as a partially ordered set [62] .  ... 
doi:10.1109/69.404027 fatcat:5ao5knajt5g6pbwv7s3wvm65sm

A Survey of Time Series

Spyros Makridakis
1976 International Statistical Review  
This paper surveys time-series methods developed and used in the fields of statistics, engineering, operation research and economics.  ...  The applicability of the different methods to various real-life requirements will be discussed and further research needs will be raised.  ...  Miller and D. Weinstein for their extremely helpful comments.  ... 
doi:10.2307/1402964 fatcat:igxqbpmm7nbwpntzcvfcrblkr4

Real Time Face Mask Detection-A Survey

Gargi Kale, Prashant Bhaware, Rohit Ingle, Sayali Sulbhewar, Yash Gugaliya, Mayur Kaware, Parag Thakare
2022 International journal of information technology and computer engineering  
This project develops a real-time, GUI-based automatic Face detection and recognition system.  ...  The aim of this research is to examine and test machine learning capabilities for detecting and recognize face masks worn by people in any given video or picture or in real time.  ...  It can still guarantee a high test rate in a sophisticated atmosphere, and the speed of detection can meet the real time requirement, and achieve good effect.  ... 
doi:10.55529/ijitc.21.1.4 fatcat:pv5oybywcbek3acc6ilfah2smm

A Survey on Continuous Time Computations [article]

Olivier Bournez, Manuel Campagnolo
2009 arXiv   pre-print
We survey the existing models, summarizing results, and point to relevant references in the literature.  ...  These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.  ...  We would like to thank all our colleagues in a wide sense, since this survey benefited from recent and old discussions with a long list of people. Many of them have their work cited in the text.  ... 
arXiv:0907.3117v1 fatcat:lggnmcv6jvf77cy73gta6x4soq

A Survey on Continuous Time Computations [chapter]

Olivier Bournez, Manuel L. Campagnolo
2008 New Computational Paradigms  
We survey the existing models, summarizing results, and point to relevant references in the literature.  ...  These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.  ...  We would like to thank all our colleagues in a wide sense, since this survey benefited from recent and old discussions with a long list of people. Many of them have their work cited in the text.  ... 
doi:10.1007/978-0-387-68546-5_17 fatcat:h6yajdzjyffurm2gqepan7xe34

Time Series Management Systems: A Survey

Soren Kejser Jensen, Torben Bach Pedersen, Christian Thomsen
2017 IEEE Transactions on Knowledge and Data Engineering  
In addition, we provide an overview of each system with a focus on the motivational use case that drove the development of the system, the functionality for storage and querying of time series a system  ...  The collection of time series data increases as more monitoring and automation are being deployed.  ...  appropriate models in real-time [90] , [91] .  ... 
doi:10.1109/tkde.2017.2740932 fatcat:3phn7rowfbhsxdzjwcvfgcjigu

Formal verification of timed systems: a survey and perspective

Farn Wang
2004 Proceedings of the IEEE  
An overview of the current state of the art of formal verification of real-time systems is presented.  ...  We also make a few comments according to our experience with verification tool design and implementation.  ...  SUMMARY AND PERSPECTIVES This is a survey of the rapid development of formal verification technology for real-time systems.  ... 
doi:10.1109/jproc.2004.831197 fatcat:7e5u5rvdbncqbmkku7szkdyz34

Formal Modelling Languages to Specify Real-Time Systems: A Survey

Aftab Ali Haider
2013 International Journal of Future Computer and Communication  
The use of formal methods is a natural choice for real-time system development. Formal models are more rigorous in nature and ensure completeness.  ...  In order to study time behaviour, we have surveyed existing formal languages used to model real-time systems.  ...  Real-time systems are hard to model with informal methods due to implicit, complicated and critical timing relationships involved. Formal modelling is a natural choice for these systems.  ... 
doi:10.7763/ijfcc.2013.v2.136 fatcat:7zydvbzwmfgmzhbx3wq255vmey
« Previous Showing results 1 — 15 out of 360,810 results