FORMAL DESCRIPTION AND MODELING TOOLS FOR CONCURRENT SYSTEMS

Authors
  1. Berger, J.
Corporate Authors
Defence Research Establishment Valcartier, Valcartier QUE (CAN)
Abstract
The design of complex systems requires that software designers use a structured approach to cope with the logic of dynamic aspects of the various components and provide a high-quality standard. The appearance of hard real-time systems leads to the additional problem of modeling concurrent processes to a suitable level. Therefore, the development of specific tools suitable for expressing and studying the logical structure of systems and architecture becomes necessary. The purpose of this document is to explore various Computer-Aided Software Engineering (CASE) tools specifically dedicated to the formal description of functional components in the modeling of concurrent processes. A discussion as well as recommendations on the choice of such a tool are made for the purpose of studying combat systems and their architecture.
Report Number
DREV-M-3052/90 — Memorandum
Date of publication
15 Nov 1990
Number of Pages
33
DSTKIM No
91-00105
CANDIS No
67327
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: