stratum-corneum
发表于 2025-3-23 10:59:01
Railway Scale Model Simulatorusiastic about its use. The writing of programs controlling trains is based upon the Ada tasks and the new features provided with the 95 version of the language (protected objects, requeue, System Annex).
暴行
发表于 2025-3-23 17:16:21
http://reply.papertrans.cn/83/8265/826463/826463_12.png
开玩笑
发表于 2025-3-23 21:28:51
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORTT.We assess the benefits of this approach through metrics on the SHOLIS application source and object code. These data may be of interest to engineers who are considering Ada95 for a new project or converting an existing Ada83 application to Ada95.
exhilaration
发表于 2025-3-24 01:38:20
An Ada95 Solution for Certification of Embedded Safety Critical Applicationstlines how the DDC-I approach relates to the work in the ESPRIT OMI/SAFE project which aims at establishing a complete software factory for the development and certification of embedded safety-critical applications.
否决
发表于 2025-3-24 03:25:40
http://reply.papertrans.cn/83/8265/826463/826463_15.png
使更活跃
发表于 2025-3-24 09:35:15
An Architectural Perspective of Real-Time Ada Applicationsral families: the Timeline, Event-Driven, Pipeline, and Client-Server architectures. This paper describes the principal characteristics of each of these architecture families with respect to their ability to provide bounded application response times, their cost, and safety at a high level. In addit
空气
发表于 2025-3-24 11:33:53
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objectsh complexity to permit a formal description of the model. The complete model of the Protected Object portion of the Ravenscar Model is presented in Uppaal. Some important properties are verified such as timing of calls to protected procedure. This is the first time a part of an Ada run-time has been
BROW
发表于 2025-3-24 17:57:34
http://reply.papertrans.cn/83/8265/826463/826463_18.png
padding
发表于 2025-3-24 21:00:00
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT systems.We describe GNORT, the motivation for its development, and give some technical detail of its implementation. The latter part of the paper goes on to describe SHOLIS—an existing safety-critical application written in SPARK 83 that has been re-engineered to take advantage of SPARK 95 and GNOR
Bucket
发表于 2025-3-25 00:55:17
http://reply.papertrans.cn/83/8265/826463/826463_20.png