Welcome Guest Log In | Register

Building and Implementing Concurrent Specifications

Authored on: May 16, 2006 by Stephen Mellor and Cortland Starrett

Technical Paper / Conference Paper

0
More InfoLess Info
Many requirements documents are described in a linear manner, which makes for "interesting times" when the system is highly concurrent and multi-threaded. Any attempt to take implementation of concurrency and distribution into account when expressing requirements can easily lead to premature design and difficulties in retargeting the application to a different environment. This paper describes an approach to capturing concurrency in requirements as models and providing rules to sequence them in an implementation on an RTOS.

View
 

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page