Towards an architectural design framework for automotive systems development

Conference of 3rd International Conference on Complex Systems Design and Management, CSD and M 2012 ; Conference Date: 12 December 2012 Through 14 December 2012; Conference Code:111380International audienceThis paper discusses the concepts of Model-Based Systems Engineering (MBSE) and of Architecture Frameworks (AF) and presents some preliminary results of current initiatives at Renault on these subjects. We advocate the adoption of a MBSE approach, i.e., the application of modeling to support a SE methodology covering the SE design process and activities and supporting the methods that are needed to carry out these activities. This results in the definition of an architectural design framework for the automotive systems development currently implemented in a SysML specialization. It is expected that this work will contribute to foster the reflection on an architecture framework for the automotive industry and stimulate discussions across the automotive community

A methodology to design arbitrary failure detectors for distributed protocols

Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (e.g. sending omission failures, receive omission failures, arbitrary failures) is a real practical challenge due to malicious attacks or unexpected software errors. This is usually achieved either by changing, in an ad hoc manner, the code of a crash resilient protocol or by devising a new protocol from scratch. This paper proposes an alternative methodology to detect processes experiencing arbitrary failures. On this basis, it introduces the notions of liveness failure detector and safety failure detector as two independent software components. With this approach, the nature of failures experienced by processes becomes transparent to the protocol using the components. This methodology brings a few advantages: it makes possible to increase the resilience of a protocol designed in a crash failure context without changing its code by concentrating only on the design of a few well-specified components, and second, it clearly separates the task of designing the protocol from the task of detecting faulty processes, a methodological improvement. Finally, the feasibility of this approach is shown, by providing an implementation of liveness failure detectors and of safety failure detectors for two protocols: one solving the consensus, and the second solving the problem of global data computation. (c) 2007 Elsevier B.V. All rights reserved

communication systems

This paper presents a formal framework of a distributed computation based on a publish/subscribe system. The framework abstracts the system through two delays, namely the subscription/unsubscription delay and the diffusion delay. This abstraction allows one to model concurrent execution of publication and subscription operations without waiting for the stability of the system state and to define a Liveness property which gives the conditions for the presence of a notification event in the global history of the system. This formal framework allows us to analytically define a measure of the effectiveness of a publish/subscribe system, which reflects the percentage of notifications guaranteed by the system to subscribers. A simulation study confirms the validity of the analytical measurements. Copyright c ○ 2005 John Wiley & Sons, Ltd. KEY WORDS: publish/subscribe; event-based middleware 1