The complexity challenge in embedded system design invited paper

Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008

Volumn , Issue , 2008, Pages 3-12

  Kopetz, Hermann ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COGNITIVE SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; INTEGRATED CIRCUITS; JAVA PROGRAMMING LANGUAGE;

COGNITIVE COMPLEXITY; COMPONENT-BASED DESIGNS; CONCEPT FORMATION; DESIGN PATTERNS; DISTRIBUTED COMPUTING; DISTRIBUTED EMBEDDED SYSTEMS; EMBEDDED-SYSTEM DESIGNS; LEVELS OF ABSTRACTION; SYSTEM LEVELS;

EMBEDDED SYSTEMS;

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

References (26)

1. Jackson, D., M. Thomas, and L.I. Millet Software for Dependable Systems: Sufficient Evidence. 2007: National Academic Press. 120.
2. Broy, M., The 'Grand Challenge'in Informatics: Engineering Software Intensive Systems. IEEE Computer, 2006. 39(10): p. 72-80.
3. Popper, K. R., The Logic of Scientific Discovery. 1968, London: Hutchinson.
4. Hayakawa, S.I., Language in Thought and Action. 1990: Harvest Original, San Diego.
5. Gershenson, C. and Complex Philosophy, in Philosophical, Methodological and Epistemological Implications of Complexity Theory. 2002. La Habana, Cuba.
6. Bar-Yam, Y., Dynamics of Complex Systems. 1997: Westview Press,.
7. Avizienis, A. The Four-Universe Information System Model for the Study of Fault Tolerance, in Proceedings of the 12th FTCS Symposium. 1982. Los Angeles: IEEE Press.
8. Edmonds, B., Complexity and Scientific Modelling, in Foundations of Science. 2000. p. 379-390.
9. Vigotsky, L.S., Thought and Language. 1962, Boston, Mass.: MIT Press.
10. Halford, G.S., W.H. Wilson, and S. Phillips, Abstraction, Nature, Costs, and Benefits. 1996, Department of Psychology, University of Queensland, 4072 Australia.
11. Halford, G.S., et al., How Many Variables Can Humans Process? Psychological Science, 2005. 16(1): p. 70-76.
12. Hoefer, C., Causality and Determinism: Tension, or Outright Conflict. Revista de Filosofia, 2004. 29(2): p. 99-225.
13. Barborak, M., M. Malek, and A. Dahbura, The Consensus Problem in Fault-Tolerant Computing. ACM Computing Surveys, 1993. 25(2): p. 171-220.
14. Kopetz, H. Sparse Time versus Dense Time in Distributed Real-Time Systems. in Proc. 14th Int. Conf. on Distributed Computing Systems. 1992. Yokohama, Japan: IEEE Press.
15. Kopetz, H. and G. Bauer, The Time-Triggered Architecture. Proceedings of the IEEE, 2003. 91(January 2003): p. 112-126.
16. Poledna, S., et al., Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. IEEE Transactions on Computing, 2000. 49(2): p. 100-111.
17. Neumann, J., Theory of Self-Reproducing Automata. 1956, Urbana, 111: University of Illinois Press.
18. Jones, C., et al., DSOS Conceptual Model. 2003: University of Newcastle upon Tyne, Techn. Report CS-TR-782, TU Vienna, Technical Report 54/2002, Qinetic Technical Report TR030434, LAAS Technical Report, p. 1-122.
19. Kopetz, H. and N. Suri. Compositional Design of RealTime System: A Conceptual Basis for the Specification of Linking Interfaces, in ISORC 2003-The 6th International Symposium on Object Oriented Real-Time Computing. 2003. Hakodate, Japan: IEEE Press.
20. Kopetz, H., Real-Time Systems, Design Principles for Distributed Embedded Applications; ISBN: 0-7923-9894-7, Seventh printing 2003. 1997, Boston: Kluwer Academic Publishers.
21. IEEE, 1588 Standard for a Precision Clock Synchronization Protocol for Network Measurement and Control Systems. 2002.
22. Kopetz, H., Pulsed Data Streams. 2006, Institut für Technische Informatik, TU Wien, Austria, p. 7.
23. Mesarovic, M.D. and Y. Takahara, Abstract Systems Theory. Lecture Note in Control and Information Science. Vol. 116. 1989: Springer Verlag.
24. Kopetz, H. The Time-Triggered (TT) Model of Computation. in Real-Time System Symposium 1998. 1998. Madrid, Spain: IEEE Computer Society Press.
25. Kopetz, H., et al. Periodic Finite-State Machines, in ISORC. 2007. Santorini Island, Greece: IEEE Press.
26. Alexander, C., S. Ishikawa, and M. Silverstein, A Pattern Language. 1977, New York: Oxford University Press.