Software Design for Real-time Systems

Part 1 Real-time systems - setting the scene: categorizing computer systems; real-time computer systems; the computing elements of real-time systems; software for real-time applications - some general comments. Part 2 The search for dependable software: what do we want in our software?; software errors; the basic of good software. Part 3 First steps - requirements analysis and specification: the software life cycle; the importance of the requirements states; making mistakes - sources and causes; a practical approach to analysis and specification; communication aspects - the role of prototyping. Part 4 Program design concepts: design fundamentals; the elements of modular design; program control structures - the influence of structured programming; functional structuring of software designs; object-structured (oriented) design; data structures design; building the software - alternative techniques. Part 5 Diagramming - an introduction: diagrams - why?; the essentials of software diagrams; practical diagramming techniques. Part 6 Diagramming methodologies in software design: context and entity relationship diagrams; data flow diagrams; process structure diagram; program structure diagrams; event-dependent diagrams; structure diagrams; producing diagrams. Part 7 Formal specification methods, Paul Robinson, Rolls Royce and Associates Ltd., and M. Bushel, Computing Services Ltd: formal methods - are they useful?; the specification problem - again; why mathematics?; formal methods - general concepts; VDM; X. Part 8 Languages for real-time systems: choosing a programming language - the real questions; high-level languages - requirements; program syntax and layout rules - the readability factor; program design and compilation methods; variable usage - scope, visibility, lifetime and declaration; data types - concepts and uses; program flow control; interfacing to other languages; exception handling; accessing processor hardware - low level facilities; miscellaneous items; languages for real-time systems - survey; a comparison of Ada, C, and Modula-2/Pascal; assembly language programming. Part 9 Operating systems for real-time embedded: why use an operating system?; basic features of embedded operating systems; scheduling - concepts; scheduling - implementation; control of shared resources - mutual exclusion; intertask communication; memory management; standard executives - software in silicon. Part 10 Software analysis and design - methods, methodologies and tools: the development process; controlled requirements expression - core; Yourdon structured method - YSM; Jackson system development - JSD; MASCOT; hood - hierachical object-oriented design; software tools - an overview.