Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems

The development of SAE Level 3+ vehicles [{SAE}, 2014] poses new challenges not only for the functional development, but also for design and development processes. Such systems consist of a growing number of interconnected functional, as well as hardware and software components, making safety design increasingly difficult. In order to cope with emergent behavior at the vehicle level, thorough systems engineering becomes a key requirement, which enables traceability between different design viewpoints. Ensuring traceability is a key factor towards an efficient validation and verification of such systems. Formal models can in turn assist in keeping track of how the different viewpoints relate to each other and how the interplay of components affects the overall system behavior. Based on experience from the project Controlling Concurrent Change, this paper presents an approach towards model-based integration and verification of a cause effect chain for a component-based vehicle automation system. It reasons on a cross-layer model of the resulting system, which covers necessary aspects of a design in individual architectural views, e.g. safety and timing. In the synthesis stage of integration, our approach is capable of inserting enforcement mechanisms into the design to ensure adherence to the model. We present a use case description for an environment perception system, starting with a functional architecture, which is the basis for componentization of the cause effect chain. By tying the vehicle architecture to the cross-layer integration model, we are able to map the reasoning done during verification to vehicle behavior

Thermal high pressure hydrogenolysis II. The thermal high pressure hydrocracking of fluorene

The thermal hydrocracking of fluorene was investigated in the temperature range of 400 to 480 °C and hydrogen pressures of up to 375 atm. As main reaction products were found 2-methylbiphenyl, biphenyl, toluene and benzene. They account for about 90% of the converted fluorene. Only very low concentrations of diphenylmethane were detected at the highest temperature. This indicates that the opening of the phenyl - CH2 bond in fluorene is much faster than the splitting of the phenyl - phenyl bond. The splitting of the phenyl - phenyl bond in biphenyl, however, proceeded with a rate equal to the splitting of the phenyl - CH2 bond in fluorene and the phenyl - CH3 bond in 2-methylbiphenyl

Economic and legal aspects of international environmental agreements: The case of enforcing and stabilising an international CO 2 agreement

The protection of the global environment is impeded by multilateral externalities which the international community attempts to bring under control by entering into international agreements. International agreements, however, can suffer from non-compliance and free-riding behaviour by sovereign states and must therefore be enforced and stabilised internationally. This paper describes instruments for the enforcement and stabilisation of an international CO2 agreement and evaluates them in the light of economic and legal theory. Economic instruments build on repetition and use utility transfers, economic sanctions and flexible treaty adjustments. Important legal instruments are reciprocal obligations and cooperation duties, international funding and transfer rules, treaty suspension, retorsions and reprisals, treaty revision, and monitoring. The paper shows that economic and legal instruments are compatible to a considerable extent. It develops proposals for the enforcement and stabilisation of a global CO2 agreement and other multilateral treaties.International environmental agreements,international cooperation,non-compliance,enforcement,global warming,international law