Train Gate System A one-directional railway track crosses a road A gate at the crossing may be lowered or raised under computer control A short distance.

Slides:



Advertisements
Similar presentations
Chapter 16 : KRONOS (Model Checking of Real-time Systems)
Advertisements

A Sample RTOS Presentation 4 Group A4: Sean Hudson, Manasi Kapadia Syeda Taib.
Synchronization and Deadlocks
Programmable Interval Timer
1. In industrialized nations, up to 30 percent suffer from food contamination In the US, 76 million people suffer and 5,000 die annually from food contamination.
1 Transport Protocols & TCP CSE 3213 Fall April 2015.
Transport Layer3-1 TCP. Transport Layer3-2 TCP: Overview RFCs: 793, 1122, 1323, 2018, 2581 r full duplex data: m bi-directional data flow in same connection.
Chapter 6 Concurrency: Deadlock and Starvation
Chapter 6 Concurrency: Deadlock and Starvation
11 PERFECT COMPETITION CHAPTER.
Explicit Congestion Notification ECN Tilo Hamann Technical University Hamburg-Harburg, Germany.
Review: Process Management Objective: –Enable fair multi-user, multiprocess computing on limited physical resources –Security and efficiency Process: running.
Mahapatra-A&M-Sprong'021 Co-design Finite State Machines Many slides of this lecture are borrowed from Margarida Jacome.
Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 10: Statecharts.
Lecture #5 In this lecture we will introduce the sequential circuits.
Slide - 1 Dr Terry Hinton 6/9/05UniS - Based on Slides by Micro Analysis & Design An example of a Simulation Simulation of a bank: Three tasks or processes:
1 Concurrency: Deadlock and Starvation Chapter 6.
May 20, 2008 Train Detection 1 Train Detection Systems Mid-States Highway-Rail Grade Crossing Safety Conference Session 4 Use of New Technology for Highway-Rail.
Introduction to Embedded Systems
Timed UML State Machines Ognyana Hristova Tutor: Priv.-Doz. Dr. Thomas Noll June, 2007.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Object-Oriented Software Engineering Practical Software Development using UML and Java Chapter 8: Modelling Interactions and Behaviour.
(C) 2009 J. M. Garrido1 Object Oriented Simulation with Java.
ENTC-489 Embedded Real Time Software Development Embedded Real Time Software Development Week 10 Real Time System Design.
Lecture 2 Process Concepts, Performance Measures and Evaluation Techniques.
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
3: Transport Layer3b-1 TCP: Overview RFCs: 793, 1122, 1323, 2018, 2581 r full duplex data: m bi-directional data flow in same connection m MSS: maximum.
By Anthony Moody Rhys Porter Nicolas Wilson.  Background  Objectives  Design  Normal Operation  Logic  Failure  Issues and solutions  Improvements.
1 TCP: Reliable Transport Service. 2 Transmission Control Protocol (TCP) Major transport protocol used in Internet Heavily used Completely reliable transfer.
Session 21 Applying the Basic Statechart to the Case Study Written by Thomas A. Pender Published by Wiley Publishing, Inc. October 27, 2011 Presented by.
Slide 1 What are the parts of a barrier system? What triggers the gate to open? What makes the barrier move? What causes it to close? Are there any other.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Communicating Real-Time State Machines (CRSM) State machines that communicate synchronously Unique unidirectional channels are used for the communication.
1 Kyung Hee University Statecharts Spring Kyung Hee University Specifying Objects’ Behaviour  Interaction diagrams show message-passing behaviour.
Networking Basics CCNA 1 Chapter 11.
Object Oriented Discrete-Event Simulation CS4730 Fall 2010 Jose M. Garrido Department of Computer Science and Information Systems Kennesaw State University.
Testing Railway Interlockings with TTCN-3 Stefan Blom University of Innsbruck Natalia Ioustinova,Jaco van de Pol
Chapter 24 Transport Control Protocol (TCP) Layer 4 protocol Responsible for reliable end-to-end transmission Provides illusion of reliable network to.
1 Interrupts, Resets Today: First Hour: Interrupts –Section 5.2 of Huang’s Textbook –In-class Activity #1 Second Hour: More Interrupts Section 5.2 of Huang’s.
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
Dynamic Models Sequence Diagrams Collaboration Diagrams Activity Diagrams.
AUTOMATIC RAILWAY GATE CONTROLLING AND TRACK SWITCHING
Comments on Nachos Assignment 3. EventBarrier EventBarrier has a binary “memory”. It has a “broadcast” to notify all waiting threads of an event. The.
Deadlock Operating Systems: Internals and Design Principles.
1 Computer Networks Congestion Avoidance. 2 Recall TCP Sliding Window Operation.
Practice Five Chapter Seven.
(C) J. M. Garrido1 Objects in a Simulation Model There are several objects in a simulation model The activate objects are instances of the classes that.
CHP-4 QUEUE Cont…. 7.DEQUE Deque (short form of double-ended queue) is a linear list in which elements can be inserted or deleted at either end but not.
Transport Layer3-1 Transport Layer If you are going through Hell Keep going.
Copyright 2007 by Rombix. R CyClops is a computer vision solution which could integrate most of the Real World Computer Vision Application. Available.
NET 222: COMMUNICATIONS AND NETWORKS FUNDAMENTALS ( NET 222: COMMUNICATIONS AND NETWORKS FUNDAMENTALS (PRACTICAL PART) Tutorial 4 : Chapter 7 Data & computer.
Informationsteknologi Monday, October 1, 2007Computer Systems/Operating Systems - Class 111 Today’s class Deadlock.
Fast Retransmit For sliding windows flow control we waited for a timer to expire before beginning retransmission of a packet TCP uses an additional mechanism.
REAL-TIME OPERATING SYSTEMS
HCS12 Exceptions Maskable Interrupts
OPERATING SYSTEMS CS 3502 Fall 2017
Jacob R. Lorch Microsoft Research
Edward Andert, Mohammad Khayatian, Aviral Shrivastava
Programmable Interval Timer
Process Description and Control
Chapter 2 Scheduling.
100BASE-TX: uses 2-pair UTP or STP that can handle 125 MHz signals and beyond. It uses a binary coding scheme called 4B5B, every 5 clock pulses are used.
Chapter 5 TCP Transmission Control
TCP Connection Establishment and Termination
CS4470 Computer Networking Protocols
TCP Connection Establishment and Termination
100BASE-TX: uses 2-pair UTP or STP that can handle 125 MHz signals and beyond. It uses a binary coding scheme called 4B5B, every 5 clock pulses are used.
Lecture #5 In this lecture we will introduce the sequential circuits.
Input-Output-Process Demo
Uniprocessor scheduling
Presentation transcript:

Train Gate System A one-directional railway track crosses a road A gate at the crossing may be lowered or raised under computer control A short distance from the crossing a sensor detects entering trains A short distance from the crossing a sensor detects leaving trains.

Physical Requirements The gate must be closed whenever there are trains in the area The gate must be kept open when there are no trains in the area

Timing Requirements The arriving trains have an average inter- arrival period, avgP The gate takes z time units to close (or open).

Simulation Outputs Trace of events Performance measures –Number of trains serviced –Worst reaction time –Worst response time –Number of deadlines missed: Gate opening/closing Communication timeouts

Train Control A physical safety requirement of the system is that the gate is closed whenever there are trains in the area The physical liveness requirement is to keep the gate open if there are no trains in the area The controller C controls the gate with the openg (og) and closeg (cg) commands.

Timeouts Activity timeouts Communications timeout

Activity Timeouts The Gate takes a maximum of z time units to close or to open The controller process normally waits for the Gate to open or close If the Gate takes longer than the maximum allocated time, the controller flags a timeout for the gate and triggers an alarm

Communication Timeouts The real-time systems uses synchronous communications In the normal case, one of the processes, either the sender or the receiver, will wait for the other to establish the communication A communication timer object will interrupt a process attempting to communicate, on timeout.

Sequence Diagram for Train Arrival

Main Class Diagram

Train Gate System Communication Diagram

Entry Sensor

Revised Entry sensor

Exit Sensor

Revised Exit Sensor

Monitor

Revised Monitor

Controller Process

Revised Controller Process

Gate Process

Revised Gate