Page 14 - DCAP608_REAL TIME SYSTEMS

Unit 1: Concept of Real-time System

methods, allowing deriving properties of systems from properties of components. Notes
The techniques are connected to two industrial CASE tools, leading to two verification
tool-sets. We will also develop tools that in certain cases directly synthesize systems
satisfying required properties.
3. Development Methodology: We will develop a methodology, providing guidelines
about the use and the combination of the different notations. In particular, the
methodology will be based on refinement and property preservation rules, relating
the different abstraction levels.
4. Technology Transfer: We will show how the developed results - theory, methods
and tools – can be applied to real-time systems development by using appropriate
extensions of commercially available tools. Our approach will be evaluated and
adapted on the basis of four industrial case studies.
Milestones
1. Definition of a UML kernel model (KM): a minimal subset of UML for the
development of real-time and embedded systems;
2. Semantic foundations of the KM;
3. Adaption of existing model-checking techniques to the KM for component
verification;
4. Two integrated tool-sets for system verification based on compositional methods
and synthesis; and

5. A development methodology based on semantic preserving notions of refinement.
Questions:
1. Describe the aims and objectives of development methodology in UML for embedded
and real-time systems.
2. What additional can you comment about real-time embedded systems in UML?

Source: http://cordis.europa.eu/search/index.cfm?fuseaction=proj.document&PJ_RCN=5407653

1.5 Summary

 An operating system (OS) is responsible for managing the hardware resources of a computer
and hosting applications that run on the computer.

 An operating system must have a known maximum time for each of the critical operations
that it performs.
 A real-time system is one that must process information and produce a response within a
specified time, else risk severe consequences, including failure.
 Real-time systems are often expected to involve multitasking.
 The separation of an activity into several distinct, semi-autonomous tasks leads to the
question of task sequencing.
 Hard real-time systems are often used in embedded systems.
 Soft real-time systems are usually employed when there are multiple, connected systems
that must be maintained despite shifting events and circumstances.

LOVELY PROFESSIONAL UNIVERSITY 9