Building and Implementing Concurrent Specifications
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.
Please disable any pop-up blockers for proper viewing of this Whitepaper.