Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real-Time Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 386
Release :
ISBN-10 : 9783642162763
ISBN-13 : 3642162762
Rating : 4/5 (762 Downloads)

Book Synopsis Model-Based Engineering of Embedded Real-Time Systems by : Holger Giese

Download or read book Model-Based Engineering of Embedded Real-Time Systems written by Holger Giese and published by Springer Science & Business Media. This book was released on 2010-10-06 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.


Model-Based Engineering of Embedded Real-Time Systems Related Books

Model-Based Engineering of Embedded Real-Time Systems
Language: en
Pages: 386
Authors: Holger Giese
Categories: Computers
Type: BOOK - Published: 2010-10-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain
Model-Based Testing for Embedded Systems
Language: en
Pages: 690
Authors: Justyna Zander
Categories: Computers
Type: BOOK - Published: 2017-12-19 - Publisher: CRC Press

DOWNLOAD EBOOK

What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing a
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Language: en
Pages: 494
Authors: Gomes, Lu¡s
Categories: Computers
Type: BOOK - Published: 2009-07-31 - Publisher: IGI Global

DOWNLOAD EBOOK

"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations"--Provided by publ
Model-based Testing of Real-time Embedded Systems in the Automotive Domain
Language: en
Pages: 245
Authors: Justyna Zander-Nowicka
Categories:
Type: BOOK - Published: 2009 - Publisher:

DOWNLOAD EBOOK

Design decisions that used to be made at the code level are increasingly made at a higher level of abstraction. This shift of focus from implementation to desig
Adoption and Optimization of Embedded and Real-Time Communication Systems
Language: en
Pages: 293
Authors: Virtanen, Seppo
Categories: Computers
Type: BOOK - Published: 2013-01-31 - Publisher: IGI Global

DOWNLOAD EBOOK

Adoption and Optimization of Embedded and Real-Time Communication Systems presents innovative research on the integration of embedded systems, real-time systems