Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real-Time Systems

Author: Holger Giese

Publisher: Springer Science & Business Media

ISBN: 9783642162763

Category: Computers

Page: 385

View: 558

Download Now
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.
Object-Oriented Technology and Computing Systems Re-Engineering
Language: en
Pages: 208
Authors: H. S. M. Zedan, A Cau
Categories: Computers
Type: BOOK - Published: 1999-10-01 - Publisher: Elsevier

This book delivers the latest developments in object technology and their impact in computing systems re-engineering. Object-oriented programming is here shown to provide support for constructing large scale systems that are cheaply built and with reusable components, adaptable to changing requirements and use efficient and cost-effective techniques. Internationally recognised authorities
Model-Based Engineering of Embedded Real-Time Systems
Language: en
Pages: 385
Authors: Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz
Categories: Computers
Type: BOOK - Published: 2010-10-06 - Publisher: Springer Science & Business Media

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
Object-oriented Technology for Real-time Systems
Language: en
Pages: 276
Authors: Maher Awad, Juha Kuusela, Jürgen Ziegler
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: Prentice Hall

This book presents the OCTOPUS method, providing a systematic and effective approach for developing object-oriented software for embedded real-time systems. The method is based on the popular OMT and Fusion methods, but also embodies common practice found in real-time systems. It applies proven object-oriented techniques, while matching the specific needs
Electronic Design Automation for IC System Design, Verification, and Testing
Language: en
Pages: 644
Authors: Luciano Lavagno, Igor L. Markov, Grant Martin, Louis K. Scheffer
Categories: Technology & Engineering
Type: BOOK - Published: 2017-12-19 - Publisher: CRC Press

The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance
Embedded Systems Handbook
Language: en
Pages: 666
Authors: Richard Zurawski
Categories: Technology & Engineering
Type: BOOK - Published: 2018-09-03 - Publisher: CRC Press

Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and