Monitoring and fault-diagnosis with digital clocks

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2006, Pages 101-110

  Altisen, Karine ^a   Cassez, Franck ^b   Tripakis, Stavros ^c  

^a VERIMAG   (France)

^b INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^c CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CLOCKS; DIGITAL ARITHMETIC; DIGITAL TO ANALOG CONVERSION; MONITORING; REAL TIME SYSTEMS; ROBOTS; SYSTEMS ANALYSIS; TRANSLATION (LANGUAGES);

ANALOG CLOCKS; DIAGNOSABILITY; DIAGNOSER; DIAGNOSERS; DIGITAL CLOCKS; FAULT DIAGNOSIS (FD); INTERNATIONAL CONFERENCES; MONITOR (CO); REAL-TIME SYSTEMS; SUFFICIENT CONDITIONS; SYSTEM DESIGNS; TIMED AUTOMATA (TA); TIMED AUTOMATON;

ANALOG TO DIGITAL CONVERSION;

EID: 45149134021     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2006.10     Document Type: Conference Paper

References (13)

1. K. Altisen and S. Tripakis. Implementation of timed automata: an issue of semantics or modeling? In Formal Modeling and Analysis of Timed Systems (FORMATS'05), volume 3829 of LNCS. Springer, 2005.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis. Testing conformance of real-time applications by automatic generation of observers. In 4th International Workshop on Run-time Verification (RVW), volume 113 of ENTCS. pages 23-43. Kilsevier, 2005.
4. P. Bouyer. forward analysis of updalable timed automata. Formal Methods in System Design. 24(3):281-320, 2004.
5. P. Bouyer, F. Chevalier, and D. D'Souzza. Fault diagnosis using timed automata. In FoSSaCS'05, volume 3441 of LNCS, pages 219-233. Springer, 2005.
6. T. Hunzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In ICALP'92, LNCS 623, 1992.
7. S. Jiang and R. Kumar. Diagnosis of dense-time systems using digital clocks. In ACC'06, 2006. To appear.
8. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In 11th International SPIN Workshop on Model Checking of Software (SPIN'04), volume 2989 of LNCS. Springer. 2004.
9. M. Krichen and S. Tripakis. Real-time testing with timed automata testers and coverage criteria. In Formal Techniques, Modelling and Analysis of Timed and Fault Tolerant Systems (FORMATS-ITRTFT'04), volume 3253 of LNCS. Springer, 2004.
10. M. Sampath, R. Sengupta, S. Lafortune, K. Sitinamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 4-0(9), Sept. 1995.
11. S. Tripakis. Fault diagnosis for timed automata. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02). volume 2469 of LNCS. Springer, 2002.
12. S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting hisimulatiotis. Formal Methods in System Design, 18(1):25-68. January 2001.
13. S. Tripakis, S. Yovine, and A. Bouajjani. Checking timed Büchi automata emptiness efficiently. Formal Methods in System Design, 26(3):267-292, May 2005.