SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

High-level System Design Using Foresight

aileent avatar
aileent
16 diapositives · 216 Views · Jan 04, 2020

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

#high-level system design using foresight #high-level system design using foresight ppt #powerpoint #presentation
High-level System Design Using Foresight - slide 1
01 / 16High-level System Design Using Foresight
1 / 17

Télécharger la présentation

High-level System Design Using Foresight
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  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