Periodic finite-state machines

Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007

Volumn , Issue , 2007, Pages 10-20

  Kopetz, H ^a   El Salloum, C ^a   Huber, B ^a   Obermaisser, R ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

PERIODIC CLOCK CONSTRAINTS; TIME TRIGGERED ACTIVITIES; TIMED AUTOMATA;

COMPUTATION THEORY; CONSTRAINT THEORY; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

TIME VARYING SYSTEMS;

EID: 36349037044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2007.47     Document Type: Conference Paper

References (29)

1. G. S. Halford et al., "How Many Variables Can Humans Process?," Psychological Science, vol. 16, pp. 70-76, 2005.
2. A. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
3. C. Jones et al., "DSOS Conceptual Model," University of Newcastle upon Tyne, Techn. Report CS-TR-782, 2003.
4. P. Enge et al., "Wide Area Augmentation of the Global Positioning System," Proc. IEEE, vol. 84, pp. 1063-1088, 1996.
5. H. Kopetz and W. Ochsenreiter, "Clock Synchronisation in Distributed Real-Time Systems," IEEE Trans. Computers, vol. 36, pp. 933-940, 1987.
6. H. Kopetz, "Sparse Time versus Dense Time in Distributed Real-Time Systems," in Proc. 14th Int. Conf. on Distributed Computing Systems, 1992, pp. 460-467.
7. M. D. Mesarovic and Y. Takahara, Abstract Systems Theory vol. 116: Springer Verlag, 1989.
8. H. Kopetz, Real-Time Systems, Design Principles for Distributed Embedded Applications; Seventh printing 2003. Boston: Kluwer Academic Publishers, 1997.
9. A. Girault et al., "A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models," University of California, Berkeley 1997.
10. J. Bengtsson et al., "Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems," in 4th DIMACS Workshop on Verification and Control of Hybrid Systems New Brunswick, 1995.
11. C. A. R. Hoare, Communicating Sequential Processes: Prentice Hall, 1985.
12. C. Choffrut and M. Goldwurm, "Timed Automata with Periodic Clock Constraints," Journal of Automata, Languages and Combinatorics, vol. 5, pp. 371-403, 2000.
13. P. Krcal et al., "Timed vs Time-Triggered Automata," in Fifteenth International Conference on Concurrency Theory (CONCUR 2004), 2004.
14. B. Dutertre and M. Sorea, "Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata," in Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), 2004.
15. H. Kopetz and G. Bauer, "The Time-Triggered Architecture," Proceedings of the IEEE, vol. 91, pp. 112-126, 2003.
16. A. T. Winfree, The Geometry of Biological Time: Springer Verlag New York, 2001.
17. P. Puschner and A. Burns, "A Review of Worst-Case Execution Time Analysis," Journal of Real-time Systems, vol. 2, pp. 115-128, 2000.
18. H. Kopetz, "Pulsed Data Streams," Institut für Technische Informatik, TU Wien, Austria 2006.
19. H. Kopetz and K. Kim, "Temporal Uncertainties in Interactions among Real-Time Objects," in Proc. 9th Symposium on Reliable Distributed Systems, Huntsville, AL, USA, 1990, pp. 165-174.
20. H. Kopetz and R. Nossal, "Temporal Firewalls in Large Distributed Real-Time Systems," in Proceedings of IEEE Workshop on Future Trends in Distributed Computing, 1997, pp. 310-315.
21. G. Berry and L. Cosserat, "The Synchronous Programming Language ESTEREL and its Mathematical Semantics," in Proceedings of the Seminar on Concurrency (LNCS 197), 1985.
22. P. Caspi et al., "LUSTRE, a Declarative Language for Real-Time Programming," in Proc. of the Conference on the Principles of Programming Languages, 1987.
23. H. Kopetz, "The Time-Triggered (TT) Model of Computation," in Real-Time System Symposium 1998, 1998, pp. 168-177.
24. H. Kopetz and N. Suri, "Compositional Design of Real-Time System: A Conceptual Basis for the Specification of Linking Interfaces," in Proc. of the 6th International Symposium on Object Oriented Real-Time Computing, 2003, pp. 51-60.
25. H. Kopetz, "Elementary versus Composite Interfaces in Distributed Real-Time Systems," in Proc. of ISADS 99, IEEE Press, 1999, pp. 26-33.
26. R. Obermaisser and P. Peti, "Specification and Execution of Gateways in Integrated Architectures," in 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2005.
27. D. Powell, "Failure Mode Assumptions and Assumption Coverage," in Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22), 1992, pp. 386-395.
28. G. Kahn, "The Semantics of Simple Languages for Parallel Programming," in Proc. of the IFIP Congress 1974.
29. C. Constantinescu, "Impact of Deep Submicron Technology on Dependability of VLSI Circuits," in 2002 International Conference on Dependable Systems and Networks, 2002.