|
|
Showing 1 - 2 of
2 matches in All Departments
Eingebettete Systeme sind aus unserem taglichen Leben nicht mehr
wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese
zunehmend aus interagierenden Hardware- und Software-Komponenten
realisiert. Dies macht ein ganzheitliches, uber Hardware- und
Softwaregrenzen hinausgehendes Verstandnis der
Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch
dient als Einfuhrung in die systematische Verifikation
eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur
Hardware- und Software-Verifikation als auch bei der Verifikation
der Schnittstellen. Alle Verfahren werden in einer einheitlichen
Notation fur Hard- und Software beschrieben.
Eine Einfuhrung in Verfahren zum systematischen Entwurf
eingebetteter Systeme: Diese sind in einen technischen Kontext
eingebettet und zugleich aus Optimalitatsgrunden hinsichtlich ihrer
Aufgaben, Fahigkeiten, Schnittstellen und Einsatzgebiete
spezialisiert. Daher mussen Hardware- und Softwarekomponenten
miteinander kooperieren. Wichtige Einsatzgebiete sind die
Automobil- und Unterhaltungselektronik sowie die Kommunikations-
und Medizintechnik. Die Autoren beschreiben alle Verfahren in einer
einheitlichen Notation fur Hard- und Software, wobei die
wesentlichen Inhalte von der Modellierung bis hin zur
Codegenerierung reichen. Aufgrund der steigenden Bedeutung
eingebetteter Systeme stellt dieses Buch unentbehrliches Wissen zu
Verfugung.
|
You may like...
The New Kingdom
Wilbur Smith, Mark Chadbourn
Hardcover
(1)
R589
R530
Discovery Miles 5 300
Mermaid Fillet
Mia Arderne
Paperback
(2)
R320
R286
Discovery Miles 2 860
Die Verevrou
Jan van Tonder
Paperback
R385
R344
Discovery Miles 3 440
New Times
Rehana Rossouw
Paperback
(1)
R280
R259
Discovery Miles 2 590
The Spy Coast
Tess Gerritsen
Paperback
R395
R353
Discovery Miles 3 530
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.