Sciweavers

9842 search results - page 171 / 1969
» Compositional timing analysis
Sort
View
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
14 years 2 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
RSCTC
2000
Springer
140views Fuzzy Logic» more  RSCTC 2000»
14 years 1 months ago
Temporal Templates and Analysis of Time Related Data
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
Piotr Synak
SACMAT
2009
ACM
14 years 4 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
ISQED
2009
IEEE
111views Hardware» more  ISQED 2009»
14 years 4 months ago
Efficient statistical analysis of read timing failures in SRAM circuits
A system-level statistical analysis methodology is described that captures the impact of inter- and intra-die process variations for read timing failures in SRAM circuit blocks. U...
Soner Yaldiz, Umut Arslan, Xin Li, Larry T. Pilegg...
DATE
2006
IEEE
105views Hardware» more  DATE 2006»
14 years 3 months ago
Statistical timing analysis with path reconvergence and spatial correlations
State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated. Spatial correlation and correlation caused by p...
Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen