作者: 性冷淡 時間: 2025-3-21 23:47
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.作者: archenemy 時間: 2025-3-22 04:08 作者: V切開 時間: 2025-3-22 05:33
Reliable Software Technologies -- Ada-Europe 2013978-3-642-38601-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 幻影 時間: 2025-3-22 09:19
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826452.jpg作者: 多產(chǎn)子 時間: 2025-3-22 13:54 作者: 逢迎白雪 時間: 2025-3-22 17:05
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processorslly regarding the efficient and safe deployment of software applications to hardware resources. We propose a model-based approach for the construction of software deployment schemes, and apply it to a spacecraft use case with two different mission phases to illustrate the benefits of such model-based software deployment.作者: VERT 時間: 2025-3-23 00:22
A SPARK/Ada CubeSat Control Programor a CubeSat nano-satellite that will orbit the Earth as the first step toward the ultimate goal of building a prototype CubeSat that will go to the Moon. Our work shows that inexperienced undergraduates can learn to use SPARK to produce more robust software than might otherwise be the case, even in the environment of a volatile student project.作者: vanquish 時間: 2025-3-23 02:00 作者: 推崇 時間: 2025-3-23 07:44 作者: 神秘 時間: 2025-3-23 13:45 作者: allude 時間: 2025-3-23 16:56
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
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
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 作者: 四溢 時間: 2025-3-24 08:42
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
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 作者: 不利 時間: 2025-3-24 19:18
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 作者: 美學 時間: 2025-3-25 05:57
A Model-Based Framework for Developing Real-Time Safety Ada SystemsARTE, and the Ada Ravenscar profile. It integrates pre-existing technology with newly developed tools. Special care has been taken to ensure consistency between models and final code. Temporal analysis is integrated in the framework in order to ensure that the real-time behaviour of the models and t作者: 敘述 時間: 2025-3-25 09:32 作者: 舊式步槍 時間: 2025-3-25 13:14
Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Softwareunctionality within specified time constraints. Determining Worst–Case Execution Time (WCET) is key to predictability, that is to ensure that temporal behaviour of the system is correct and hence safe. Furthermore, it is an objective to meet by verification when development of airborne software shal作者: conservative 時間: 2025-3-25 18:44
Tasklettes – A Fine Grained Parallelism for Ada on Multicoresnding semantics to integrate this model with the existing Ada tasking capabilities. We also propose a standard interface and show how it can be extended by the user or library writers to implement their own parallelization strategies.作者: 認為 時間: 2025-3-25 21:41 作者: guardianship 時間: 2025-3-26 02:09
Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Softwaren integrating the analysis workflow withing the software development process, especially those regarding to instrumentation overhead. Control mechanisms need to be developed to mitigate the drawbacks and achieve realistic WCET estimations to assess temporal correctness of the system.作者: prosthesis 時間: 2025-3-26 07:27 作者: contrast-medium 時間: 2025-3-26 08:54
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Develss perspectives. The formalized conceptualization enables the implementation of a tool leveraging on well established technologies aiding the accomplishment of crucial and effort-expensive activities such as the identification of the associations between requirements and the SW components implementi作者: MIRE 時間: 2025-3-26 15:48 作者: linguistics 時間: 2025-3-26 18:38 作者: Cerebrovascular 時間: 2025-3-26 23:15 作者: Decline 時間: 2025-3-27 01:26
Thomas Quinot,Eric Botcazouhaufeleintrittswinkel ..; es erfolgt nun 2. die Arbeitsabgabe an das Laufrad durch den Ablenkungsdruck (Bahndruck). Beim Austritt aus der Laufschaufel hat der Dampf eine relative Austrittsgeschwindigkeit .. mit dem Schaufelaustrittswinkel .., welche mit . die absolute Austrittsgeschwindigkeit .. und作者: overshadow 時間: 2025-3-27 05:29
Barry Fagin,Martin Carlislehaufeleintrittswinkel ..; es erfolgt nun 2. die Arbeitsabgabe an das Laufrad durch den Ablenkungsdruck (Bahndruck). Beim Austritt aus der Laufschaufel hat der Dampf eine relative Austrittsgeschwindigkeit .. mit dem Schaufelaustrittswinkel .., welche mit . die absolute Austrittsgeschwindigkeit .. und作者: 善辯 時間: 2025-3-27 10:20
Irene Bicchierai,Giacomo Bucci,Carlo Nocentini,Enrico Vicarioe bedeutende Ersparnis (s. u.). Andererseits aber kann der Abdampf periodisch arbeitender Kolbenmaschinen mit Auspuff (Dampfh?mmer, Pressen, Walzenzugsmaschinen, F?rdermaschinen) gesammelt warden — in Abdampf- oder W?rmespeichern — und in Abdampf-Kraftanlagen mit Turbinen verwertet werden, da diese 作者: Fulminate 時間: 2025-3-27 14:34
Xiaozhen Xue,Akbar Siami Namine bedeutende Ersparnis (s. u.). Andererseits aber kann der Abdampf periodisch arbeitender Kolbenmaschinen mit Auspuff (Dampfh?mmer, Pressen, Walzenzugsmaschinen, F?rdermaschinen) gesammelt warden — in Abdampf- oder W?rmespeichern — und in Abdampf-Kraftanlagen mit Turbinen verwertet werden, da diese 作者: slow-wave-sleep 時間: 2025-3-27 19:56 作者: cliche 時間: 2025-3-27 23:32
Andrea Baldovin,Enrico Mezzetti,Tullio Vardanegae bedeutende Ersparnis (s. u.). Andererseits aber kann der Abdampf periodisch arbeitender Kolbenmaschinen mit Auspuff (Dampfh?mmer, Pressen, Walzenzugsmaschinen, F?rdermaschinen) gesammelt warden — in Abdampf- oder W?rmespeichern — und in Abdampf-Kraftanlagen mit Turbinen verwertet werden, da diese 作者: OATH 時間: 2025-3-28 02:18 作者: Small-Intestine 時間: 2025-3-28 09:29 作者: 結(jié)束 時間: 2025-3-28 10:49
Thomas Quinot,Eric Botcazoudet zun?chst eine Umwandlung der W?rmeenergie in Str?mungsenergie statt, dann wird der Dampfstrahl in ein Schaufelrad geleitet und übertr?gt seine Bewegungsenergie an dasselbe. Der ganze Arbeitsvorgang setzt sich somit aus zwei Teilen zusammen: 1. Verwandlung des Arbeitsverm?gens des Dampfes in Str?作者: 清唱劇 時間: 2025-3-28 17:58
Barry Fagin,Martin Carlisledet zun?chst eine Umwandlung der W?rmeenergie in Str?mungsenergie statt, dann wird der Dampfstrahl in ein Schaufelrad geleitet und übertr?gt seine Bewegungsenergie an dasselbe. Der ganze Arbeitsvorgang setzt sich somit aus zwei Teilen zusammen: 1. Verwandlung des Arbeitsverm?gens des Dampfes in Str?作者: 猛擊 時間: 2025-3-28 20:09 作者: 拋物線 時間: 2025-3-29 00:55 作者: Fabric 時間: 2025-3-29 05:45 作者: 想象 時間: 2025-3-29 08:17 作者: 收到 時間: 2025-3-29 15:17
Esteban Asensio,Ismael Lafoz,Andrew Coombes,Julian Navas, da? der gr??te Teil der im Brennstoff verfügbaren W?rme unausgenutzt ins Kühlwasser geht, w?hrend nur 15% Nutzarbeit umgesetzt werden (bei Gasmaschinen werden etwa 25%, beim Dieselmotor etwa 33% der Brennstoffw?rme nutzbar gemacht). Wesentlich ungünstiger liegen die Verh?ltnisse natürlich bei Ausp作者: 流逝 時間: 2025-3-29 18:16
Book 20062nd editionisciplinary overview of modern wind turbine technology and an orientation in the associated technical, economic and environmental fields. It is based on the author‘s experience gained over decades designing wind energy converters with a major industrial manufacturer and, more recently, in technical 作者: 織布機 時間: 2025-3-29 23:19
978-3-031-42969-9The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
