Model Transformation for a System of Systems Dependability Safety Case

Software plays an increasingly larger role in all aspects of NASA's science missions. This has been extended to the identification, management and control of faults which affect safety-critical functions and by default, the overall success of the mission. Traditionally, the analysis of fault identification, management and control are hardware based. Due to the increasing complexity of system, there has been a corresponding increase in the complexity in fault management software. The NASA Independent Validation & Verification (IV&V) program is creating processes and procedures to identify, and incorporate safety-critical software requirements along with corresponding software faults so that potential hazards may be mitigated. This Specific to Generic ... A Case for Reuse paper describes the phases of a dependability and safety study which identifies a new, process to create a foundation for reusable assets. These assets support the identification and management of specific software faults and, their transformation from specific to generic software faults. This approach also has applications to other systems outside of the NASA environment. This paper addresses how a mission specific dependability and safety case is being transformed to a generic dependability and safety case which can be reused for any type of space mission with an emphasis on software fault conditions

Analysis of DVB-H network coverage with the application of transmit diversity

This paper investigates the effects of the Cyclic Delay Diversity (CDD) transmit diversity scheme on DVB-H networks. Transmit diversity improves reception and Quality of Service (QoS) in areas of poor coverage such as sparsely populated or obscured locations. The technique not only povides robust reception in mobile environments thus improving QoS, but it also reduces network costs in terms of the transmit power, number of infrastructure elements, antenna height and the frequency reuse factor over indoor and outdoor environments. In this paper, the benefit and effectiveness of CDD transmit diversity is tackled through simulation results for comparison in several scenarios of coverage in DVB-H networks. The channel model used in the simulations is based on COST207 and a basic radio planning technique is used to illustrate the main principles developed in this paper. The work reported in this paper was supported by the European Commission IST project—PLUTO (Physical Layer DVB Transmission Optimization)

Requirements for software engineering languages

This paper analyzes the concepts of software construction embodied in the Draco system. The analysis relates specific mechanisms in Draco to particular software engineering (SE) principles and suggests future research needed to extend the approach. The purpose of the analysis is to help researchers understand Draco better and thus be able to direct in productive directions future research on this type of software engineering tool

Stack Overflow: A Code Laundering Platform?

Developers use Question and Answer (Q&A) websites to exchange knowledge and expertise. Stack Overflow is a popular Q&A website where developers discuss coding problems and share code examples. Although all Stack Overflow posts are free to access, code examples on Stack Overflow are governed by the Creative Commons Attribute-ShareAlike 3.0 Unported license that developers should obey when reusing code from Stack Overflow or posting code to Stack Overflow. In this paper, we conduct a case study with 399 Android apps, to investigate whether developers respect license terms when reusing code from Stack Overflow posts (and the other way around). We found 232 code snippets in 62 Android apps from our dataset that were potentially reused from Stack Overflow, and 1,226 Stack Overflow posts containing code examples that are clones of code released in 68 Android apps, suggesting that developers may have copied the code of these apps to answer Stack Overflow questions. We investigated the licenses of these pieces of code and observed 1,279 cases of potential license violations (related to code posting to Stack overflow or code reuse from Stack overflow). This paper aims to raise the awareness of the software engineering community about potential unethical code reuse activities taking place on Q&A websites like Stack Overflow.Comment: In proceedings of the 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER

Software Patents: What One-Click Buy and Safe Air Travel Have in Common

Have you ever sat in an airplane, typing on your laptop, when the darn thing crashes for the one-millionth time? Have you ever then thought about how the airplane you are sitting in is controlled by software, too--the technical term being fly by wire --and then started sweating uncontrollably? Software controls not only air traffic but plenty of other safety-critical technologies: the tightrope walk of controlling the chain reaction of radioactive elements in nuclear power plants; the navigation and activation of missiles;3 the moves and cutting-depth of a surgical laser when correcting eye-sights; the list goes on... With such reliance on software, malfunction due to errors in the program code becomes unacceptable. Software patents help heighten the standard by supporting the re-use of the code of established and tested systems