Software Development

Read e-book online Concurrent and Real-Time Programming in Ada PDF

By Alan Burns

ISBN-10: 0511296630

ISBN-13: 9780511296635

ISBN-10: 0521866979

ISBN-13: 9780521866972

Ada is the single ISO-standard, object-oriented, concurrent, real-time programming language. it truly is meant to be used in huge, long-lived purposes the place reliability and potency are crucial, relatively real-time and embedded platforms. during this e-book, Alan Burns and Andy Wellings supply an intensive, self-contained account of the way the Ada tasking version can be utilized to build a variety of concurrent and real-time structures. this is often the one booklet that specializes in an in-depth dialogue of the Ada tasking version. Following on from the authors' previous identify Concurrency in Ada, this ebook brings the dialogue brand new to incorporate the hot Ada 2005 language and the hot advances in real-time programming strategies. it will likely be of price to software program execs and complex scholars of programming alike: certainly each Ada programmer will locate it crucial examining and a prime reference paintings that might sit down along the language reference handbook.

Show description

Read Online or Download Concurrent and Real-Time Programming in Ada PDF

Best software development books

New PDF release: Software Engineering: (Update) (8th Edition)

Good selection and association of themes, made all of the extra authoritative by means of the author's credentials as a senior educational within the sector Prof. David S. Rosenblum, collage university London i locate Somerville inviting and readable and with extra applicable content material Julian Padget, collage of bathtub Sommerville takes case reports from greatly varied parts of SE.

Model-Driven Software Development - download pdf or read online

Abstraction is the main easy precept of software program engineering. Abstractions are supplied by means of versions. Modeling and version transformation represent the middle of model-driven improvement. versions should be sophisticated and eventually be remodeled right into a technical implementation, i. e. , a software program method. the purpose of this e-book is to offer an outline of the state-of-the-art in model-driven software program improvement.

Model-Driven Software Development: Technology, Engineering, by Thomas Stahl PDF

Model-Driven software program improvement (MDSD) is at the moment a very popular improvement paradigm between builders and researchers. With the appearance of OMG's MDA and Microsoft's software program Factories, the MDSD strategy has moved to the centre of the programmer's recognition, changing into the focal point of meetings resembling OOPSLA, JAOO and OOP.

Extra info for Concurrent and Real-Time Programming in Ada

Sample text

The notion of correctness applies across all minimal execution environments, be they single-processor with priority-based or EDF scheduling, single-processor with round-robin scheduling, multiprocessor shared-memory systems, or distributed systems. This makes comprehensive testing difficult. 4 System performance, correctness and reliability 37 may not be possible to produce invalid results on the available platform for testing. But it may fail on another platform or when the ‘current’ hardware is enhanced.

The important concept is therefore concurrency (as it encompasses all three of the above cases) irrespective of whether or not the implementation of concurrency involves parallelism or pseudo-parallelism. A correct concurrent program will execute in accordance with its functional specification on all three platforms. Only its performance should change, perhaps dramatically, as the nature of the hardware is altered. Concurrent programming is the name given to programming notations and techniques for expressing potential parallelism and for solving the resulting synchronisation and communication problems.

Issues of process representation and implementation have been illustrated by the use of an example of an embedded real-time system. 6 Further reading G. R. Andrews, Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000. J. Bacon, Concurrent Systems, 2nd Edition, Addison-Wesley, 1998. M. Ben-Ari, Principles of Concurrent and Distributed Programming, 2nd Edition, Addison-Wesley, 2006. BURNSWELL: “BURNS” — 2007/4/27 — 20:22 — PAGE 30 — #44 3 Inter-process communication The major difficulties associated with concurrent programming arise from process interaction.

Download PDF sample

Concurrent and Real-Time Programming in Ada by Alan Burns


by Anthony
4.4

Rated 4.71 of 5 – based on 4 votes