Showing posts with label ada. Show all posts
Showing posts with label ada. Show all posts

Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition) Review

Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition)
Average Reviews:

(More customer reviews)
Are you looking to buy Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition)? Here is the right place to find the great deals. we can offer discounts of up to 90% on Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition). Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition) ReviewThere are a number of excellent books on the topic of real-time systems. Few, if any, address the breadth of topics covered by this book, much less to the depth and quality exhibited here. Read as many of the others as you can, but if you must purchase only one book on real-time systems, this is the one to have. Indeed, I have each of the three previous editions of this book and this latest is, once again, worth every penny.
One of the reasons I hold such a high opinion of the book is that it is written by people who not only know what they are talking about, but can do so with clarity and precision. As leading contributors to scheduling theory and the real-time programming facilities of both Ada and Java, the authors are internationally recognized experts on real-time systems and programming languages. The text's depth reflects that fact, but it is also clear, concise, and a pleasure to read.
Another reason I recommend the book is that it has a good balance between theory and practice. Make no mistake, the necessary theory is covered extensively, but it is then illustrated with concrete examples using programming languages that are in wide-spread use today: Ada, C, and Java. As neither C nor Java were explicitly designed for concurrent real-time systems, the text includes the necessary extensions. For C, the POSIX real-time profile is used. For Java, the Real-Time Specification for Java (RTSJ) is used. When necessary, examples are provided in other languages as well.
In fact these three programming languages form the underlying context for much of the book. They are not themselves the subjects of the book, however, and those readers seeking an introduction to these languages should look elsewhere. Instead, the programming languages are used to explore the distinct nature of real-time systems and the requirements for developing applications in that domain. The code examples thus provide a means of illustrating the topic at hand, but also provide a means for comparing the strengths and weaknesses of the real-time facilities of the languages. The authors are leading contributors to the Ada 2005 Real-Time Systems Annex and the RTSJ for Java, a fact reflected in the detailed critical analysis provided.
I felt happy to purchase yet another edition of the book because of all the above, but also because of the additions (and removals) present in this edition. New material includes additional schedulability analysis theory and material on multi-processor and multi-core architectures. With respect to programming languages, the new material includes extensive coverage of the real-time systems programming additions to Ada 2005, the latest version of the RTSJ, and the new real-time POSIX profile enhancements for C. As for removals, the introductory material on the programming languages is no longer present. This change was a necessity for the sake of brevity, but the result is a better overall focus. Also removed is the chapter on distributed systems. I was sorry to see that go, but the primary points have been moved to other chapters. Discussion of other programming languages, such as occam2, are also removed for the sake of brevity but is available on the book's web site.
I should point out that this is not just a "timing" book. For example, real-time systems typically have reliability requirements as well as timeliness requirements. Reliability is thus covered extensively, as are a number of other topics that might not be immediately suggested by the title.
In summary, I am a real-time systems engineer with over 30 years of professional development, industry lecturing, and occasional university lecturing experience. Based on that combination, I give this book my highest recommendation to both professionals and students alike. The field of real-time systems is not for beginners, but developers (and managers) as well as more advanced university students will definitely benefit. Both will find a text they can use to learn the latest in the field.
PS: Note that, at the time of this writing, Amazon is for some reason showing some reviews for earlier editions of the book, not this latest (fourth) edition.
Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition) OverviewB> This book provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems, and discusses how these requirements are met by current languages and operating systems.The comparative advantages of Ada 95, Real-Time Java, and Real-Time C/POSIX are discussed in full.The emergence of Java as a real-time language through the Real-Time Java extensions has resulted in the treatment of Java as one of the core languages covered in the book.The additional real-time facilities in POSIX are also explored, as well as the proposed extensions to CORBA to address real-time issues.More material on schedulability analysis is also included. No other book on real-time programming languages (or concurrent programming languages) covers this range of topics.This book is designed for programmers and engineers looking for an introduction and/or reference that discusses current real-time programming languages and how they are suited to designing and implementing real-time embedded systems.

Want to learn more information about Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition)?

>> Click Here to See All Customer Reviews & Ratings Now
Read More...

High Integrity Software: The SPARK Approach to Safety and Security Review

High Integrity Software: The SPARK Approach to Safety and Security
Average Reviews:

(More customer reviews)
Are you looking to buy High Integrity Software: The SPARK Approach to Safety and Security? Here is the right place to find the great deals. we can offer discounts of up to 90% on High Integrity Software: The SPARK Approach to Safety and Security. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

High Integrity Software: The SPARK Approach to Safety and Security ReviewIf you are in the business of creating serious software that is safety critical or security related then this book is essential reading, it is also an excellent guide if you have an interest in how such software is created. Focusing on how the SPARK language assures correctness throughout the construction of the software and how the supporting tools allow analysis of the resulting program, the book forms an essential reference work for users of the SPARK approach to developing software.
This book consists of three main parts plus an appendix.
The first part consists of an overview of why SPARK was created and the background to the language and tools.
Part two looks in detail at the SPARK language.
Part three considers the tools available; various code analysis techniques and design issues that can help in the development of high integrity software. Three small case studies are included, together with some examples of real projects where SPARK has been used in large scale industrial projects.
The Appendix covers the syntax of SPARK, how to use the CD-ROM and some notes on the continuing developments of the evolution of SPARK.
The included CD-ROM allows you to try out some of what the book teaches and includes limited versions of the SPARK Examiner toolset.
In this book John Barnes writes in a style similar to his other texts; this is rather like a guiding teacher leaning over your shoulder as you work at the computer, pointing out things to observe and illustrating with snippets of code or background information. It is a style that has been criticised by some, but I find it rather reassuring as you are guided along the path to understanding. The inclusion of a CD-ROM also allows you to understand by doing, and although the tool is limited in capability, it is possible to get a good flavour of the capabilities of its parent product.
This book replaces the previous SPARK book: "High Integrity Ada : The SPARK Approach". Barnes covers the revisions and enhancements of the SPARK language described in his original book, if you are an existing user of SPARK, you need this issue to stay up-to-date with the important revisions of the language and tools. This book tries to distance itself somewhat from Ada95, possibly because of the image that language has with less well-informed programmers, but since you need an Ada compiler to produce executables from SPARK programs it would be fair to point out that SPARK is firmly rooted in Ada95.
Creating high integrity software is a disciplined process, and the book is very much based in the practical application of SPARK in building high integrity software. The SPARK language is based solid mathematical foundations, but there is no detailed descriptions at this level, the book rightly points out that they are there and then moves on towards giving you the practical information you need to write SPARK programs. Mastering SPARK gives you unprecedented skills in the highly desirable field of producing high integrity software.
Thus spake the Master programmer:
"A well written program is its own heaven; a poorly written program is its own hell."
- - from The Tao of ProgrammingHigh Integrity Software: The SPARK Approach to Safety and Security OverviewThis book provides an accessible introduction to the SPARK programming language.* Updated 'classic' that covers all of the new features of SPARK, including Object Oriented Programming. * The only book on the market that covers this important and robust programming language. * CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.Technology: The SPARK language is aimed at writing reliable software that combines simplicity and rigour within a practical framework.Because of this, many safety-critical, high integrity systems are developed using SPARK.User Level:IntermediateAudience:Software engineers, programmers, technical leaders, software managers.Engineering companies in fields such as avionics, railroads, medical instrumentation and automobiles.Academics giving MSc courses in Safety Critical Systems Engineering, System Safety Engineering, Software Engineering.Author Biography:John Barnes is a veteran of the computing industry.In 1977 he designed and implemented the RTL/2 programming language and was an original member of the ADA programming language design team.He was founder and MD of Alsys Ltd from 1985 to 1991.Currently self employed, John is the author of 'Programming in ADA' which has sold 150000 copies and been translated into 6 languages.

Want to learn more information about High Integrity Software: The SPARK Approach to Safety and Security?

>> Click Here to See All Customer Reviews & Ratings Now
Read More...