1 / 16

High-level System Design Using Foresight

High-level System Design Using Foresight. Giovanna Di Marzo Serugendo. Outline. Motivations Definitions Foresight: a Modelling and Simulation Tool A Simple Example ALICE. Motivations (1). Motivations (2). High-level System Design Functionality only - no hardware/software details

aileent
Download Presentation

High-level System Design Using Foresight

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. High-level System Design Using Foresight Giovanna Di Marzo Serugendo

  2. Outline • Motivations • Definitions • Foresight: a Modelling and Simulation Tool • A Simple Example • ALICE

  3. Motivations (1)

  4. Motivations (2) • High-level System Design • Functionality only - no hardware/software details • Verification (before Hardware/Software Implementation) • Discover errors (input/output, performance, behavioural) • Confirm/Improve the design and the performances • Determine critical parameters • Evaluate the system under particular conditions • Explore Other Architectures/Algorithms • Change sub-systems architecture and observe new behaviours • Change parameters

  5. 1+1=2 Motivations (3)

  6. Definitions • Specification • Mathematical definition of system (unambiguous) • Semantics of specification provides a model • Behaviour of model = Behaviour of system • Verification • Model behaves correctly (simulation, model checking) • Validation • Model actually represents the desired system(discuss with designers)

  7. Foresight (1) • Foresight (Foresight Systems, Inc.) • System level modelling and simulation tool • Specification • Data Flow Diagrams (event-driven processes, events, control flows) • State Transition Diagrams • Mini-Specs • Hierarchical Specification (root = Data flow diagram) • Real-time Parameters

  8. Foresight (2) • Analysis • Type checking, input/output checking, syntax errors • Simulation • Real-time execution of specification • Stand-alone executable specification • Animation of Diagrams • Real-time constraint validation • Debugging functions (breakpoints, monitors windows) • Simulation is NOT formal verification !!! • Works on Sun workstation

  9. Simple Example: Error

  10. Simple Example: Correct

  11. Simple Example

  12. Simple Example

  13. Simple Example

  14. Simple Example

  15. ALICE • Model of whole ALICE DAQ System • Trigger System (L0, L1, L2) • Tracking Detectors • DAQ (with DDL, RORC, FEDC, GDC, PDS, bandwidth, etc.) • Parameters (finite buffers, etc.) • Evaluation of Performances • Whole system: maximal bandwidth / real bandwidth • For each detector: buffer occupancy, bandwidth usage • Alternative Algorithms • GDC choice • L2 trigger decision

  16. ALICE: Overall System

More Related