The Testability of Distributed Real-Time Systems

The Testability of Distributed Real-Time Systems

BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Schütz, Werner (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 1993.
Σειρά:	The Springer International Series in Engineering and Computer Science, 245
Θέματα:	Computer science. Special purpose computers. Software engineering. Computer Science. Special Purpose and Application-Based Systems. Software Engineering/Programming and Operating Systems. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Real-Time Systems Engineering and Applications
Έκδοση: (1992)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
ανά: Kormanyos, Christopher
Έκδοση: (2015)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
ανά: Kormanyos, Christopher
Έκδοση: (2013)

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Έκδοση: (2012)

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
Έκδοση: (2013)

Real-Time Systems In Mechatronic Applications
Έκδοση: (1998)

Embedded Systems Design The ARTIST Roadmap for Research and Development /
ανά: Bouyssounouse, Bruno, κ.ά.
Έκδοση: (2005)

UML for Real Design of Embedded Real-Time Systems /
Έκδοση: (2003)

Pro Team Foundation Service
ανά: Olausson, Mathias, κ.ά.
Έκδοση: (2013)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Έκδοση: (2014)

ACS Without an Attitude
ανά: Hallock, Harold L., κ.ά.
Έκδοση: (2017)

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
Έκδοση: (2005)

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /
Έκδοση: (2006)

Real-Time Systems Design Principles for Distributed Embedded Applications /
ανά: Kopetz, Hermann
Έκδοση: (1997)

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
Έκδοση: (2013)

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings /
Έκδοση: (2007)

Fault-Tolerant Real-Time Systems The Problem of Replica Determinism /
ανά: Poledna, Stefan
Έκδοση: (1996)

Principles of Distributed Systems 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
Έκδοση: (2004)

Grids, Clouds and Virtualization
Έκδοση: (2011)

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings /
Έκδοση: (2006)

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers /
Έκδοση: (2006)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /
Έκδοση: (2006)

Hard real-time computing systems Predictable scheduling algorithms and applications /
ανά: Buttazzo, Giorgio C.
Έκδοση: (1997)

The Engineering of Complex Real-Time Computer Control Systems
Έκδοση: (1996)

Real-Time Systems Design Principles for Distributed Embedded Applications /
ανά: Kopetz, Hermann
Έκδοση: (2011)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

Real-Time Search for Learning Autonomous Agents
ανά: Ishida, Toru
Έκδοση: (1997)

Microelectronic Systems Circuits, Systems and Applications /
Έκδοση: (2011)

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
Έκδοση: (2009)

Embedded Security in Cars Securing Current and Future Automotive IT Applications /
Έκδοση: (2006)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

Pro Java Clustering and Scalability Building Real-Time Apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ /
ανά: Acetozi, Jorge
Έκδοση: (2017)

Architecting Dependable Systems VI
Έκδοση: (2009)

Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
Έκδοση: (2008)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Έκδοση: (2013)

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
Έκδοση: (2005)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
Έκδοση: (2006)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_90mbrg74ignm0356sh92fscpio