This paper reports on the ongoing collaborative activity between Saab Systems and the Defence Science and Technology Organisation (DSTO) in support of Australian research in naval combat systems. The particular case considered is that involving the integration of the ANZAC Ship Combat Management System (CMS) within the DSTO High Level Architecture (HLA) based Virtual Maritime System (VMS). The ...

Authors This paper has been jointly developed by the Swedish software tool vendor Telelogic AB and the German software house S&P Media GmbH. Telelogic AB is a subsidiary of SAAB Combitech AB. The authors of this paper are: 1. Introduction Telecommunications software was one of the first areas to experience problems with complex real-time software and to start work to find ways to solve them. Si...

SAAB has a project under development for a network system with connected nodes, where the nodes are both information consumer and producer of different communication types. A node is an equipment or an object that are used by the army e.g. it can be a soldier, military hospital or an UAV. The nodes function as a part of a mission e.g. a mission can be Defend Gotland. The aim of this project is ...

Models of stress-induced hyperalgesia state that exposure to stress can exaggerate subsequent pain experiences. Studies using both animal and human subjects have shown evidence for hyperalgesia as a function of stress [e.g., Jorum E. Analgesia or hyperalgesia following stress correlates with emotional behavior in rats. Pain 1988;32:341-48; Peckerman A, Hurwitz BE, Saab PG, Llabre MM, McCabe PM,...

Upper-air observations are disproportionately sparse, both temporally and geographically, when compared to surface observations. The lack of data is likely one of the largest limiting factors in numerical weather prediction. Atmospheric measurements performed by the Tropospheric Airborne Meteorological Data Reporting (TAMDAR) sensor of humidity, pressure, temperature, winds aloft, icing, and tu...

Available online 22 June 2016 Edited by D De Beer Antimutagenesis studies against the tobacco-specific mutagens 4-(methylnitrosamino)-1-(3-pyridyl)-1butanone (NNK) and N-oxide, 4 (methyl-nitrosamino)-1-(3-pyridyl)-1-butanol (NNAL), were conducted using hot water aqueous extracts of rooibos (Aspalathus linearis), honeybush (Cyclopia intermedia), and cancer bush (Sutherlandia frutescens). Aqueous...

Context: Verification and validation (V&V) activities make up 20 to 50 percent of the total development costs of a software system in practice. Test automation is proposed to lower these V&V costs but available research only provides limited empirical data from industrial practice about the maintenance costs of automated tests and what factors affect these costs. In particular, these costs and ...

Abstract In the early era of aviation, Frederick Lanchester was both an inventor and a theoretician driven by need for theory flight that would reduce guesswork in designing new aircraft. His book Aerodynamics 1907 laid down foundations such theory. The with contributions from others, notably Ludwig Prandtl, refined to become basis sleek designs WWII aircraft brought about little guesswork. New...

Safety Correctness and Reliability Analysis using Formal Methods 2 SUMMARY The objective of this report was to further investigate and develop a methodology using formal methods for doing safety correctness and reliability analysis. In an earlier report some formal analysis methods were demonstrated. In this report, after an expansion of the possibility to express system functionality, further ...

Acknowledgements I have been fortunate enough to enjoy myself both at work and play whilst in Oxford. This is in no small part thanks to the great bunch of friends and colleagues who have helped gainfully occupy my time over the last three and more years. I am of course primarily grateful to SERC for my grant, my parents for their nancial help and not least to my supervisor, Edmund Rolls, who a...