找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Reliable Software Technologies -- Ada-Europe 2013; 18th International C Hubert B. Keller,Erhard Pl?dereder,Herbert Klenk Conference proceed

[復制鏈接]
樓主: otitis-externa
11#
發(fā)表于 2025-3-23 13:45:22 | 只看該作者
12#
發(fā)表于 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.
13#
發(fā)表于 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.
14#
發(fā)表于 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
15#
發(fā)表于 2025-3-24 06:19:30 | 只看該作者
16#
發(fā)表于 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
17#
發(fā)表于 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
18#
發(fā)表于 2025-3-24 16:23:54 | 只看該作者
19#
發(fā)表于 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;
20#
發(fā)表于 2025-3-24 23:54:21 | 只看該作者
 關于派博傳思  派博傳思旗下網站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網 吾愛論文網 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經驗總結 SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網安備110108008328) GMT+8, 2025-10-12 11:34
Copyright © 2001-2015 派博傳思   京公網安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
科尔| 哈巴河县| 固始县| 启东市| 禹城市| 祥云县| 湖州市| 微博| 封丘县| 乃东县| 嘉峪关市| 汤原县| 舞阳县| 阳谷县| 达拉特旗| 右玉县| 阿瓦提县| 山阳县| 会宁县| 海盐县| 天长市| 宜宾县| 廉江市| 磐安县| 吕梁市| 泾川县| 三门峡市| 图们市| 镇安县| 宿迁市| 南投县| 四川省| 凤阳县| 巫山县| 大名县| 鹤壁市| 札达县| 重庆市| 乌鲁木齐县| 上犹县| 昌宁县|