Real-Time Embedded Systems
Wang, Jiacun
ISBN 10: 1118116178 ISBN 13: 9781118116173
Published by Wiley, 2017
Used
Hardcover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 6, 2009
This specific item is no longer available.
About this Item
Description:
Unread book in perfect condition. Seller Inventory # 12471920
Synopsis:
Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification
Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book:
- Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV
- Features real-world examples in finite state machines, model checking, real-time system design with UML, and more
- Covers embedded computer programing, designing for reliability, and designing for safety
- Explains how to make engineering trade-offs of power use and performance
- Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management
About the Author:
Jiacun Wang Ph.D. is a Professor of Software Engineering at Monmouth University, NJ, USA. He is a former member of the scientific staff at Nortel Networks where he worked on embedded software for mobility management of 3G telecommunication systems. He is the author of Timed Petri Nets: Theory and Application (Kluwer 1998) and editor of Handbook of Finite State Based Models and Applications (CRC 2012). He is a senior member of IEEE.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Real-Time Embedded Systems
Publisher: Wiley
Publication Date: 2017
Binding: Hardcover
Condition: As New
Top Search Results from the AbeBooks Marketplace
Seller Image
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs6275737116
Quantity: 1 available
Stock Image
Real-Time Embedded Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 500. Seller Inventory # 2654410416
Quantity: 4 available
Stock Image
Real-Time Embedded Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 500. Seller Inventory # 55149423
Quantity: 4 available
Stock Image
Real-Time Embedded Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 500. Seller Inventory # 1854410426
Quantity: 4 available
Stock Image
Real-Time Embedded Systems (Hardcover)
Published by
John Wiley & Sons Inc, New York, 2017
ISBN 10: 1118116178
ISBN 13: 9781118116173
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMVFeatures real-world examples in finite state machines, model checking, real-time system design with UML, and moreCovers embedded computer programing, designing for reliability, and designing for safetyExplains how to make engineering trade-offs of power use and performanceInvestigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses. Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9781118116173
Quantity: 1 available
Seller Image
Real-Time Embedded Systems
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Jiacun Wang, PhD, is Professor of Software Engineering at Monmouth University, NJ, USA. He is a former member of the scientific staff at Nortel Networks where he worked on embedded software for mobility management of 3G telecommunication systems. He is the . Seller Inventory # 112936743
Quantity: 1 available
Stock Image
Real-Time Embedded Systems (Hardcover)
Published by
John Wiley & Sons Inc, New York, 2017
ISBN 10: 1118116178
ISBN 13: 9781118116173
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMVFeatures real-world examples in finite state machines, model checking, real-time system design with UML, and moreCovers embedded computer programing, designing for reliability, and designing for safetyExplains how to make engineering trade-offs of power use and performanceInvestigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses. Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781118116173
Quantity: 1 available
Stock Image
Real-Time Embedded Systems
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 611. Seller Inventory # B9781118116173
Quantity: Over 20 available
Stock Image
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: New. New. book. Seller Inventory # ERICA77511181161786
Quantity: 1 available
Stock Image
Real-Time Embedded Systems
Published by
John Wiley & Sons Inc, 2017
ISBN 10: 1118116178
ISBN 13: 9781118116173
New
Hardcover
First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Series: Quantitative Software Engineering Series. Num Pages: 500 pages. BIC Classification: UKM. Category: (P) Professional & Vocational. Dimension: 250 x 150. . . 2017. 1st Edition. Hardcover. . . . . Seller Inventory # V9781118116173
Quantity: Over 20 available