RE: SDL-News: new in SDL.


Subject: RE: SDL-News: new in SDL.
From: nicolas Peransin (Nicolas.Peransin#telelogic.com)
Date: Fri Oct 26 2001 - 08:30:43 GMT


In a very therical way,

SPECIFICATION
- Your project would start with specifying your system.
To do so, you should write a set of MSC describing the main behaviour
of your system and import phases (but don't spend to much time on it).

GLOBAL DESIGN
- Then you have to design the first level of the system with SDL.
- Once global parts are identified, each part should be distribuate to
development
team. Doing so, you can accelerated the development with parallel work.

DETAILLED DESIGN AND BASIC TESTING
- Each developper will be responsable to design and simulate his part of the
system.
It is very important to simulate as soon as possible if the system is
complex
(which is almost everytime).
Tau SDL allows you to simulate block and processes separetly without
changing
the SDL description (which is not the case for C development).

- Some developper may be in charge to develop the C file for the SDL
environment.

VERIFICATION
- Once all the parts are designed and simulated, you can simulate the whole
system to do an integration simulation (usually this step is very quick).
This is the verification phase. You should acheive 100% of structure
coverage
without error (deadlock or any other errors).

VALIDATION
- The Validation phase is to simulate the SDL to perform your MSCs.
You check that your design matches with your specification.

TARGETING
- It is only when you had verified and validated your system that you do the
targeting :
the C code generation for your target.

- You can perform test on your final target but focus on the hand-written C
files because
you have already tested you generated C file.

Note : One part of the development is to validate the behaviour of the SDL
library if you
modified it for your target. Do not forget to allocate time for this job if
necessary.

For more information, you should ask Telelogic for a training around SDL and
C code generation.

Best regards,

Nicolas PERANSIN.

-----Message d'origine-----
De : Rubio Maria Victoria-MVRUBIO1 [mailto:M.Rubio#motorola.com]
Envoyé : jeudi 25 octobre 2001 18:28
À : 'sdlnews#sdl-forum.org'
Objet : SDL-news: new in SDL.

Become an SDL Forum Society member
<http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Rubio Maria Victoria-MVRUBIO1 <M.Rubio#motorola.com> to sdlnews
-----

hello all,
i'm very confused,

what are the steps to do a complete SDL (design, simulation and auto_code
generation)?

i'm using Telelogic Tau SDL Suite,
i think that steps are:
- design
- analyze
- make
- simulate
- validate

What is your opinion?

Thank you very much.
Victoria.

--End text from Rubio Maria Victoria-MVRUBIO1 <M.Rubio#motorola.com> to
sdlnews ---
For extra SDL Forum Society benefits join at
<http://www.sdl-forum.org/Society/members.htm>
For help, email "majordomo#sdl-forum.org" with the body of your email as:
or (iff this does not answer your question) email:
owner-sdlnews#sdl-forum.org

RE: SDL-News: new in SDL.

In a very therical way,

SPECIFICATION
- Your project would start with specifying your system.
To do so, you should write a set of MSC describing the main behaviour
of your system and import phases (but don't spend to much time on it).

GLOBAL DESIGN
- Then you have to design the first level of the system with SDL.
- Once global parts are identified, each part should be distribuate to development
team. Doing so, you can accelerated the development with parallel work.

DETAILLED DESIGN AND BASIC TESTING
- Each developper will be responsable to design and simulate his part of the system.
It is very important to simulate as soon as possible if the system is complex
(which is almost everytime).
Tau SDL allows you to simulate block and processes separetly without changing
the SDL description (which is not the case for C development).

- Some developper may be in charge to develop the C file for the SDL environment.

VERIFICATION
- Once all the parts are designed and simulated, you can simulate the whole
system to do an integration simulation (usually this step is very quick).
This is the verification phase. You should acheive 100% of structure coverage
without error (deadlock or any other errors).

VALIDATION
- The Validation phase is to simulate the SDL to perform your MSCs.
You check that your design matches with your specification.

TARGETING
- It is only when you had verified and validated your system that you do the targeting :
the C code generation for your target.


- You can perform test on your final target but focus on the hand-written C files because
you have already tested you generated C file.

Note : One part of the development is to validate the behaviour of the SDL library if you
modified it for your target. Do not forget to allocate time for this job if necessary.

For more information, you should ask Telelogic for a training around SDL and C code generation.

Best regards,

Nicolas PERANSIN.


-----Message d'origine-----
De : Rubio Maria Victoria-MVRUBIO1 [mailto:M.Rubio#motorola.com]
Envoyé : jeudi 25 octobre 2001 18:28
À : 'sdlnews#sdl-forum.org'
Objet : SDL-News: new in SDL.


Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Rubio Maria Victoria-MVRUBIO1 <M.Rubio#motorola.com> to sdlnews  -----

hello all,
i'm very confused,

what are the steps to do a complete SDL (design, simulation and auto_code generation)?

i'm using Telelogic Tau SDL Suite,
i think that steps are:
- design
- analyze
- make
- simulate
- validate

What is your opinion?

Thank you very much.
Victoria.


--End text from Rubio Maria Victoria-MVRUBIO1 <M.Rubio#motorola.com> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
For help, email "majordomo#sdl-forum.org" with the body of your email as:
    help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org

--End text from nicolas Peransin to sdlnews --- For extra SDL Forum Society benefits join at



This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT