A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.

Assessment of Nondestructive Testing Technologies for Quality Control/Quality Assurance of Asphalt Mixtures, TR-653, 2015

Asphalt pavements suffer various failures due to insufficient quality within their design lives. The American Association of State Highway and Transportation Officials (AASHTO) Mechanistic-Empirical Pavement Design Guide (MEPDG) has been proposed to improve pavement quality through quantitative performance prediction. Evaluation of the actual performance (quality) of pavements requires in situ nondestructive testing (NDT) techniques that can accurately measure the most critical, objective, and sensitive properties of pavement systems. The purpose of this study is to assess existing as well as promising new NDT technologies for quality control/quality assurance (QC/QA) of asphalt mixtures. Specifically, this study examined field measurements of density via the PaveTracker electromagnetic gage, shear-wave velocity via surface-wave testing methods, and dynamic stiffness via the Humboldt GeoGauge for five representative paving projects covering a range of mixes and traffic loads. The in situ tests were compared against laboratory measurements of core density and dynamic modulus. The in situ PaveTracker density had a low correlation with laboratory density and was not sensitive to variations in temperature or asphalt mix type. The in situ shear-wave velocity measured by surface-wave methods was most sensitive to variations in temperature and asphalt mix type. The in situ density and in situ shear-wave velocity were combined to calculate an in situ dynamic modulus, which is a performance-based quality measurement. The in situ GeoGauge stiffness measured on hot asphalt mixtures several hours after paving had a high correlation with the in situ dynamic modulus and the laboratory density, whereas the stiffness measurement of asphalt mixtures cooled with dry ice or at ambient temperature one or more days after paving had a very low correlation with the other measurements. To transform the in situ moduli from surface-wave testing into quantitative quality measurements, a QC/QA procedure was developed to first correct the in situ moduli measured at different field temperatures to the moduli at a common reference temperature based on master curves from laboratory dynamic modulus tests. The corrected in situ moduli can then be compared against the design moduli for an assessment of the actual pavement performance. A preliminary study of microelectromechanical systems- (MEMS)-based sensors for QC/QA and health monitoring of asphalt pavements was also performed.

Decreto rectoral No. 653 :réanse los siguientes programas: Especialización en Ética Empresarial y de las Organizaciones. Especialización en Revisoría Fiscal

Promover el desarrollo de nuevos programas docentes a nivel pregrado y postgrado

Resolución 653(XXXIII): Seguimiento del Plan de Acción sobre la Sociedad de la Información de América Latina y el Caribe

Incluye Bibliografía

Resolution 653(XXXIII) Follow-up to the Plan of Action for the Information Society in Latin America and the Caribbean

Includes bibliography

New Data on Welshite, e.g. Ca2Mg3.8Mn0.62+Fe0.12+Sb1.55+O2 [Si2.8Be1.7Fe0.653+Al0.7As0.17O18], an Aenigmatite-Group Mineral

Electron and ion microprobe data on two samples of welshite from the type locality of Langban, Sweden, gave analytical totals of 99.38-99.57 wt.% and BeO contents of 4.82-5.11 wt.%, corresponding to 1.692-1.773 Be/20 O. Mossbauer and optical spectra of one of these samples gave Fe-[iv](3+)/Sigma Fe = 0.91, Fe-[iv](2+)/Sigma Fe = 0.09, and no evidence of Mn3+. The resulting formula for this sample is Ca2Mg3.8Mn0.62+Fe0.12+Sb1.55+O2[Si2.8Be1.7Fe0.653+Al0.7As0.17O18], and that for the second sample, Ca2Mg3.8Mn0.12+Fe0.12+F0.83+Sb1.25+O2[Si2.8Be1.8F0.653+Al0.25As0.25O18], is related by the substitution involving tetrahedral and octahedral sites: 0.59([vi,iv])(Fe,Al)(3+) approximate to 0.42([vi])(Mg,Mn,Fe)(2+) + 0.21(Sb-[vi],As-[iv])(5+), i.e. 3([vi,iv]) M3+ = 2([vi])M(2+) + M-[vi,iv](5+). WelShite is distinctive among aenigmatite-group minerals in the high proportion of Fe 3+ in tetrahedral coordination and is unique in its Be content, substantially exceeding 1Be per formula unit. Given the cation distributions in other minerals related to aenigmatite, we think it is reasonable to assume that at least one tetrahedral site is >50% occupied by Be and that one octahedral site is >50% occupied by Sb, so that welshite should be retained as a distinct species with its own name in the aenigmatite group.

Na 50 Nachlass Arthur Schopenhauer - 'Schopenhauer-Archiv', 653 - Organisation des Treffens in Weimar sowie Erwartungen an das gegenseitige Verhältnis

u.a.: Geldzusendung; Schattenspiel; Beschreibung der Mietwohnung für Arthur Schopenhauer; Verhältnis zur Mutter; Beschreibung der Unmöglichkeit eines gemeinsamen Lebens mit dem Sohn; Meinungsverschiedenheiten; Verhältnis zu Adele Schopenhauer; Pessimismus; Gesellschaftsabende; Franz Passow;

Ms.Ff.F.Stoltze 3. 653 - Brief von Unbekannt an Friedrich Stoltze

Glückwünsche zum 70. Geburtstag (Gedicht)

Na 1 Nachlass Max Horkheimer, 653 - Vorlesungen: "Eclipse of Reason"; "Society and Reason" (p. IX 36.6-12)

6. Vorlesungen 1. - 5. mit dem Titel "Society and Reason". a) Typoskript mit handschriftlichen Randbemerkungen von Theodor W. Adorno, 139 Blatt b) Typoskript, 139 Blatt; 7. Teilstück, Typoskript mit eigenhändigen Korrekturen, 1 Blatt; 8. Eigenhändige Notizen, 4 Blatt; 9. Stichworte zu den Vorlesungen I-III. Typoskript mit eigenhändigen Ergänzungen, 2 Blatt a) Einladungskarte zur Vorlesungsreihe "Society and Reason". Als Typoskript vervielfältigt, 1 Blatt b) Gliederung. Typoskript, 1 Blatt; 10. "Über Probleme des wissenschaftlichen Stils". Reaktion auf ein Schriftstück (aus einem Brief an Friedrich Pollock). a) Typoskript, datiert: 28.11.1943, 3 Blatt b) Max Horkheimer: 1 Brief an Friedrich Pollock, ohne Ort, 28.11.1943, 5 Blatt; 11. Columbia University, New York: 1 Brief (Abschrift) an Max Horkheimer, New York, 5.3.1943, und Stichworte zu den Vorlesungen, 2 Blatt; 12. Zeitungsausschnitt, 1 Blatt.;