Produktbild
Shin (Hrsg.) Nakajima

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

Buch

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations a… Mehr

CHF 150.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Talpin, Jean-Pierre (Hrsg.) / Toyoshima, Masumi (Hrsg.) / Yu, Huafeng (Hrsg.)
  • ISBN: 978-981-1351-36-5
  • EAN: 9789811351365
  • Produktnummer: 29582470
  • Verlag: Springer Singapore
  • Sprache: Englisch
  • Erscheinungsjahr: 2018
  • Seitenangabe: 176 S.
  • Masse: H23.5 cm x B15.5 cm x D0.9 cm 277 g
  • Auflage: Softcover reprint of the original 1st ed. 2017
  • Abbildungen: Paperback
  • Gewicht: 277

Über den Autor


Editors:Shin Nakajima is a professor at the National Institute of Informatics (NII) and also a professor at the Graduate University for Advanced Studies (SOKENDAI). His research interests include formal methods, automated verification, and software testing.Jean-Pierre Talpin is a senior research associate (directeur de recherche) with Inria and leads Inria project-team TEA (time, events and architectures).  His research background ranges from type theory, programming languages, concurrency theory, code generation, scheduling, and verification to proof.  His current research interests include the component-based design, analysis, verification, and integration of cyber-physical systems. Masumi Toyoshima is a research project manager at DENSO Corporation. His research background includes design of distributed computing systems and recent interest is Systems Engineering. Huafeng Yu is a senior researcher with Boeing Research & Technology. He serves on IEEE Technical Committee on for Cyber-Physical Systems. His research interests include mobile autonomous systems, software architecture and safety, model-based engineering, and software certification.

5 weitere Werke von Shin (Hrsg.) Nakajima:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.