| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910595031103321 |
|
|
Autore |
Kopetz Hermann |
|
|
Titolo |
Real-Time Systems : Design Principles for Distributed Embedded Applications / / by Hermann Kopetz, Wilfried Steiner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[3rd ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (411 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Cooperating objects (Computer systems) |
Embedded computer systems |
Computers, Special purpose |
Operating systems (Computers) |
Electronic digital computers - Evaluation |
Cyber-Physical Systems |
Embedded Systems |
Special Purpose and Application-Based Systems |
Operating Systems |
System Performance and Evaluation |
Temps real (Informàtica) |
Sistemes incrustats (Informàtica) |
Processament distribuït de dades |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
The Real-Time Environment -- Simplicity -- Global Time -- Real-Time (RT) Model -- Temporal Relations -- Dependability -- Real-Time Communication -- Power and Energy Awareness -- Real-Time Operating Systems -- Real-Time Scheduling -- System Design -- Validation -- Internet of Things -- Cloud and Fog Computing. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience." Janos Sztipanovits, Director E. Bronson Ingram Distinguished Professor of Engineering Institute for Software Integrated Systems Vanderbilt University Real-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Compared to the Second Edition, new developments in communication standards for time-sensitive networks, such as TSN and Time-Triggered Ethernet are addressed. Furthermore, this edition includes a new chapter on real-time aspects in cloud and fog computing. The book is written as a standard textbook for a high-level undergraduate or graduate course on real-time embedded systems or cyber-physical systems. Its practical approach to solving real-time problems, along with numerous summary exercises, makes it an excellent choice for researchers and practitioners alike. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910523006803321 |
|
|
Titolo |
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (232 pages) |
|
|
|
|
|
|
Collana |
|
Springer Proceedings in Mathematics & Statistics, , 2194-1017 ; ; 369 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Computer arithmetic and logic units |
Computer science - Mathematics |
Logic |
Mathematics - Philosophy |
Mathematical Logic and Foundations |
Arithmetic and Logic Structures |
Mathematics of Computing |
Philosophy of Mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti’s logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti’s early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's workranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18–20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti. |
|
|
|
|
|
|
|
| |