Modeling and Simulation Tools

General Systems Development
Cuadro de texto: q Destined to improve programs production for the automobile electronics Cuadro de texto: q The tool, developed by GSD, allow define the software as an Automata Network Cuadro de texto: ü Real-Time Software Generation from Automata Networks Cuadro de texto: ü Model Generation Software Tool Cuadro de texto: ü Modeling and Simiulation of Telecommunication Network Cuadro de texto: q Consists of an automata editor and a generator of its representation on textual files Cuadro de texto: q The customer developed a C-code generator from the textual files Cuadro de texto: q Automata: Cuadro de texto: Are connected, as terminal processes, with parallelism hierarchies Cuadro de texto: Communicate via variables in the shared storage Cuadro de texto: q The tool also includes an automatic generator of documentation

REAL-TIME SOFTWARE GENERATION FROM AUTOMATA NETWORKS

MODELLING AND SIMULATION OF A TELECOM NETWORK

MODEL GENERATION SOFTWARE TOOL
Cuadro de texto: q A software tool on top on G.S.D. Technology. Cuadro de texto: q Used to analyze and predict telecom-net behavior. Cuadro de texto: q Automatic generation of telecom-net model from its database. Cuadro de texto: Protocol improvement. Cuadro de texto: Assess impact of link failures. Cuadro de texto: End-to-end protocol trace Cuadro de texto: Message delay versus time Cuadro de texto: Protocol stack

REAL-TIME SOFTWARE GENERATION FROM AUTOMATA NETWORKS

MODELLING AND SIMULATION OF A TELECOM NETWORK
Cuadro de texto: Telecom-Network

MODEL GENERATION SOFTWARE TOOL
Cuadro de texto: q For parallel-distributed software development Cuadro de texto: q Architecture and computation flow are specified separately Cuadro de texto: q Concrete models for different mapping alternatives are automatically generated Cuadro de texto: q Generated models run on G.S.D. Modeling and simulation tools

Computation and message flow

Architecture

Alternative 1 ready for simulation

Alternative 2 ready for simulation

Mapping