Supporting the automated generation of modular product line safety cases

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires the traceability of SPL variation across design, including variation in safety analysis and safety cases. In this paper, we propose a method and tool to support the automatic generation of modular SPL safety case architectures from the information provided by SPL feature modeling and model-based safety analysis. The Goal Structuring Notation (GSN) safety case modeling notation and its modular extensions supported by the D-Case Editor were used to implement the method in an automated tool support. The tool was used to generate a modular safety case for an automotive Hybrid Braking System SPL

Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Efficacy of property marking: police identification of stolen property

Property marking, as a situational crime prevention technique, has found to be largely ineffectual in the reduction of property theft, although past studies have not considered the role property marking as an aid to the return of stolen or lost property. However, automotive identification and some studies have found that in some cases property marking is effective. Furthermore, many crime prevention groups focus on property marking as a means to reduce crime and the fear of crime. Therefore, the study investigated the processes of lost, stolen and seized goods by law enforcement personnel. The study undertook a qualitative analysis of law enforcement property identification process, including a documentary analysis of procedures and practitioner interviews for content-thematic analysis. The study found that the use of manufacturer serial numbers was the initial line of investigative enquiry. Limiting factors were technical capability to find and use covert property markings. The successful implementation of a code of best practice or standardisation in the recording of serial numbers, and the availability of the community to quickly and easily record their property may have a significant effect in the reduction of property crimes; due to the perceived increase of risk and potential reduction of reward to the offender

Entering China : an operations management case study

Market forces and international competition are driving companies to reduce costs. The operations management issues experienced by 50 Australian companies when investing in China were examined. Many experiences were found to be common to most of the participant\u27s industries. Relationships with government, associations, local partners and members of supply chains were considered highly important. Levels of technology in China were not considered to be a significant issue. Access to staff with sufficient technology training (particularly for product development) and technology implementation was an important issue. The paper presents a model relating the various operations management issues identified to one another.<br /

Remanufacturing and product design: designing for the 7th generation

The following is taken directly from the research report. This report investigates Design for Remanufacture in terms of both detailed product design and the business context in which Design for Remanufacture may operate. Key Study Objectives • To understand the link between design and remanufacture • To understand how Design for Remanufacture can lead to increased innovation and Sustainable Development (SD) • To identify proactive strategies to further Design for Remanufactur

'Smart' design: greening the Total Product System

About the book: Since the Rio summit in 1992, the paradigm of corporate environmental responsibility has gradually and consistently extended beyond complying with increasingly stringent environmental regulation and taking up the proactive initiatives of a few world-class companies. Research indicates that the business and financial performance of companies may depend directly on socially and environmentally responsible business practices. Many world-class companies now realize that customers and other stakeholders do not distinguish between a company and its suppliers. As a result, greening the supply chain is an innovative idea which is fast gaining attention in the industry. Greening the Supply Chain is a compilation of important chapters written by a diverse set of international authors which incorporates a broad variety of perspectives. Note: Smart car refers to Smart City coupe and Fortwo, and all terms are registered trademarks of MCC (micro compact car)

Vintage-Differentiated Environmental Regulation

Vintage-differentiated regulation (VDR) is a common feature of many environmental and other regulatory policies in the United States. Under VDR, standards for regulated units are fixed in terms of the units’ respective dates of entry, or “vintage,” with later entrants facing more stringent regulation. In the most common application, often referred to as “grandfathering,” units produced prior to a specific date are exempted from new regulation or face less stringent requirements. The vintage-differentiated approach has long appealed to many participants in the policy community, for reasons associated with efficiency, equity, and simple politics. First, it is frequently more cost-effective—in the short-term—to introduce new pollutionabatement technologies at the time that new plants are constructed than to retrofit older facilities with such technologies. Second, it seems more fair to avoid changing the rules of the game in mid-stream, and hence to apply new standards only to new plants. Third, political pressures tend to favor easily-identified existing facilities rather than undefined potential facilities. On the other hand, VDRs can be expected—on the basis of standard investment theory—to retard turnover in the capital stock (of durable plants and equipment), and thereby to reduce the cost-effectiveness of regulation in the long-term, compared with equivalent undifferentiated regulations.1 A further irony is that, when this slower turnover results in delayed adoption of new, cleaner technology, VDR can result in higher levels of pollutant emissions than would occur in the absence of regulation. In this Article, I survey previous applications and synthesize current thinking regarding VDRs in the environmental realm, and develop lessons for public policy and for future research. In Part 2, I describe the ubiquitous nature of VDRs in U.S. regulatory policy, and examine the reasons why VDRs are so common. In Part 3, I establish a theoretical framework for analysis of the cost-effectiveness of alternative types of environmental policy instruments to provide a context for the analysis of VDRs. In Part 4, I focus on the effects of VDRs, and describe a general theory of the impacts of these instruments in terms of their effects on technology adoption, capital turnover, pollution abatement costs, and environmental performance. In Parts 5 and 6, I examine empirical analyses of the impacts of VDRs in two significant sectors: Part 5 focuses on the effects of VDRs in the U.S. auto industry, and Part 6 on the effects of new source review, which is a form of VDR, in power generation and other sectors. In Part 7, I examine implications for policy and research, and recommend avenues for improvements in both.