Publications

Shows publications by members of the Cyber-Physical Systems group.

Currently viewing all publications in category Books - back to overwiew...

Books

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu: Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study
Solutions for Cyber-Physical Systems Ubiquity, N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); IGI Global, Hershey, Pennsylvania, USA, 1 (2017), ISBN: 9781522528456, p. 137 - 168
bib details doi

A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger: Time and Resilient Master Clocks in Cyber-Physical Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 165 - 185
bib details doi

H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob: Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 73 - 96
bib details doi pdf

B. Frömel, H. Kopetz: Interfaces in Evolving Cyber-Physical Systems-of-Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 40 - 72
bib details doi

A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz: Basic Concepts on Systems of Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 1 - 39
bib details doi

E. Bartocci, C. Ramakrishnan: Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software

bib details doi

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions Using SysML
Languages, Design Methods, and Tools for Electronic System Design, Springer International Publishing, Lecture Notes in Electrical Engineering 361 (2016), ISBN: 978-3-319-24457-0, p. 57 - 81
bib details doi

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi

E. Bartocci, L. Bortolussi, S. Smolka: Hybrid Systems and Biology

bib details doi

C. El Salloum, K. Bilic (invited): Time-Triggered Communication (Book Chapter on FlexRay)
Time-Triggered Communication, CRC Press, 2011, ISBN: 978-1-4398-4661-2, p. 121 - 152
bib details

R. Kammerer (invited): TTCAN
Time-Triggered Communication, CRC Press, 2011, ISBN: 9781439846612, p. 223 - 245
bib details

S. Bünte, M. Zolda, R. Kirner: Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, 2011, ISBN: 9781609600860, p. 110 - 129
bib details doi

W. Elmenreich, S. Pitzek: Smart Transducers - Principles, Communications and Configuration
Intelligent Systems at the Service of Mankind, Volume II, W. Elmenreich, J.A.T. Machado, I. J. Rudas (ed.); UBooks Verlag, Augsburg, 2005, ISBN: 3-86608-052-2, p. 175 - 186
bib details pdf

W. Binder, M. Schoeberl, P. Moret, A. Villazón: Cross-profiling for Java processors
Software: Practice and Experience, John Wiley and Sons, 2009, ISSN: 0038-0644, p. 1439 - 1465
bib details doi

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz: From a Federated to an Integrated Automotive Architecture
IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems, IEEE, 2009, ISSN: 0278-0070, p. 956 - 965
bib details doi

M. Schoeberl: Time-Predictable Computer Architecture
EURASIP Journal on Embedded Systems, Hindawi, 2009; 17 pages
bib details doi

B. Huber, R. Obermaisser: Platform Modeling in Safety-Critical Embedded Systems
Intelligent Technical Systems, Springer, LNEE Vol. 38, 2009, ISBN: 978-1-4020-9822-2, p. 145 - 158
bib details doi

M. Schoeberl: JOP: A Java Optimized Processor for Embedded Real-Time Systems
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3-8364-8086-4; 256 pages
bib details

R. Kirner: Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 pages
bib details

S. Pitzek, W. Elmenreich: Configuration and Management of Fieldbus Systems
The Industrial Communication Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7, p. 18-1 - 18-20
bib details

H. Kopetz, G. Bauer, W. Steiner: Dependable Time-Triggered Communication
The Industrial Communication Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7
bib details

H. Kopetz, G. Bauer: Time Triggered Communication Networks
Industrial Information Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-1985-4
bib details

W. Elmenreich, P. Peti: Distributed Sensor Fusion Networks
Intelligent Engineering Systems at the Service of Mankind, UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, p. 335 - 347
bib details

W. Elmenreich, R. Kirner: A Robust Certainty Grid Algorithm for Robotic Vision
Intelligent Systems at the Service of Mankind, UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, p. 67 - 78
bib details

P. Puschner: Transforming Execution-Time Boundable Code into Temporally Predictable Code
Design and Analysis of Distributed Embedded Systems, B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (ed.); Kluwer Academic Publishers, 2002, p. 163 - 172
bib details pdf

P. Puschner, G. Bernat, A. Wellings: Making Java Hard Real-Time
The Annals of the Marie Curie Fellowship Association (MCFA) Volume II, N. Brambilla, O. Sparagano, L. Deneire (ed.); Marie Curie Fellowship Association, 2002
bib details pdf

K. Hendling, T. Losert, M. Jandl: An Intelligent Interference-Minimizing Routing Algorithm
Intelligent Systems at the Service of Mankind - Volume II, W. Huber (ed.); Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 187 - 204
bib details

T. Losert, W. Huber, K. Hendling, M. Jandl: A CORBA-Based Architecture for Hard Real-Time Systems
Intelligent Systems at the Service of Mankind - Volume II, Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 239 - 254
bib details