Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen

Zusammenfassung.   Softwareentwicklungsprozesse auf Basis von Phasenmodellen verlangen eine Ermittlung der Anforderungen zu Beginn der Entwicklung. Die Anforderungen bilden die Basis für die nachfolgenden T?tigkeiten in der Entwicklung. Daher sind die Verfolgbarkeit der Anforderungen durch die Softwareentwicklung und die überprüfung der korrekten Realisierung der Anforderungen wichtig. Dies gilt insbesondere in sicherheitskritischen Anwendungsbereichen. Einerseits ist die Unified Modeling Language (UML) zur Zeit der Standard im Bereich der objektorientierten Software-Modellierung. Andererseits weist die UML Defizite in Bezug auf die Verfolgbarkeit von Anforderungen auf. Im Folgenden werden mehrere L?sungsm?glichkeiten zur Behebung dieses Problems diskutiert. Die Erweiterung des UML-Meta-Modells um eine Meta-Klasse Requirement wird im Detail vorgestellt. Eingegangen am 22. Februar 2002 / Angenommen am 8. Mai 2002     

The Research of James C. McCroskey: A Personal and Professional Remembrance

James C. McCroskey passed away on December 27, 2012. He contributed immensely to the study of human communication. He led the field in in-field publications and citations. Perhaps his most lasting contribution is naming and measuring communication constructs. James C. McCroskey contributed substantially to Communication Research Reports as a past editor, editorial board member, and contributing author. This essay is a personal and professional remembrance of James C. McCroskey.     

Life and Honorary Members

Abstract

The relative importance of body size, body composition, cardiovascular-respiratory capacity, and running speed in determining individual differences in performance on 600-yd run and mile run tests was investigated using data on 196 children, ages 7 to 12 years. A multivariate, multistage path model was developed in which height, % fat, [Vdot]O₂ max (ml/kg FFW · min) and the 50-yd dash time were postulated as determinants of individual differences on the two distance-running tests. These four independent variables accounted for 71% and 66% of the variance in the 600-yd run and mile run, respectively. All four independent variables had significant associations with the two distance runs when the influence of the other independent variables was taken into account. The 50-yd dash time and % fat were found to be the most important determinants of both distance runs. It was concluded that determinants of the 600-yd run and mile run in elementary-school-age children are complex and that individual differences on these tests reflect a number of attributes in addition to cardiovascular-respiratory capacity.     

体育专业的大学生心理压力管理--团体训练的理论与实践探索

本文研究探讨了团体训练对于减轻体育专业大学生心理压力的作用，寻求体育专业大学生心理压力管理的新途径和新方法，并精心设计了团体训练方案和团体训练的全过程，采用两份量表和一份问卷，对参加本次训练学生的前后情况进行了测量和调查．通过分析测量结果和调查情况，发现：团体训练对于减轻体育专业大学生心理压力是有效的，应值得推广．     

中欧体育健康项目“健康儿童?健康社会”研究

“健康儿童?健康社会”（HCSC）是在欧盟体育健康发展准则下,构建由家庭、学校、体育组织、地区政府等诸多部门组成的复合体系,通过降低BMI值减少超重,改善运动能力,进而提高个人生活质量。主要通过对HCSC项目的历史发展进行论述,对HCSC的核心理念、组织构架、运作模式3方面进行剖析,并以中国实验学校为例,对实验干预前后学生的身体健康指标进行对比分析,旨为国内相关领域研究抛砖引玉。     

Development of an aerobic capacity prediction model from one-mile run/walk performance in adolescents aged 13–16 years

A popular algorithm to predict VO_2Peak from the one-mile run/walk test (1MRW) includes body mass index (BMI), which manifests practical issues in school settings. The purpose of this study was to develop an aerobic capacity model from 1MRW in adolescents independent of BMI. Cardiorespiratory endurance data were collected on 90 adolescents aged 13–16 years. The 1MRW was administered on an outside track and a laboratory VO_2Peak test was conducted using a maximal treadmill protocol. Multiple linear regression was employed to develop the prediction model. Results yielded the following algorithm: VO_2Peak = 7.34 × (1MRW speed in m s^?1) + 0.23 × (age × sex) + 17.75. The New Model displayed a multiple correlation and prediction error of R = 0.81, standard error of the estimate = 4.78 ml kg^?1·min^?1, with measured VO_2Peak and good criterion-referenced (CR) agreement into FITNESSGRAM’s Healthy Fitness Zone (Kappa = 0.62; percentage agreement = 84.4%; Φ = 0.62). The New Model was validated using k-fold cross-validation and showed homoscedastic residuals across the range of predicted scores. The omission of BMI did not compromise accuracy of the model. In conclusion, the New Model displayed good predictive accuracy and good CR agreement with measured VO_2Peak in adolescents aged 13–16 years.     

Generierte DB-Aufrufschnittstellen – Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilit?t

Jede Datenbankprogrammierschnittstelle mu? sich daran messen lassen, inwieweit sie die Vorteile der durch sie integrierten Sprachen (Datenbank- und Programmiersprache) erh?lt. Neben dieser allgemeinen Zielsetzung müssen heutzutage neuere Konzepte in den Bereichen Programmiersprachen und Datenbanksysteme sowie die Anforderungen komplexer Anwendungsbereiche (z. B. CAD oder Software-Entwicklung) beachtet werden. Unser Ansatz der generierten Aufrufschnittstellen soll dazu beitragen, Datenmodelle objekt- relationaler Datenbanksysteme und Typsysteme objektorientierter Programmiersprachen n?her zusammenzurücken. Er erlaubt neben der Schnittstellengenerierung ihre anwendungsspezifische Konfigurierung, um die DB-Verarbeitung spezieller Anwendungen gezielt optimieren zu k?nnen. Wir werden neben Aspekten der Generierung/Konfigurierung die Nutzung von generierten Aufrufschnittstellen beschreiben und Experimente vorstellen, die den durch diesen Ansatz erzielbaren Leistungsgewinn verdeutlichen. Letzterer kann durch gezielten, auf die jeweilige Anwendung zugeschnittenen Einsatz von frühen Bindungen für Datenmanipulationsoperationen sowie von Pointer-Swizzling-/Prefetching-Mechanismen erreicht werden.     

An industrial application of symbolic model checking

Model checking techniques are recognized to provide reliable and copious results. Instead of examining a few cases only – as it is done in testing – model checking includes the whole state space in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites, consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation, our case study demonstrates the rewarding applicability of model checking at an industrial scale. CR subject classification  D.2.4; F.3.1; J.7 ; C.3