Timing is often seen as the most important property of systems after function, and safety-critical systems are no exception. In this paper, we consider how timing is typically treated in safety assurance and, in particular, the safety arguments being proposed by industry and academia. A critique of these arguments is performed based on how systems are generally developed and how evidence is gat...

Moving car on rough road suddenly gets out of its way for some reason and moves to the edge of the road at the same speed. Since the most important factor in car overturning is vertical acceleration in the wheels and car speed and road conditions determine the vertical instantaneous acceleration, brake system according to change of the spring length is designed in such a way that by monitoring ...

Abstract This product is used in the frame control system of railway vehicles. It integrates remote function, anti-skid function and communication highly modularizes common braking, emergency braking protection functions

In ground vehicles, tire consumption is, in general, mainly due to the mileage covered, and fact, life span of tires, at least common situations, is rather long. aeronautical context, for aircraft particular, instead, plays a crucial role determining maintenance costs. This fact that, braking, nearly all maneuvers activate antiskid controller, which remains use long time intervals. anti-lock br...

Digital twins are used to replicate the behavior of physical systems, and in-vehicle networks can greatly benefit from this technology. This is mainly because circulate large amounts data coming various sources such as wired, or in some cases even wireless, sensors that fused by actuators responsible for safety-critical tasks require careful testing. In work, we build a laboratory network mimic...

In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to provide a set of abstract modeling and analysis services on top of the implementation code. In an effort to make all these languages, and more importantly their underlying models, interoperable, we use the UML Profile for MARTE as a pivot to define the semantics of these models. In this paper,...