Computing Seminar

High-Level System Design Using Foresight

Giovanna Di Marzo Serugendo, CERN/IT

Abstract

The Foresight tool is a system-level modeling environment that allows one to capture, design, model, and simulate (execute) system specifications. With the help of this tool, designers can identify and eliminate early in the product development process errors, such as, conflicting requirements, functional and performance problems, etc. The presentation will describe how to specify systems with Foresight and how to execute (simulate) system models. A practical example, the application of the tool to the ALICE DAQ (data-acquisition) system, will conclude the presentation.

About the speaker: Giovanna Di Marzo Serugendo is currently working as a fellow of the IT division on the specification and simulation of the ALICE DAQ System. Her interests are in software engineering and formal methods for distributed systems and multi-agent systems. Mrs Di Marzo Serugendo holds a M.Sc. in Mathematics, a M.Sc. in Computer Science from the University of Geneva, and a Ph.D. in Software Engineering from the EPFL (Ecole Polytechnique Federale, Lausanne).