Developing a Framework for Simulation, Verification and Testing of SDL Specifications

Introduction

Specification and Description Language SDL

Example of Modeling with SDL:
a simple communication protocol

Protocol Modeling in SDL: Part 1

Protocol Modeling in SDL: Part 2

Simulator vs. Specification Verification

SDL Specifications Simulator Architecture

Process Translation

Communication Network
Translation

Translator Correctness

Activator

Process Simulator

Concurrency Simulation

Network Handling

SDL Specifications Verification

Testing of implementations

Related Work

Summary