1 / 9

Software Requirements Engineering for RTS and Embedded Systems

Software Requirements Engineering for RTS and Embedded Systems. B. Ramamurthy. Topics. Requirements engineering process State machines Event-driven programming Table-driven methods. Requirements-Engineering Process.

ozzy
Download Presentation

Software Requirements Engineering for RTS and Embedded Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Software Requirements Engineering for RTS and Embedded Systems B. Ramamurthy

  2. Topics • Requirements engineering process • State machines • Event-driven programming • Table-driven methods

  3. Requirements-Engineering Process • Deals with determining the goals, functions, and constraints of systems, and with representation of these aspects in forms amenable to modeling and analysis.

  4. Types of requirements • Standard scheme for realtime systems is defined by IEEE standard IEEE830. • It defines the following kind of requirements: • Functional • Non-functional • External interfaces • Performance • Logical database • Design constraints (ex: standards compliance) • Software system attributes Reliability, availability, security, maintainability, portability

  5. Design methods: Finite state machines • Finite state automaton (FSA), finite state machine (FSM) or state transition diagram (STD) is a formal method used in the specification and design of wide range of embedded and realtime systems. • The system in this case would be represented by a finite number of states. • Lets design the avionics for a drone aircraft.

  6. else else else Drone aircraft avionics (simplified) MA: Mission Assigned TD: Target Detected LO: Locked On EE: enemy Evaded ED: Enemy Destroyed MC: Mission Complete else MA TAK NAV TD NAE MC TAK: Take off NAV: Navigate NAE: Navigate & Evade NAA: Navigate & Attack LAN: Land LO NAA EE LAN ED

  7. Finite State Machine (FSM) • M = five tuple  { S, i, T, Σ, δ } • S = set of states • i = initial state • T = terminal state (s) • Σ = events that bring about transitions • δ = transitions • Lets do this exercise for the avionics for fighter aircraft

  8. State Transition table

  9. Lets write the embedded system • Use the table to code a function with case statement • Or write a table-driven code • Which is better and why? • Try your binary game using FSM method

More Related