[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Timed CSP
Timed CSP
Steve Schneider (Concurrent and real-time systems. The CSP
Approach) talks about "Timed CSP".
1. Does FDR2 cover this language?
In page 469 it seems like it does not.
2. If FDR2 had covered Timed CSP, would that make the CSP
code analyzable with respect to schedulability and
timeliness?
3. Would it be possible to define a new occam which would
take height for Timed CSP?
4. Would this lead towards the eCSP, which in fact has
specifications (in addition to run-time code) in it?
--
Oyvind
(------------------------------------------------------------------(
) Oyvind Teig ) oyvind.teig@xxxxxxxxxxxx ) Tel: +47 )
( Navia Maritime AS ( oyvind.teig@xxxxxxxxxxxx ( 73581268 (
) div. Autronica ) ) Fax: +47 )
( 7005 Trondheim ( http://www.autronica.no ( 73581001 (
) Norway ) ) )
(------------------------------------------------------------------(
) 4May2000:Part of world's largest company in maritime electronics )
( http://www.kongsberg.com/ http://www.kongsberg-gruppen.no (
(------------------------------------------------------------------(
) http://www.autronica.no/pub/tech/rd/index.htm )
(------------------------------------------------------------------(