timing analysis of sensors voting using if
play

Timing analysis of sensors voting using IF Omega workshop Grenoble - PowerPoint PPT Presentation

Oct 15, 2022 •344 likes •531 views

OMEGA OMEGA IST-2001 - Project 33522 IST-2001-33522 Timing analysis of sensors voting using IF Omega workshop Grenoble February 17, 2005 Meir Zenou 1 OMEGA Workshop - Grenoble, February 17, 2005 OMEGA OMEGA System overview

  1. OMEGA OMEGA IST-2001 - Project 33522 IST-2001-33522 Timing analysis of sensors voting using IF Omega workshop Grenoble – February 17, 2005 Meir Zenou 1 OMEGA Workshop - Grenoble, February 17, 2005

  2. OMEGA OMEGA System overview IST-2001-33522 Sensor A (#1) Sensor A (#2) Sensor A (#3) � Flight Control Flight Control Flight Control Computer (#1) Computer (#2) Computer (#3) Servo-Actuator 2 OMEGA Workshop - Grenoble, February 17, 2005

  3. OMEGA OMEGA Voting & Monitoring IST-2001-33522 � Voting : � From the three received Sensor or Command (Channel) values , detect if one of them is "out of range" ( e.g : largely different from the others ) � Monitoring : � If a sensor/channel is detected discrepant for more than N successive cycles,this channel is disqualified . Also , if a channel is correct for more than N cycles , it is qualified � If a sensor/channel is detected discrepant for more than N' cycles ( not successive ) , a warning is generated � Results are provided to System Health Manager 3 OMEGA Workshop - Grenoble, February 17, 2005

  4. OMEGA OMEGA System overview (3) IST-2001-33522 Sensor1 Sensor2 Sensor3 1 1 VotingAndMonitoring::DevMe 1 1 Health System RTC 1 1 1 ChannelRight ChannelLeft FC 4 OMEGA Workshop - Grenoble, February 17, 2005

  5. OMEGA OMEGA Tools evaluation IST-2001-33522 Tools Case study Activities Play Engine One CPU and 3 sensors GUI , Behavior specification , Behavior verification RUVE Focus on non-realtime issues Drive to state & Drive to Property (direct Reduced Model ( 12 classes , and negative) 4 statecharts) IF No functionality (voting , Mainly Verification of timed monitoring , computations..) properties All objects are active Two CPUs. 5 OMEGA Workshop - Grenoble, February 17, 2005

  6. OMEGA OMEGA Time requirements IST-2001-33522 � Sensor Time specifications � Acquiring of physical measurement requires 0.5 to 3 msec � Treatment and transfer to Muxbus requires 0.1 to 0.5 msec � Muxbus Time specifications � Writing data from Sensor to its memory requires 100 to 200 usec � Reading data from its memory and provision to CPU requires 50 to 100 usec 6 OMEGA Workshop - Grenoble, February 17, 2005

  7. OMEGA OMEGA Class diagram IST-2001-33522 7 OMEGA Workshop - Grenoble, February 17, 2005

  8. OMEGA OMEGA Sensor IST-2001-33522 8 OMEGA Workshop - Grenoble, February 17, 2005

  9. OMEGA OMEGA Muxbus IST-2001-33522 9 OMEGA Workshop - Grenoble, February 17, 2005

  10. OMEGA OMEGA System IST-2001-33522 10 OMEGA Workshop - Grenoble, February 17, 2005

  11. OMEGA OMEGA IF observer : Sampling time limits IST-2001-33522 Express the minimal and maximal delays authorized to the System till it � enters the compute state : Minimal delay (msec) : Min(acquiring) + Min(treatment ) + 3 X Min(muxbus � Write) + 3 X Min ( muxbus Read ) = 500 + 100 + 3x100 + 3x50 = 1050 Maximal delay (msec) : Max(acquiring) + Max(treatment ) + 3 X Max(muxbus � Write) + 3 X Max ( muxbus Read ) = 3000 + 500 + 3x200 + 3x100 = 4400 11 OMEGA Workshop - Grenoble, February 17, 2005

  12. OMEGA OMEGA IF observer : Sampling time limits IST-2001-33522 12 OMEGA Workshop - Grenoble, February 17, 2005

  13. OMEGA OMEGA IF observer : Entering error state IST-2001-33522 Express that if the system was in error state , at most one sensor was OK � This is obtained by counting the generations of evWrite events ( expressing � that the sensor is OK ) and checking the counter value when the system has entered the error state 13 OMEGA Workshop - Grenoble, February 17, 2005

  14. OMEGA OMEGA IF observer : Entering error state IST-2001-33522 14 OMEGA Workshop - Grenoble, February 17, 2005

  15. OMEGA OMEGA IF observer : Time difference IST-2001-33522 Evaluate ( t timer ) the time delay between the read of the same sensor � from Muxbus memory by two different Nodes and check that this delay does not exceed an expected limit . The time limit corresponds to the following worst sequence � Sensor writes Data 1 � Node 1 reads Data 1 � 100 Sensor writes Data 2 � 200 Sensor writes Data 3 � 200 Node 2 reads Data 1 � We checked the model with 2 values for the timeout : With 500 it is OK � while with 501 usec we reach error state 15 OMEGA Workshop - Grenoble, February 17, 2005

  16. OMEGA OMEGA IF Observer : Time difference IST-2001-33522 16 OMEGA Workshop - Grenoble, February 17, 2005

  17. OMEGA OMEGA Conclusions IST-2001-33522 Strong capability of time analysis and model checking Can serve for Model debugging – simulation . User friendly Observers statecharts Observers statecharts multiplication can complicate the model. Cryptic error messages Scalability problem 17 OMEGA Workshop - Grenoble, February 17, 2005

Recommend

Electronic Voting Electronic voting at a precinct Analysis of an Internet Voting Focus

Electronic Voting Electronic voting at a precinct Analysis of an Internet Voting Focus

Electronic Voting Electronic voting at a precinct Analysis of an Internet Voting Focus is on preventing fraud on the part of Protocol people building and running system. Electronic voting over the internet Dale Neal Must

508 views • 5 slides
EECS 388: Embedded Systems 10. Timing Analysis Heechul Yun 1 Agenda Execution time analysis

EECS 388: Embedded Systems 10. Timing Analysis Heechul Yun 1 Agenda Execution time analysis

EECS 388: Embedded Systems 10. Timing Analysis Heechul Yun 1 Agenda Execution time analysis Static timing analysis Measurement based timing analysis 2 Execution Time Analysis Will my brake-by-wire system actuate the brakes

1.31k views • 37 slides
Timing Analysis Timing Path Groups and Types Timing paths are grouped into path groups

Timing Analysis Timing Path Groups and Types Timing paths are grouped into path groups

Introduction to Digital VLSI Logic Synthesis Timing Analysis Timing Path Groups and Types Timing paths are grouped into path groups according to the clock associated with the endpoint of the path. There is a default path group that

541 views • 18 slides
A Compact and Accurate Timing Macro Model for Efficient Hierarchical Timing Analysis Pei-Yu Lee ,

A Compact and Accurate Timing Macro Model for Efficient Hierarchical Timing Analysis Pei-Yu Lee ,

A Compact and Accurate Timing Macro Model for Efficient Hierarchical Timing Analysis Pei-Yu Lee , Iris Hui-Ru Jiang, Ting-You Yang National Chiao Tung University Outline Introduction Problem Formulation Proposed Algorithm

807 views • 36 slides
3D Trenched-Electrode Sensors for Charged Particle Tracking and Timing R. Mendicino 1,2 , M.

3D Trenched-Electrode Sensors for Charged Particle Tracking and Timing R. Mendicino 1,2 , M.

ULITIMA, 12 Sept. 2018 G.-F. Dalla Betta 3D Trenched-Electrode Sensors for Charged Particle Tracking and Timing R. Mendicino 1,2 , M. Boscardin 3,2 , G. T. Forcolin 1,2 , A. Lai 4 , A. Loi 4,5 , S. Ronchin 3,2 , S. Vecchi 6 , G.-F. Dalla Betta

712 views • 46 slides
Our Product Range Color Sensors Luminescence Sensors Contrast Sensors Opacity

Our Product Range Color Sensors Luminescence Sensors Contrast Sensors Opacity

EMX Industries Inc . Application Driven Sensors Our Product Range Color Sensors Luminescence Sensors Contrast Sensors Opacity Sensors Brightness Sensors Special Sensors Bluetooth Switch The Facts Fastest Speed

309 views • 10 slides
A Comprehensive Analysis Of Quantum E-voting Protocols M. Arapinis, N. Lamprou, E. Kashefi, A.

A Comprehensive Analysis Of Quantum E-voting Protocols M. Arapinis, N. Lamprou, E. Kashefi, A.

A Comprehensive Analysis Of Quantum E-voting Protocols M. Arapinis, N. Lamprou, E. Kashefi, A. Pappa 29 August 2018 Electronic Voting compared to manual procedures, could provide: higher voter participation better accuracy enhanced

478 views • 29 slides
Development of 3D Trenched-Electrode Pixel Sensors with improved Timing performance G. Forcolin ,

Development of 3D Trenched-Electrode Pixel Sensors with improved Timing performance G. Forcolin ,

Development of 3D Trenched-Electrode Pixel Sensors with improved Timing performance G. Forcolin , R. Mendicino, G.F. Dalla Betta University of Trento and TIFPA-INFN M. Boscardin, S. Ronchin TIFPA-INFN and FBK A. Lai INFN Cagliari A. Loi

546 views • 27 slides
Analysis of electronic voting protocols in applied pi calculus Mark Ryan University of

Analysis of electronic voting protocols in applied pi calculus Mark Ryan University of

Analysis of electronic voting protocols in applied pi calculus Mark Ryan University of Birmingham based on joint work with Ben Smyth Steve Kremer Mounira Kourjieh IFIP WG 1.3, Udine, Italy September 2009 Outline Electronic voting Applied

695 views • 30 slides
A Highly Compressed Timing Macro-modeling Algorithm for Hierarchical and Incremental Timing

A Highly Compressed Timing Macro-modeling Algorithm for Hierarchical and Incremental Timing

A Highly Compressed Timing Macro-modeling Algorithm for Hierarchical and Incremental Timing Analysis Tin-Yin Lai, and Martin D. F. Wong March. 16, 2018 Outline Introduction Timing Macro-modeling Problem Formulation Previous

397 views • 23 slides
Systems March 15-16, 2018 Why additional timing analysis for multi-voltage paths? In

Systems March 15-16, 2018 Why additional timing analysis for multi-voltage paths? In

Jignesh Shah Programmable Solutions Group, Intel ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems March 15-16, 2018 Why additional timing analysis for multi-voltage paths? In advanced FPGA

632 views • 23 slides
Real-Time Monitoring Sensors Rain Gauge Sensors: Water Level Sensors: Other Sensors:

Real-Time Monitoring Sensors Rain Gauge Sensors: Water Level Sensors: Other Sensors:

Real-Time Monitoring Sensors Rain Gauge Sensors: Water Level Sensors: Other Sensors: Tipping Bucket Above Water - Radar, Ultrasonic Soil Moisture Sensor Measures Accumulation and Rainfall Rate Submersible

536 views • 7 slides
Challenges of analysis or Why WCET analysis does not work now and will not work in the future

Challenges of analysis or Why WCET analysis does not work now and will not work in the future

Timing Analysis Seminar / Aalto ESG Challenges of analysis or Why WCET analysis does not work now and will not work in the future Niklas Holsti Tidorum Ltd www.tidorum.fi Tid rum Timing Analysis / Aalto ESG / T-106.5840, 12.5.2011 slide 1

420 views • 31 slides
GPU-Accelerated Static Timing Analysis Zizheng Guo 1 , Tsung-Wei Huang 2 , Yibo Lin 1 1 CS

GPU-Accelerated Static Timing Analysis Zizheng Guo 1 , Tsung-Wei Huang 2 , Yibo Lin 1 1 CS

GPU-Accelerated Static Timing Analysis Zizheng Guo 1 , Tsung-Wei Huang 2 , Yibo Lin 1 1 CS Department, Peking University 2 ECE Department, University of Utah Outline 2 Introduction Static timing analysis (STA) Previous work on STA

800 views • 23 slides
Timing properties of the black hole candidate XTE J1752-223 during the initial hard state of its

Timing properties of the black hole candidate XTE J1752-223 during the initial hard state of its

Timing properties of the black hole candidate XTE J1752-223 during the initial hard state of its 2009-2010 outburst Tao Chen Overview Observation and Data Reduction Results Timing analysis Spectral analysis Connection between

673 views • 23 slides
The United Nations Voting Dataset Exploratory Data Analysis: Case Study UN Voting Dataset Roll

The United Nations Voting Dataset Exploratory Data Analysis: Case Study UN Voting Dataset Roll

EXPLORATORY DATA ANALYSIS: CASE STUDY The United Nations Voting Dataset Exploratory Data Analysis: Case Study UN Voting Dataset Roll call ID Session (year) Vote Country code rcid session vote ccode Each row is a country- 46 2 1 2

461 views • 26 slides
Trade-off Analysis between Timing Error Rate and Power Dissipation for Adaptive Speed Control

Trade-off Analysis between Timing Error Rate and Power Dissipation for Adaptive Speed Control

Trade-off Analysis between Timing Error Rate and Power Dissipation for Adaptive Speed Control with Timing Error Prediction Hiroshi Fuketa * , Masanori Hashimoto * , Yukio Mitsuyama * , and Takao Onoye * *Dept. Information Systems

588 views • 27 slides
Timing correction for Germanium Detectors via Signal Rise-time Analysis Fakulta Dr. Tobias

Timing correction for Germanium Detectors via Signal Rise-time Analysis Fakulta Dr. Tobias

GSI Helmholtzzentrum fr Schwerionenforschung, Comenius University, Bratislava Timing correction for Germanium Detectors via Signal Rise-time Analysis Fakulta Dr. Tobias Habermann, Mat Balogh Dr. Jrgen Gerl Timing correction for

178 views • 14 slides
On the Meaning of pWCET Distributions and their use in Schedulability Analysis Robert I. Davis

On the Meaning of pWCET Distributions and their use in Schedulability Analysis Robert I. Davis

On the Meaning of pWCET Distributions and their use in Schedulability Analysis Robert I. Davis How do we verifying the timing correctness of a real-time system? Typically a two step process Timing Analysis Used to characterise the

629 views • 39 slides
Michigan Votes in 2020 Voter registration, absentee voting, and Election Day New Voting Laws New

Michigan Votes in 2020 Voter registration, absentee voting, and Election Day New Voting Laws New

Michigan Votes in 2020 Voter registration, absentee voting, and Election Day New Voting Laws New Michigan Voting Laws Prop 3 of 2018 added several voting policies to the Michigan constitution, including: straight-ticket voting, automatic

510 views • 15 slides
A Threat Analysis on UOCAVA Voting Systems Overview Lynne S. Rosenthal lynne.rosenthal@nist.gov

A Threat Analysis on UOCAVA Voting Systems Overview Lynne S. Rosenthal lynne.rosenthal@nist.gov

A Threat Analysis on UOCAVA Voting Systems Overview Lynne S. Rosenthal lynne.rosenthal@nist.gov NIST Voting Program National Institute of Standards and Technology EAC Standards Board Meeting February 26-27, 2009 Todays Topics EAC/NIST

333 views • 12 slides
On Static Timing Analysis of GPU Kernels Vesa Hirvisalo Department of Computer Science and

On Static Timing Analysis of GPU Kernels Vesa Hirvisalo Department of Computer Science and

On Static Timing Analysis of GPU Kernels Vesa Hirvisalo Department of Computer Science and Engineering Aalto University 14th International Workshop on Worst-Case Execution Time Analysis Madrid, Spain, 8th July 2014 2014-07-08 Talk outline

862 views • 13 slides
Lagrangian E-Voting: e-Voting Concept Our contribution Verifiability on Demand and Strong

Lagrangian E-Voting: e-Voting Concept Our contribution Verifiability on Demand and Strong

Lagrangian E-Voting Lagrangian E-Voting: e-Voting Concept Our contribution Verifiability on Demand and Strong Privacy Scheme Description Registration Ballot Structure Casting a Vote ukasz Krzywiecki, Mirosaw Kutyowski Mixing

708 views • 66 slides
CSE-571 Contact sensors: Bumpers Internal sensors Robotics Accelerometers

CSE-571 Contact sensors: Bumpers Internal sensors Robotics Accelerometers

Sensors for Mobile Robots CSE-571 Contact sensors: Bumpers Internal sensors Robotics Accelerometers (spring-mounted masses) Gyroscopes (spinning mass, laser light) Compasses, inclinometers (earth magnetic field, gravity)

253 views • 7 slides

More recommend