The proceedings contain 32 papers. The topics discussed include: priority ceiling protocol in ada;a comparison of different tasking architectures used in mobile satellite communication ground station software;design a...
ISBN:
(纸本)0897918088
The proceedings contain 32 papers. The topics discussed include: priority ceiling protocol in ada;a comparison of different tasking architectures used in mobile satellite communication ground station software;design and test strategies for a safety-critical embedded executive;providing fault-tolerant services to distributed ada 95 applications;using ada 95 for the design of distributed real-time systems;interpartition communication with shared active packages;and a comparison of two approaches to distributed application development with ada: the ada distributed systems annex and CORBA.
A platform-independent Application Programming Interface (API) for developing Graphical User Interfaces (GUI) is described. This API includes a complete "thin" binding to Tel and an experimental "thick&...
详细信息
The ada Semantic Interface Specification (ASIS) provides the basis for implementing portable tools aimed at analysing static properties of ada source code. The main purpose of the ada language dejinition is to specify...
详细信息
The ada-based Design Approach for Real-Time Systems (adaRTSSM) is a systems and software design method for large real-time systems, including multiprocessor and distributed systems using the ada programming language. ...
详细信息
A design pattern is a grouping of a small number of objects that is likely to be useful again and again. In the context of concurrent software design in ada 95, it is a group of tasks and protected units that is usefu...
详细信息
暂无评论