SPECIFICATION & PRELIMINARY DESIGN

RTOS SELF LEARNING PRESENTATION

Guided by – Prof. Priya Khobragade

Presented by – Aniket Mahule
CS18004
7th SEM CSE
REAL TIME OPERATING SYSTEM

 Real-time operating system (RTOS) is an operating system intended to serve real time application that process
data as it comes in, mostly without buffer delay.
 In a RTOS, Processing time requirement are calculated in tenths of seconds increments of time.
 It is time-bound system that can be defined as fixed time constraints.
 In this type of system, processing must be done inside the specified constraints. Otherwise, the system will fail.
DESIGN OF REAL TIME SYSTEM

 The design of Real Time Operating systems takes places in various,

careful and meticulous stages.
 It should be noted that the design of real time systems should always
be up to the mark and should not have any mistakes.
REQUIREMENTS

 The demands placed on a real-time system arise from the needs of the application and are often called the
requirements.
 Deciding on the precise requirements is a skilled task and can be carried out only with very good knowledge and
experience of the application.
 Failures of large systems are often due to errors in defining the requirements.
 Fora safety-related real-time system, the operational requirements must then go through a hazard and risk analysis
to determine the safety requirements.
REQUIREMENTS (CONTD.)

 Requirements are often divided into two classes: functional requirements, which define the operations of the
system and their effects, and non-functional requirements, such as timing properties.
 A system which produces a correctly calculated response but fails to meet its timing-bounds can have as
dangerous an effect as one which produces a spurious result on time.
 So, for a real-time system, the functional and non-functional requirements must be precisely defined and together
used to construct the specification of the system.
SPECIFICATIONS

 A specification is a mathematical statement of the properties to be exhibited by a system. A specification should be

abstract so that :
 it can be checked for conformity against the requirement, and
 its properties can be examined independently of the way in which it will be implemented, i.e. as a program executing on a
particular system.
 The first task in developing a specification is to make the informal description more precise.
 Some requirements may be very well defined but it is quite common for many requirements to be stated
incompletely or with inconsistencies between requirements.
 The process of converting informally stated requirements into a more precise form helps to uncover
inconsistencies and inadequacies in the description, and developing a specification often needs many iterations.
PRELIMINARY DESIGN

 Preliminary design is basically the initial formal or semi formal algorithm design based on which the actual
program would be implemented.
 This design is done based on the specifications obtained from the previous stage of design.
THANK YOU