Module Code - Title:
EE6004
-
REAL-TIME EMBEDDED SYSTEMS
Year Last Offered:
2025/6
Hours Per Week:
Grading Type:
N
Prerequisite Modules:
EE6411
Rationale and Purpose of the Module:
Study of real-time (software) system design concepts. Presentation of methodologies at application level and system level. Part of new programme Master Of Engineering in Edge Computing
Syllabus:
Introduction: Definitions and application examples.
Scheduling Algorithms: Clock-driven, Earliest Deadline First, Rate Monotonic, Resource allocation
Language Features: Programming language features for real-time support for concurrency, synchronisation, hard-scheduling etc. Study of features for languages such as C++, Ada, Modula-2, Chill etc.
Operating System Features: Features to define a real-time operating system. Emphasis is on embedded systems. Design Approaches: Time continuous data flow, event flow and control transformation. Ward and Mellor extensions for structured analysis.
State transition diagram representation. Design approaches eg. DARTS.
Design and Modelling using Petri Nets: Modelling of a concurrent systemÆs states and events using Petri-nets which include temporal properties in the model.
Design and Analysis: Introduction to real-time logic, RTL. Application of RTL. Real-time temporal logic. State Machines and Real-time temporal logic.
Real-Time Program Verification: Testing methods, Risk calculation, Static analysis, Simulation as a verification tool.
Formal Techniques: Study of formal techniques for real-time systems.
Case Study
Learning Outcomes:
Cognitive (Knowledge, Understanding, Application, Analysis, Evaluation, Synthesis)
On successful completion of this module, students will be able to:
1. Given a specification of a real-time system and a scheduling algorithm the student will be able to determine if system meets all deadlines
2. Given a specification of a real-time system the student will be able to select and justify an appropriate scheduling algorithm
3. Use mathematical techniques to analyse and compare real-time system schedules
4. Given a set of requirements describe the process of formally specifying, developing, testing and proving the correctness of a real-time system
5. Compare the real-time features of four real-time operating systems
6. Define the precise time critical interaction between micro-controller hardware and timed events on embedded systems
Affective (Attitudes and Values)
On successful completion of this module, students will be able to:
None
Psychomotor (Physical Skills)
On successful completion of this module, students will be able to:
None
How the Module will be Taught and what will be the Learning Experiences of the Students:
Lectures/Labs
Research Findings Incorporated in to the Syllabus (If Relevant):
Prime Texts:
Liu, J.W. (2000)
Real-Time Systems
, Prentice Hall
Other Relevant Texts:
Cooling, L. (2003)
Software Engineering for Real-Time Systems
, Addison-Wesley
Goldsmith, S. (1993)
A Practical Guide to Real-Time Systems Developement
, Prentice Hall
Programme(s) in which this Module is Offered:
MEINSETFA - INFORMATION AND NETWORK SECURITY
Semester(s) Module is Offered:
Spring
Module Leader:
kevin.murphy@ul.ie