Component-Based Software Development for Embedded Systems

Component-Based Software Development for Embedded Systems

4.11 - 1251 ratings - Source

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15a€“ 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1, 000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.That is, the result of a rest operation on a zone results in a new zone in which adequate clocks are reset. ... Verification of real-time systems emphasizes checking of safety and bounded liveness properties of real-time systems using reachability analysis [17]. For an ... A number of tools exist, e.g., Uppaal [19] and Kronos [20], that use reachability analysis based on symbolic semantics of timed automata foranbsp;...

Title:Component-Based Software Development for Embedded Systems
Author: Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
Publisher:Springer - 2005-11-19

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA