SDL-News: Resources in SDL


Subject: SDL-News: Resources in SDL
From: Johansson Fredrik (fkjohansson#yahoo.se)
Date: Fri Jan 12 2001 - 12:00:27 GMT


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 =?iso-8859-1?q?Johansson=20Fredrik?= <fkjohansson#yahoo.se> to sdlnews -----

---------------------------------------------------

Hallo,

In my system many processes share the same resource.
I'd like to use a priority based scheduling for
these processes, where requests of high priority
preempt requests of lower priority. Its important
that only one process at a time gets access to the
resource.
 
Is this possible to describe in SDL, using the tool
Tau from Telelogic?
  
Thanks a lot!

/Fredrik

----------------------------------------------------

_____________________________________________________
Do You Yahoo!?
Ditt_namn#yahoo.se - skaffa en gratis mailadress p http://mail.yahoo.se

--End text from =?iso-8859-1?q?Johansson=20Fredrik?= <fkjohansson#yahoo.se> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>



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