Authorised by Academic Registrar, April 1996
Objectives At the completion of this subject students should understand issues involved in developing real-time software; be able to develop multi-tasking software for distributed systems; and appreciate the difference between application and data communication software.
Synopsis Methodology and models of software development. Real-time programming. Concurrency. Mutual exclusion, process synchronisation and communications mechanisms. Distributed systems. Layered architecture and OSI. Formal methods for software specification and verification of correctness. SDL. State charts. Implementation issues. Software reliability engineering. Software management and quality assurance.
Assessment Examination (2 hours): 60% + Practical work (design and development of a data communication application): 40%