神秘
发表于 2025-3-23 13:45:22
http://reply.papertrans.cn/83/8265/826452/826452_11.png
allude
发表于 2025-3-23 16:56:21
A Model-Based Framework for Developing Real-Time Safety Ada Systemsomputational model. The tools generate Ravenscar-compliant Ada code using a reduced set of code stereotypes..A case study is described for a subsystem of the on-board software of UPMSat2, a university micro-satellite project.
amphibian
发表于 2025-3-23 18:58:24
Conference proceedings 2013 held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
Hirsutism
发表于 2025-3-24 01:56:29
Experience with the Integration of Distribution Middleware into Partitioned Systemspread technique used in the development of high-integrity systems. In this kind of critical systems, software has to be as simple as possible in order to ease certification, and as the use of distribution middleware increases complexity, it has been avoided by developers. However, partitioning allow
制造
发表于 2025-3-24 06:19:30
http://reply.papertrans.cn/83/8265/826452/826452_15.png
四溢
发表于 2025-3-24 08:42:08
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processorsulticore processors. On the other hand the redundant cores can also be used for fault-tolerance. Spacecraft missions more and more require a balanced trade-off between power, performance and reliability. Finding an optimal trade-off for each mission phase leads to new engineering challenges, especia
先兆
发表于 2025-3-24 13:42:40
A SPARK/Ada CubeSat Control Programof software engineers in the use of high integrity development methods. In this paper we discuss our experience training undergraduate students in the use of SPARK toward the construction of a mission-critical embedded system. In particular the students designed and implemented the control program f
种类
发表于 2025-3-24 16:23:54
http://reply.papertrans.cn/83/8265/826452/826452_18.png
不利
发表于 2025-3-24 19:18:51
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Devel how the activities performed during the life-cycle can be integrated in a common framework. Information needed in these activities reflects concepts that pertain to three different perspectives: i) structural elements of design and implementation; ii) functional requirements and quality attributes;
Eviction
发表于 2025-3-24 23:54:21
http://reply.papertrans.cn/83/8265/826452/826452_20.png