This paper describes a development system for embedded real-time control, Descartes, which allows control algorithms to be entered in block diagram form which are then transformed to Ada95 executable code. The intenti...
详细信息
This paper describes a development system for embedded real-time control, Descartes, which allows control algorithms to be entered in block diagram form which are then transformed to Ada95 executable code. The intention is to allow the design engineer to produce real-time software that will run on the controller hardware with minimal use of programming, which will be portable over the platforms on which Ada95 is supported, which has predictable real-time behaviour and which permits configuration on distributed platforms.
This paper addresses the computer aided design of very large scale embedded realtime systems using large numbers of commercial off-the-shelf components such as microprocessors, DSP devices and communication channels T...
详细信息
This paper addresses the computer aided design of very large scale embedded realtime systems using large numbers of commercial off-the-shelf components such as microprocessors, DSP devices and communication channels The paper describes the modelling of large scale systems, design capture and evaluation and then presents a design strategy and an associated methodology and toolset.
:Abstract:softwaredesign is the process which decomposes a set of requirement specifications into certain basic elements and partitions these decomposed specifications into modules. In this paper, important technique...
详细信息
:Abstract:softwaredesign is the process which decomposes a set of requirement specifications into certain basic elements and partitions these decomposed specifications into modules. In this paper, important techniques for the logical design of software and the properties associated with a structured design are analyzed in order to develop a framework for an automated approach to softwaredesign. To ensure software quality, a set of matrices is developed to guide the design process and to evaluate the quality of a design for the purpose of comparing different designs. The applicability of the methodology in nonsequential and object-oriented design environments is also discussed.
暂无评论