Automotive software has been growing in size, criticality and complexity with each new generation of vehicles. Testing at the model code level is an important step validating against various types defects that may be introduced development process. Model based testing (MBT) methodology, paves a road towards automation activities. Test computationally complex task, which requires efficient constraint solving techniques some guidance from test engineer when this task cannot solved by tool. At...

In this paper, we address the conformance testing problem for timed constrained critical systems. We propose a new model adapted to describe such The is called Variable Driven Timed Automata (VDTA) and variant of automata in which events are variable assignments all transitions urgent. present sound exhaustive on fly algorithm As an application our approach, case study “Bi-manual command” system.

Testers of cyclic executive systems are required to make considerable and repetitive efforts determine input sequences (tests) for leading a system from start state target state. This task is time-consuming it might lead testers produce fewer tests than required; which affects negatively the quality can reduce time-to-market. We propose an automated test generation approach integrates two renowned tools: code slicing plugin Frama-C bounded model-checker CBMC. also suggest several metrics...

In this paper we study the reachability analysis problem for timed systems specified in a hierarchical manner. First provide formal model, called extended Mealy machine with timer, input and output events, as well input, context variables. Then present synchronous semantics of model. A main feature model is that crossing superstates' boundaries forbidden, i.e., transitions between states different superstates are not allowed. Finally propose method finding (minimal) executions configurations...

Conformance testing amounts to verifying adequacy between the behaviors and specified of an implementation. In this paper, we handle model-based conformance for data-flow critical systems with time constraints. Specifications are described a formal model adapted such called Variable Driven Timed Automata (VDTA). VDTA inspired by timed automata but they use input/output communication variables, allowing clear short specifications. We present relation propose symbolic test selection algorithm...

Test oracles are usually used to evaluate the behaviors of systems under test reveal faults. In a typical conformance testing scenario, oracle is deterministic finite state machine (FSM). However, uncertainty occurring in design an may result set potential candidate which can compactly be represented by nondeterministic FSM thus modelling imprecise oracle. context systems, such should ideally reduced precise, i.e., We elaborate two scenarios for dealing with that involve domain expert...

A standard bridge between automata theory and logic is provided by the notion of characteristic formula. This paper investigates this problem for class event-recording (ERA), a subclass timed in which clocks are associated with actions that enjoys very good closure properties. We first study expressing formulae ERA Event-Recording Logic (ERL ), introduced Sorea to express event-based specifications. prove construction proposed without invariants incorrect. More generally, we bisimilarity...

Faults in safety critical real-time systems are not only logical, but they can correspond to violations of timing constraints. They must be detected avoid system failures with adverse consequences. Developing efficient fault detection techniques for varieties models is still challenging. In this paper, we deal timed finite state machines timeouts (TFSMs-T). TFSM-T an extension FSM model constraints safety-critical systems. We lift a approach developed generate tests detecting both logical...

MIL-STD-1553B est une norme définissant un ensemble d'exigences qui couvrent tous les aspects d'un bus de données, des mécaniques aux électriques et fonctionnels.Le visait à interconnecter via seul support sous-systèmes avioniques.Plusieurs services sous-traitants militaires ont adopté MIL-STD-1553 comme données avionique en raison son assurance d'intégrité données.Cependant, nouveaux travaux recherche montré vulnérabilités sécurité ce bus.Cet article présente la création Système Détection...