90,298 Hits in 5.7 sec

Toward probabilistic real-time calculus

Luca Santinelli, Liliana Cucu-Grosjean
2011 ACM SIGBED Review  
A challenging research issue in analyzing probabilistic real-time systems is to model the tasks composing the system and the resource provided to the system.  ...  In this paper we propose a solution based on a probabilistic componentbased model that abstracts the functional and non-functional requirements of real-time components.  ...  The real-time calculus is a worstcase analysis framework for real-time systems based on deterministic bounds by which model the system behavior.  ... 
doi:10.1145/1967021.1967028 fatcat:h7tqd2iztvb6hfzwktur3dj76e

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks

A. Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 2014 Theoretical Aspects of Software Engineering Conference  
We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC.  ...  We present the concept of degree of schedulability for mixed-criticality scheduling systems.  ...  In this paper, we are focusing on modeling and analyzing a single component at a time, with both sporadic and periodic real-time tasks.  ... 
doi:10.1109/tase.2014.27 dblp:conf/tase/BoudjadarDKLMNS14 fatcat:g2ehz7edp5ezlpivdlph3pjkly

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Osman Hasan, Sofiène Tahar
2009 Electronical Notes in Theoretical Computer Science  
Probabilistic techniques play a major role in the design and analysis of wireless systems as they contain a significant amount of random or unpredictable components.  ...  Traditionally, computer simulation techniques are used to perform probabilistic analysis of wireless systems but they provide inaccurate results and usually require enormous amount of CPU time in order  ...  For example, Real-Time Maude [33] , which is a language and tool supporting the formal specification and analysis of real-time and hybrid systems, has been used for the analysis of the wireless sensor  ... 
doi:10.1016/j.entcs.2009.06.022 fatcat:b4vone4zjjdxnmfie6skiaqg6i

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikučionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering - CBSE '15  
Our work is set as a model-based framework for hierarchical scheduling systems where we introduce probability based sporadic tasks.  ...  We define the concept of degree of schedulability to characterize the schedulability and performance of soft real-time systems.  ...  We present a model-based analysis method that fits in a compositional approach [4, 26] for modeling and analyzing single-core hierarchical scheduling systems.  ... 
doi:10.1145/2737166.2737170 dblp:conf/cbse/KimBNMLSLP15 fatcat:yequph6fpvhlvca2rd5ymtxf5i

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems [chapter]

Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
2016 Lecture Notes in Computer Science  
In a series of recent work, we have shown that schedulability analysis of CPS could be performed with a model-based approach and extensions of verification tools such as UPPAAL.  ...  In this paper, we go one step further and show how our formalism can be extended to account for stochastic information, such as sporadic tasks whose attributes depend on the hardware domain.  ...  Automata-Based Models for a Scheduling unit In our framework, a scheduling unit is composed of a set of real-time tasks, a scheduler, that implements a scheduling algorithm, and a queue, that manages jobs  ... 
doi:10.1007/978-3-319-45943-1_9 fatcat:4zfi3rf5ebd5rdtsydmckeapye

Stochastic modeling and performance analysis of multimedia SoCs

Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
2013 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)  
We propose a probabilistic analytical framework that enables low-cost system design and provides bounds for playing acceptable multimedia quality.  ...  Quality of video and audio output is a design-time constraint for portable multimedia devices.  ...  Quite recently, there was another proposal to use probabilistic real-time calculus for hard real-time systems [23] .  ... 
doi:10.1109/samos.2013.6621117 dblp:conf/samos/RamanNGBBMLBC13 fatcat:wvbf63dsebhyzgzubpd5nmucs4

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach [chapter]

Osman Hasan, Sofiène Tahar
2010 Lecture Notes in Computer Science  
This paper describes the infrastructures behind these capabilities and their utilization to conduct the probabilistic analysis of real-world systems.  ...  Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time requirements.  ...  Formal Probabilistic Analysis Framework A hypothetical model of a higher-order-logic theorem proving based probabilistic analysis framework is given in Fig. 1 , with some of its most fundamental components  ... 
doi:10.1007/978-3-642-11811-1_2 fatcat:hhk4xlpnevflrf2w3ijc3hweni

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-time Systems

Imene Ben Hafaiedh, Maroua Ben Slimane
2020 IEEE Access  
A stochastic version of our model is also proposed allowing to define probabilistic features and to model stochastic real-time tasks, scheduling mechanisms or energy consumption.  ...  This model allows to formally verify a set of timing-constraints, in particular schedulability analysis as well as to provide a set of experimental results based on real-time executions.  ...  BIP is a component-based framework for building real-time systems based on a rigorous formal semantics that relies on rich interaction models between components [33] .  ... 
doi:10.1109/access.2020.2979354 fatcat:v5ove2adkrg43pprb6hj73wqhm

Simulation-based Safety Assessment of High-level Reliability Models

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2020 Electronic Proceedings in Theoretical Computer Science  
Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams  ...  Systems engineering approaches use high-level models to capture the architecture and behavior of the system.  ...  Pter Gyrke and ThyssenKrupp Presta Kft. for the fruitful collaboration and the case study.  ... 
doi:10.4204/eptcs.316.9 fatcat:bl3ueqxle5gk5ii3rkyvbnxnxm

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper) [article]

Adnan Rashid, Umair Siddique, Sofiene Tahar
2020 arXiv   pre-print
In particular, we survey recent developments in the use of theorem proving, a formal method, for the modeling, analysis and verification of CPS, and overview some real world CPS case studies from the automotive  ...  , avionics and healthtech domains from system level to physical components.  ...  The authors utilized their proposed framework for formally analyzing the essential electronic and electrical system components. Liu et al.  ... 
arXiv:2003.03729v1 fatcat:v57i7srws5afdlixnbype3fztu

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 2015 IEEE 18th International Symposium on Real-Time Distributed Computing  
In this paper, we present a flexible schedulability analysis framework for periodic and sporadic tasks having probabilistic attributes where the computation time scales linearly in the size of analyzed  ...  To evaluate our approach, we compare the time used for computing response times and the analysis results using similar task models to that of a related analytical approach.  ...  This paper introduces a framework for analyzing a soft real-time system and providing realistic response time distributions for each of the probabilistic tasks in the system.  ... 
doi:10.1109/isorc.2015.21 dblp:conf/isorc/BoudjadarKDLMNS15 fatcat:uzwgaddppreg3dufw7ygm3hn2a

Probabilistic Bandwidth Assignment in Wireless Sensor Networks [chapter]

Dawood Khan, Bilel Nefzi, Luca Santinelli, YeQiong Song
2012 Lecture Notes in Computer Science  
Our framework applies probabilistic and component-based design principles for the wireless sensor network modeling and consequently analysis; while maintaining flexibility and accuracy.  ...  The proposed framework also aims to accurately analyze the behaviors of communication protocols for energy-consumption and reliability purposes.  ...  such as the lifetime; and iv) checking its applicability to real WSN platforms/testbeds in the dynamic network conditions and testing the adaptivity of the probabilistic approach.  ... 
doi:10.1007/978-3-642-31869-6_55 fatcat:ombjusz2pbdehfio3xiecprwgu

Simulation-based Probabilistic Risk Assessment [article]

Tarannom Parhizkar
2022 arXiv   pre-print
SPRA models are well established for cases with considerable data and system behavior information available.  ...  system simulation models.  ...  [26] proposed a methodology which leveraged simulation, dynamic probabilistic risk assessment, and dynamic Bayesian networks to provide real-time diagnostic and monitoring for severe accidents in a  ... 
arXiv:2207.12575v1 fatcat:br3xhpihazaz7hcm2w7ozriivm

Special section on ``Applications of probabilistic graphical models in dependability, diagnosis and prognosis''

Philippe Weber, Luigi Portinale
2017 Reliability Engineering & System Safety  
In this paper, a methodology is presented to extract failure signatures for real-time failure diagnosis, using Bayesian Network models.  ...  System and component reliability are computed based on Dynamic Bayesian Network.  ... 
doi:10.1016/j.ress.2017.04.017 fatcat:xz3c4s62fzattc3trrlgkpio5e

Computing Pattern in Pervasive Healthcare

Sriram R, Madhusudanan J, Prasanna Venkatesan V, Geetha S
2015 International Journal of Computer Applications  
In this project, a framework using the architectural pattern such as pipe and filter pattern and model view controller pattern is proposed.  ...  The framework will provide intricate monitoring, and probabilistic and filter algorithm to take the decision accurately.  ...  The framework has been verified and analyzed in a healthcare environment using the tools. This also provides support for the patient in mobile and good alerting system at the time of emergency.  ... 
doi:10.5120/20429-2758 fatcat:gjjoeuajyjcwpedx2sdbkvfrfu
« Previous Showing results 1 — 15 out of 90,298 results