Computers

Introduction to Embedded Systems

A Cyber-Physical Systems Approach

Author: Edward Ashford Lee,Sanjit A. Seshia

Publisher: MIT Press

ISBN: 0262533812

Category: Computers

Page: 568

View: 4955

An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.
Computers

New Trends in Intelligent Software Methodologies, Tools and Techniques

Proceedings of the 16th International Conference SoMeT_17

Author: H. Fujita,A. Selamat,S. Omatu

Publisher: IOS Press

ISBN: 1614998000

Category: Computers

Page: 852

View: 4214

Software is an essential enabler for science and the new economy. It creates new markets and directions for a more reliable, flexible and robust society and empowers the exploration of our world in ever more depth, but it often falls short of our expectations. Current software methodologies, tools, and techniques are still neither robust nor reliable enough for the constantly evolving market, and many promising approaches have so far failed to deliver the solutions required. This book presents the keynote ‘Engineering Cyber-Physical Systems’ and 64 peer-reviewed papers from the 16th International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, (SoMeT_17), held in Kitakyushu, Japan, in September 2017, which brought together researchers and practitioners to share original research results and practical development experience in software science and related new technologies. The aim of the SoMeT conferences is to capture the essence of the new state-of-the-art in software science and its supporting technology and to identify the challenges such technology will have to master. The book explores new trends and theories which illuminate the direction of developments in this field, and will be of interest to anyone whose work involves software science and its integration into tomorrow’s global information society.
Embedded computer systems

Introduction to Embedded Systems

A Cyber-physical Systems Approach

Author: Edward A. Lee,Sanjit A. Seshia

Publisher: Lulu.com

ISBN: 9781312857346

Category: Embedded computer systems

Page: 549

View: 8815

This book strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. The emphasis is on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, and physical processes.
Computers

agendaCPS

Integrierte Forschungsagenda Cyber-Physical Systems

Author: Eva Geisberger,Manfred Broy

Publisher: Springer-Verlag

ISBN: 3642290981

Category: Computers

Page: 297

View: 1840

Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen. Zunehmend werden diese untereinander, aber auch mit Daten und Diensten im Internet vernetzt. So entstehen intelligente Lösungen, die mithilfe von Sensoren und Aktoren Prozesse der physikalischen Welt erfassen, sie mit der virtuellen Softwarewelt verbinden und in Interaktion mit den Menschen überwachen und steuern. Auf diese Weise entstehen sogenannte Cyber-Physical Systems, Die agendaCPS gibt einen umfassenden Überblick über das Phänomen der Cyber-Physical Systems und die damit verbundenen vielfältigen Herausforderungen. Sie illustriert, welchen Stellenwert das Thema für Wirtschaft und Gesellschaft hat: Revolutionäre Anwendungen von Cyber-Physical Systems adressieren technische und gesellschaftliche Trends und Bedürfnisse; gleichzeitig durchdringen und verknüpfen sie immer mehr Lebensbereiche. Zu den Anwendungen zählen erweiterte Mobilität, intelligente Städte, integrierte telemedizinische Versorgung, Sicherheit sowie vernetzte Produktion und Energiewandel. Die agendaCPS zeigt auf, welche Technologien die Grundlage von Cyber-Physical Systems bilden und welches Innovationspotenzial ihnen innewohnt. Zudem macht sie deutlich, welche Forschungs- und Handlungsfelder besonders wichtig sind. Anhand von Zukunftsszenarien werden wesentliche Anwendungsdomänen dargestellt, allen voran integrierte Mobilität, Telemedizin und intelligente Energieversorgung. In diesen Zusammenhängen werden Chancen, aber auch Risiken für Deutschland durch Cyber-Physical Systems deutlich.
Technology & Engineering

Cyber-Physical Systems: Decision Making Mechanisms and Applications

Author: Kostas Siozios,Dimitrios Soudris,Elias Kosmatopoulos

Publisher: River Publishers

ISBN: 8793609094

Category: Technology & Engineering

Page: 292

View: 8312

As systems continue to evolve they rely less on human decision-making and more on computational intelligence. This trend in conjunction with the available technologies for providing advanced sensing, measurement, process control, and communication lead towards the new field of the CyberPhysical System (CPS). CyberPhysical systems are expected to play a major role in the design and development of future engineering platforms with new capabilities that far exceed today's levels of autonomy, functionality and usability. Although these systems exhibit remarkable characteristics, their design and implementation is a challenging issue, as numerous (heterogeneous) components and services have to be appropriately modeled and simulated together. The problem of designing efficient CPS becomes far more challenging in case the target system has to meet also real-time constraints. CyberPhysical Systems: Decision Making Mechanisms and Applications describes essential theory, recent research and large-scale user cases that addresses urgent challenges in CPS architectures. In particular, it includes chapters on: Decision making for large scale CPSModeling of CPS with emphasis at the control mechanismsHardware/software implementation of the control mechanismsFault-tolerant and reliability issues for the control mechanismsCyberPhysical user-cases that incorporate challenging decision making
Computers

Cyber-Physical Systems

Innovationsmotoren für Mobilität, Gesundheit, Energie und Produktion

Author: acatech

Publisher: Springer-Verlag

ISBN: 3642275672

Category: Computers

Page: 48

View: 9560

Schon heute arbeiten etwa 98 Prozent der Mikroprozessoren eingebettet in Alltagsgegenständen und Geräten, über Sensoren und Aktoren mit der Außenwelt verbunden. Zunehmend werden sie untereinander und in das Internet vernetzt. Die physikalische Welt verschmilzt mit der virtuellen Welt, dem Cyberspace. Es entstehen Cyber-Physical Systems. Zukünftige Cyber-Physical Systems werden in bisher kaum vorstellbarer Weise Beiträge zu Sicherheit, Effizienz, Komfort und Gesundheit der Menschen leisten und tragen damit zur Lösung zentraler Herausforderungen unserer Gesellschaft bei, wie die alternde Bevölkerung, Ressourcenknappheit, Mobilität oder Energiewandel. Deutschland hat die Chance, sich mit innovativen Cyber-Physical Systems im internationalen Wettbewerb einen führenden Platz zu sichern. Welche Voraussetzungen dafür zu schaffen sind und wie Deutschland die technischen, politischen und gesellschaftlichen Hürden auf dem Weg dorthin bewältigen kann, benennt acatech in dieser Stellungnahme.​​
Computers

Industrie 4.0

Beherrschung der industriellen Komplexität mit SysLM

Author: Ulrich Sendler

Publisher: Springer-Verlag

ISBN: 3642369170

Category: Computers

Page: 144

View: 4875

Die nächste Stufe der industriellen Entwicklung, Industrie 4.0, erfordert die Beherrschung multidisziplinärer Entwicklung und Produktion komplexer, intelligenter Systeme. Unsere Industrie ist darauf nicht vorbereitet. Organisation, Prozesse, Management – alles ist ausgerichtet auf Produkte mit nur geringem Softwareanteil. Die Unternehmenslenker müssen ganzheitliche Strategien entwickeln. Eine einfache Verbesserung einzelner Teile des Unternehmens reicht nicht aus. Neben einer allgemeinen Analyse der Situation und der daraus resultierenden Herausforderungen kommen herausragende Vertreter aus Wirtschaft und Wissenschaft zu Wort, die das Thema aus ihrer jeweiligen Sicht beleuchten.
Computers

Cyber-Physical Systems

Innovation durch softwareintensive eingebettete Systeme

Author: Manfred Broy

Publisher: Springer-Verlag

ISBN: 3642149014

Category: Computers

Page: 141

View: 853

Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen. Sie ermöglichen neuartige industrielle Anwendungen mit hohem wirtschaftlichem Potential. Beispiele sind etwa selbststeuernde Logistiksysteme, integrierte Systeme zur Verkehrssteuerung oder intelligente Stromnetze (Smart Grids). Im Milliardenmarkt der Eingebetteten Systeme hat Deutschland bislang eine starke Position. Das hohe Innovationspotential der Cyber-Physical Systems bringt große wirtschaftliche, technische und wissenschaftliche Herausforderungen. Der wachsende Umfang eingebetteter Software und ihre zunehmende Vernetzung erfordert jedoch zwingend einen Paradigmenwechsel im Entwicklungsprozess, der in der nächsten Generation der Cyber-Physical Systems zum Verlust der guten Position Deutschlands führen könnte. Aus diesem Grund zeigt acatech, die Deutsche Akademie der Technikwissenschaften, gemeinsam mit Vertretern aus Wissenschaft, Wirtschaft und Politik Möglichkeiten und Strategien auf, wie Deutschland den Generationswechsel von Eingebetteten Systemen zu Cyber-Physical Systems meistern kann.
Technology & Engineering

MATLAB - Simulink - Stateflow

Grundlagen, Toolboxen, Beispiele

Author: Anne Angermann,Michael Beuschel,Martin Rau,Ulrich Wohlfarth

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110484897

Category: Technology & Engineering

Page: 561

View: 2723

Vorgestellt werden die numerische Programmiersprache MATLAB und ihre Erweiterungen Simulink und Stateflow. Außerdem werden die dazugehörigen Werkzeuge für Regelungstechnik, Signalverarbeitung und Optimierung behandelt, die zeitkontinuierliche und zeitdiskrete lineare und nichtlineare Systeme ebenso wie ereignisdiskrete Systeme betreffen können. Ausführlich wird dabei auf Control System Toolbox, Signal Processing Toolbox und Optimization Toolbox eingegangen. Die enthaltenen Beispiele und Übungsaufgaben decken einen Großteil des Anwendungsspektrums ab. Die dazugehörigen Aufgaben und Lösungen stehen zum Download zur Verfügung, ebenfalls eine Bibliothek nützlicher Extras für MATLAB und Simulink. Durch die kompakte Darstellung und die Befehlsübersichten ist dieses Buch auch als Nachschlagewerk geeignet. Die vorliegende 9. Auflage wurde gemäß der aktuellen MATLAB-Version überarbeitet und mit einigen Ergänzungen bis inklusive der im März erschienenen Release R2016a versehen.
Computers

Principles of Cyber-Physical Systems

Author: Rajeev Alur

Publisher: MIT Press

ISBN: 0262029111

Category: Computers

Page: 464

View: 6688

A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
Computers

Programmverifikation

Sequentielle, parallele und verteilte Programme

Author: Krzysztof R. Apt,Ernst-Rüdiger Olderog

Publisher: Springer-Verlag

ISBN: 3642579477

Category: Computers

Page: 258

View: 7597

Technology & Engineering

Exploring Cybernetics

Kybernetik im interdisziplinären Diskurs

Author: Sabina Jeschke,Robert Schmitt,Alicia Dröge

Publisher: Springer-Verlag

ISBN: 3658117559

Category: Technology & Engineering

Page: 364

View: 5081

Die Beiträge des Sammelbandes befassen sich mit zentralen Themen der Kybernetik: Was ist Kybernetik überhaupt? Wie können wir sie nutzen und wo können wir sie einsetzen? Die Autoren zeigen, dass unser Digitalzeitalter von umfassenden technologischen Neuerungen, komplexer Vernetzung und schnellen Innovationszyklen gekennzeichnet ist, die sich klassischen Beschreibungsmodellen und traditionellen Regelungsmechanismen entziehen. Immer vielfältiger interagierende Strukturen erfordern neue Methoden, um diese Komplexität zu beschreiben und zu gestalten. Hochkarätige WissenschaftlerInnen verschiedenster Fachgebiete erläutern die Kybernetik aus Sicht ihrer jeweiligen Disziplin.
Computers

Formale Begriffsanalyse

Mathematische Grundlagen

Author: Bernhard Ganter,Rudolf Wille

Publisher: Springer-Verlag

ISBN: 3642614507

Category: Computers

Page: 286

View: 3442

Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der Datenanalyse und Wissensverarbeitung. Das Buch vermittelt vor allem Methoden der graphischen Darstellung von Begriffssystemen, die sich in der Wissenskommunikation bestens bewährt haben. Theorie und graphische Darstellung werden dabei eng miteinander verknüpft. Die mathematischen Grundlagen werden vollständig abgehandelt und durch zahlreiche Beispiele anschaulich gemacht. Da zur Wissensverarbeitung immer stärker der Computer genutzt wird, gewinnen formale Methoden begrifflicher Analyse überall an Bedeutung. Das Buch macht die dafür grundlegende Theorie in kompakter Form zugänglich.
Science

Physik des erdnahen Weltraums

Eine Einführung

Author: Gerd Prölss

Publisher: Springer-Verlag

ISBN: 3642188079

Category: Science

Page: 529

View: 5798

Dieses Buch, das in die Gebiete, Methoden und Ergebnisse der Extraterrestrischen Physik einführen möchte, wendet sich an ein relativ breites Publikum. Vorausgesetzt werden lediglich Grundkenntnisse der Mathematik und Physik, wie sie in den ersten Semestern eines natur- oder ingenieurwissenschaftlichen Studiums erworben werden. Spezielleres Wissen wird im Zusammenhang mit dem jeweils betrachteten Phänomen abgeleitet. Es eignet sich daher sowohl zum Selbststudium für Quereinsteiger als auch vorlesungsbegleitend für alle Studentent der Fachrichtungen Physik, Geophysik, Meteorologie und Astronomie.
Computers

Industrie 4.0 in der Automobilproduktion

Ein Praxisbuch

Author: Walter Huber

Publisher: Springer-Verlag

ISBN: 3658127325

Category: Computers

Page: 297

View: 2590

In diesem Fachbuch werden praktische Industrie 4.0-Beispiele deutscher OEMs und Zulieferer im Automobilsektor inkl. einer Übersicht der aktuell vorhandenen Lösungen und Standards gegeben. Die in diesem Umfeld verwendeten Technologien werden anschaulich erläutert. Mittels Reifegrad- und Migrationsmodell wird die Umsetzbarkeit von Industrie 4.0. auf Basis eines Zukunfts-Szenarios beschrieben. „Quick Wins“, die schnell umgesetzt hohen Nutzen aufweisen, sowie ein Überblick über digitale Geschäftsprozesse, runden das Buch ab.
Technology & Engineering

Embedded Intelligent Systems

Author: Peter Nauth

Publisher: Walter de Gruyter

ISBN: 3486593285

Category: Technology & Engineering

Page: 208

View: 4470

Das Buch vermittelt Kenntnisse zur Technologie und dem Design von Embedded Intelligent Systems. Dazu werden neben der Kernproblematik von Embedded Intelligent Systems (Architektur, Eigenschaften und Leistungsmerkmale verschiedener Mikrocontroller, Peripherieankopplung, Programmierung in Assembler und C) auch Embedded Intelligence Algorithmen zur Signalauswertung (z.B. Mustererkennungsverfahren) näher erläutert. Beispiele zur Entwicklung von intelligenten embedded Sensoren (Spracherkennung, Smart Sensors, integrierte Abstandswarnsysteme, intelligente Kameras) vertiefen die Theorie und beschreiben Managementmethoden bei der Entwicklung kompletter Embedded Intelligent Systems. Erläuternde Beispiele sowie zahlreiche Übungsbeispiele zur Programmierung eines Prozessors veranschaulichen den Aufbau und die Theorie der Embedded Intelligent Systems. Viele dieser Beispiele finden sich auf der CD zum Lehrbuch.
Betriebssystem

Moderne Betriebssysteme

Author: Andrew S. Tanenbaum

Publisher: Pearson Deutschland GmbH

ISBN: 9783827373427

Category: Betriebssystem

Page: 1239

View: 8624

Technology & Engineering

Industrie 4.0 in Produktion, Automatisierung und Logistik

Anwendung · Technologien · Migration

Author: Thomas Bauernhansl,Michael ten Hompel,Birgit Vogel-Heuser

Publisher: Springer Vieweg

ISBN: 9783658046811

Category: Technology & Engineering

Page: 648

View: 4795

Führende Wissenschaftler und Technologen beantworten in dem neuen Standardwerk zum Thema Industrie 4.0 die Fragestellungen: Was genau ist Industrie 4.0? Wie wird sie Produktion, Automatisierung und Logistik verändern? Was sind die Erfolgsfaktoren bei der Einführung? Welche Technologien werden das Rennen machen und wie sieht die IT der Zukunft aus? Ausgehend von ersten Anwendungen diskutieren die Autoren die wichtigsten Fragen aus Sicht der Wirtschaft und stellen einen Fahrplan für eine erfolgreiche Einführung von Industrie 4.0 vor. Ein zentraler Bestandteil des Werkes und Voraussetzung für jede Investition ist die detaillierte Beschreibung der Herausforderungen und Anforderungen an die IT anhand anschaulicher Praxisbeispiele. Die Themen reichen dabei von Basistechnologien über die vertikale und horizontale Integration bis hin zu cyber-physischen Systemen und zur Mensch-Maschine-Interaktion. Aber auch Aspekte der Datensicherheit werden behandelt. Abgerundet wird der 360-Grad-Rundumblick zum Thema Industrie 4.0. durch einen Ausblick auf die Zukunft. Ein Standardwerk zu Industrie 4.0, das in keinem Unternehmen fehlen darf.