作者: 刻苦讀書 時間: 2025-3-21 23:31
OMC-INTEGRAL Memory Managementrolling the Optical Monitoring Camera (OMC) payload of the . (.) . (.). This article explains the solutions adopted at high and low level, in order to solve the problems created by this restriction. It also provides a general description of the main functionality of the OMC satellite payload.作者: 全國性 時間: 2025-3-22 03:18
Development of a Control System for Teleoperated Robots Using UML and Ada95designed following a concurrent object modeling and architectural design methodology that uses UML as describing language. The architecture of the whole system has been implemented in a blasting robot for ship hulls- GOYA -using Ada 95 and GLADE. Our previous experience in developing teleoperated service robots using Ada is also presented.作者: Ornament 時間: 2025-3-22 07:44
A POSIX-Ada Interface for Application-Defined Schedulingined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is currently implemented on our operating system MaRTE OS.作者: ARC 時間: 2025-3-22 12:42
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.作者: 小官 時間: 2025-3-22 14:35 作者: GEN 時間: 2025-3-22 18:11 作者: innovation 時間: 2025-3-22 21:38
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95n the early detection of critical errors and achieving a better code quality. In this paper, we present a set of practical requirements for the industrial use of such tools and report on the development of DataFAN, a data-flow analysis tool satisfying these requirements.作者: oxidize 時間: 2025-3-23 03:27 作者: 無效 時間: 2025-3-23 06:31
Reliable Software Technologies - Ada-Europe 2002978-3-540-48046-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: amygdala 時間: 2025-3-23 12:30 作者: Mutter 時間: 2025-3-23 15:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826461.jpg作者: Antecedent 時間: 2025-3-23 21:12
https://doi.org/10.1007/3-540-48046-3Ada; Ada-Programming; Dependable Computing; Distributed Computing; Embedded Systems; Formal Methods; Java; 作者: Fester 時間: 2025-3-23 23:15
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaations. Mobile code is used for application upload, as well as for remote configuration and maintenance of the autonomous station. Applications executing on the station may be charged for their resource consumption. This paper also outlines an initial application of the autonomous station, which has been recently deployed in a pilot project.作者: buoyant 時間: 2025-3-24 03:02 作者: 嘲弄 時間: 2025-3-24 08:13
Static Dependency Analysis for Concurrent Ada 95 Programsze dependencies for concurrent Ada 95 programs. Two graphs: concurrent program flow graph and concurrent program dependency graph are developed to represent concurrent Ada programs and analyze dependency relations. The paper also presents a dependency analysis algorithm, which can obtain more precise information than most previous methods we know.作者: 同步信息 時間: 2025-3-24 11:37
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Studyper studies several ways of prioritizing test cases in a MUMCUT test set, which guarantees to detect certain types of faults in a Boolean specification written in irredundant disjunctive normal form. Our results suggest a certain ordering that reveals more faults earlier in the testing phases.作者: sorbitol 時間: 2025-3-24 16:16
0302-9743 ystems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.978-3-540-43784-0978-3-540-48046-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: extrovert 時間: 2025-3-24 21:12 作者: 瘋狂 時間: 2025-3-25 01:48 作者: Spartan 時間: 2025-3-25 03:19
Conference proceedings 2002 Austria, in June 2002..The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada languag作者: Detonate 時間: 2025-3-25 09:16 作者: Endoscope 時間: 2025-3-25 11:39
Encapsulating Failure Detection: From Crash to Byzantine Failurese original crash failure detector model. However, we also argue that there is some room for an intermediate approach where algorithms that solve agreement problems, such as consensus and atomic broadcast, can still benefit from . failure detectors that partially encapsulate Byzantine failure detection.作者: 祖?zhèn)?nbsp; 時間: 2025-3-25 16:33
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processorplications. A set of benchmark kernels is compiled and executed on an embedded processor simulator, while the results are fed to instruction level and memory power models to estimate the power consumption of each system component for both programming styles.作者: CHURL 時間: 2025-3-25 20:44 作者: 清真寺 時間: 2025-3-26 01:11
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Adapt, and an extended mode to verify at run-time the validity of scalars, both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented.作者: 蒙太奇 時間: 2025-3-26 07:13
Embedded Systems Unsuitable for Object Orientationation is fine for analysis but does not answer the design needs. Solutions for shortcomings are sought within the OO dogma, making things worse. This paper will outline a different approach and will discuss benefits of that approach relative to object orientation.作者: 錯誤 時間: 2025-3-26 09:52
On Architectural Stability and Evolutione architecture describes a system’s structure and global properties and thus determines not only how the system should be constructed but also guides its evolution. An important challenge is to be able to evaluate the ‘goodness” of a proposed architecture. I suggest stability or resilience as a prim作者: Narrative 時間: 2025-3-26 15:43
Encapsulating Failure Detection: From Crash to Byzantine Failurespline is particularly desirable in the development of distributed agreement algorithms which are known to be difficult and error prone. For such algorithms, one aspect that is important to encapsulate is failure detection. In fact, a complete encapsulation was proven to be feasible in the context of作者: CAJ 時間: 2025-3-26 18:20 作者: Contracture 時間: 2025-3-26 23:46
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processore application software that executes on embedded processor cores. It has been extensively pointed out that the increasing complexity and decreasing time-to-market of embedded software can only be confronted by the use of modular and reusable code, which forces software designers to use objected orie作者: deadlock 時間: 2025-3-27 01:19
OMC-INTEGRAL Memory Managementrolling the Optical Monitoring Camera (OMC) payload of the . (.) . (.). This article explains the solutions adopted at high and low level, in order to solve the problems created by this restriction. It also provides a general description of the main functionality of the OMC satellite payload.作者: 圓錐體 時間: 2025-3-27 08:09
Language Issues of Compiling Ada to Hardwarent timing requirements are met. The increasing complexity of modern processors make the determination of the worst-case execution time of software difficult via analytical means..This paper discusses the compilation of Ada programs directly to hardware circuits, so removing the need for a processor.作者: exacerbate 時間: 2025-3-27 09:44
Software Development Reengineering — An Experience Reportal and government organizations. Many organizations are grappling with trade-offs of older development tools and moving into more modern and efficient programming languages as advertised, while trying to leverage production capabilities and to reduce cost. In some cases, product reliability is not a作者: ostensible 時間: 2025-3-27 14:47 作者: rectum 時間: 2025-3-27 19:22
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploa based on an embedded Java processor, which runs the system software and applications. The system software is built on top of a flexible, lightweight, efficient, and secure mobile object platform, which is able to receive mobile code and to execute it, while protecting the station from faulty applic作者: 意外 時間: 2025-3-27 23:45 作者: 貝雷帽 時間: 2025-3-28 05:32
Closing the Loop: The Influence of Code Analysis on Designg approach can uncover errors that are hard to detect in other ways, it is not a very efficient use of resources because of its retrospective nature and the late error detection that results. The SPARK language and its associated Examiner tool took a different approach which emphasises error . (“cor作者: 原來 時間: 2025-3-28 10:10 作者: 我不怕犧牲 時間: 2025-3-28 12:37
How to Use GNAT to Efficiently Preprocess New Ada Sentencesity preprocessor and it facilitates the use of the GNAT front-end to experiment with Ada extensions. We briefly introduce the GNAT architecture, we describe our proposed technique and we present our proposed modifications to the GNAT sources to support it.作者: 減弱不好 時間: 2025-3-28 18:24
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada the language also provides support for building safety-critical applications, e.g. by facilitating validation and verification of such programs. The latest revision of the language has brought some additional improvements in the safety area, such as the Normalize_Scalars pragma, which ensures an au作者: 調情 時間: 2025-3-28 20:15 作者: 浮雕寶石 時間: 2025-3-28 23:09 作者: Systemic 時間: 2025-3-29 06:22 作者: inclusive 時間: 2025-3-29 08:29 作者: AWRY 時間: 2025-3-29 15:20
Contextware: Bridging Physical and Virtual Worldsscussion: it is expected that context-aware services will evolve, enabled by wirelessly ad-hoc networked, autonomous special purpose computing devices (i.e. “.”), providing largely invisible support for tasks performed by users. It is further expected that services with explicit user input and outpu作者: 使尷尬 時間: 2025-3-29 19:32
Software Development Reengineering — An Experience Reportrmulate strategies in transition management. Many factors contribute to the success and survival of the company during transition, one of them is to assess learning curves of many different individuals.作者: aesthetician 時間: 2025-3-29 21:52
Maarten Boassonungsarbeit beteiligten Institutionen besteht ein empirisch heute allenthalben feststellbares Informationsgef?lle.“. Die Diskussion über die Folgenlosigkeit, mangelnde wissenschaftliche Qualit?t und einseitige Ausrichtung der Friedensforschung in der BRD ist sicher zum Teil darauf zurückzuführen, ?da作者: CHOIR 時間: 2025-3-30 01:54
Mehdi Jazayeriungsarbeit beteiligten Institutionen besteht ein empirisch heute allenthalben feststellbares Informationsgef?lle.“. Die Diskussion über die Folgenlosigkeit, mangelnde wissenschaftliche Qualit?t und einseitige Ausrichtung der Friedensforschung in der BRD ist sicher zum Teil darauf zurückzuführen, ?da作者: 多骨 時間: 2025-3-30 07:42 作者: INCH 時間: 2025-3-30 09:51
Alois Ferschannten, weil nicht angemessen auf die für die neuen Kriege typische Kriminalisierung der Gewalt?konomien reagiert wurde, Strategien zur Schw?chung derartiger Gewalt?konomien wie vor allem die Verregelung der Produktion und des Handels von bzw. mit (Konflikt-)Ressourcen also nicht zur Verfugung stande作者: FISC 時間: 2025-3-30 15:24 作者: 披肩 時間: 2025-3-30 18:52 作者: 茁壯成長 時間: 2025-3-30 20:58 作者: opprobrious 時間: 2025-3-31 01:40 作者: ferment 時間: 2025-3-31 07:23
Mario Aldea Rivas,Michael González Harbourerungs- sowie politischer Bildungs- und Sozialisationsprozesse. Die Beitr?ge des Bandes fragen nach den Bedingungen nachhaltigen Friedens in Europa, indem sie die institutionellen, sozialen und kulturellen Voraussetzungen friedlicher Konfliktbearbeitung thematisieren.作者: 財政 時間: 2025-3-31 12:51 作者: 無目標 時間: 2025-3-31 15:31 作者: entail 時間: 2025-3-31 20:31
Javier Miranda,Francisco Guerra,Ernestina Martel,José Martín,Alexis Gonzálezion hervorgegangenen neuen souver?nen Staaten war und ist eine m?glichst allseits zufriedenstellende Regelung der Rechtsstellung solcher Minderheiten von entscheidendem Gewicht. Hieraus erkl?rt sich die zunehmende Befassung internationaler Gremien, wie der Vereinten Nationen., der Konferenz bzw. Org作者: ANTE 時間: 2025-3-31 22:43 作者: 廣告 時間: 2025-4-1 05:46
Ehud Lammion hervorgegangenen neuen souver?nen Staaten war und ist eine m?glichst allseits zufriedenstellende Regelung der Rechtsstellung solcher Minderheiten von entscheidendem Gewicht. Hieraus erkl?rt sich die zunehmende Befassung internationaler Gremien, wie der Vereinten Nationen., der Konferenz bzw. Org作者: fiscal 時間: 2025-4-1 09:17 作者: 窒息 時間: 2025-4-1 10:09 作者: scrutiny 時間: 2025-4-1 16:13 作者: 偽造 時間: 2025-4-1 22:04 作者: insomnia 時間: 2025-4-2 00:38 作者: 富饒 時間: 2025-4-2 06:24
Assia Doudou,Beno?t Garbinato,Rachid Guerraoui Schritten. In einem ersten Schritt wird dargestellt, dass die Hypothese, wonach Erfolg bzw. Scheitern von Friedenskonsolidierung im Kontext der neuen Kriege ma?geblich davon beeinflusst wird, ob effektive Strategien zur Schw?chung kriminalisierter Gewalt?konomien eingesetzt werden, durch Korrelatio作者: 博愛家 時間: 2025-4-2 08:34
