Sciweavers

6308 search results - page 60 / 1262
» Modeling Urgency in Timed Systems
Sort
View
EUSFLAT
2001
14 years 11 months ago
The similarity of a class of adaptive fuzzy controllers and a time dependent single rule controller of Takagi-Sugeno model
This paper presents the similarity of a class of adaptive fuzzy controllers and a time dependent single rule controller of TakagiSugeno (TS) model. The class of adaptive fuzzy con...
Mohammad Rohmanuddin
FDL
2004
IEEE
15 years 1 months ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...
DDECS
2006
IEEE
146views Hardware» more  DDECS 2006»
15 years 1 months ago
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexan...
ENTCS
2002
91views more  ENTCS 2002»
14 years 9 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 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...