The Experts below are selected from a list of 8253 Experts worldwide ranked by ideXlab platform

Ana Cavalli - One of the best experts on this subject based on the ideXlab platform.

  • Symbolic-Based Monitoring for Embedded Applications
    Human-Computer Interaction, 1
    Co-Authors: Pramila Mouttappa, Stephane Maag, Ana Cavalli
    Abstract:

    Testing Embedded systems to find errors and to validate that the implemented system as per the specifications and requirements has become an important part of the system design. The research community has proposed several formal approaches these last years, but most of them only consider the control portion of the protocol, neglecting the data portions, or are confronted with an overloaded amount of data values to consider. In this chapter, the authors present a novel approach to model protocol properties of Embedded Application in terms of Input-Output Symbolic Transition Systems (IOSTS) and show how they can be tested on real execution traces taking into account the data and control portions. These properties can be designed to test the conformance of a protocol as well as security aspects. A parametric trace slicing approach is presented to match trace and property. This chapter is illustrated by an Application to a set of real execution traces extracted from a real automotive Bluetooth framework with functional and security properties.

Luc Dugard - One of the best experts on this subject based on the ideXlab platform.

  • Attitude and Handling Improvements based on Optimal Skyhook and Feedforward Strategy with Semi-active Suspensions
    International Journal of Vehicle Autonomous Systems, 2008
    Co-Authors: Charles Poussot-vassal, Olivier Sename, Luc Dugard
    Abstract:

    In this paper, we derive a strategy for global chassis attitude control using semi-active suspensions. For this purpose, a two stage control strategy is designed through an optimal Skyhook control, based on industrial specifications and an anticipation handling strategy. This design advantage is its simplicity which makes it easily implementable on a real-time Embedded Application. Simulations on a non-linear full vehicle model with semi-active Magneto-rheological-damper (system actuator) are performed to show the method efficiency.

  • Optimal skyhook control for semi-active suspensions
    2006
    Co-Authors: Charles Poussot-vassal, Olivier Sename, Luc Dugard, Ricardo Ramirez Mendoza, Leonardo Flores
    Abstract:

    In this paper we derive an optimal skyhook control based on industrial specification, coupled with a reduced order observer when only one sensor is to be used. We emphasize the simplicity of this method that can easily be implemented in a real-time Embedded Application. Simulations on a non-linear suspension model with semi-active Magneto-rheological-damper (system actuator) are performed to show the efficiency of the method.

Charles Poussot-vassal - One of the best experts on this subject based on the ideXlab platform.

  • Attitude and Handling Improvements based on Optimal Skyhook and Feedforward Strategy with Semi-active Suspensions
    International Journal of Vehicle Autonomous Systems, 2008
    Co-Authors: Charles Poussot-vassal, Olivier Sename, Luc Dugard
    Abstract:

    In this paper, we derive a strategy for global chassis attitude control using semi-active suspensions. For this purpose, a two stage control strategy is designed through an optimal Skyhook control, based on industrial specifications and an anticipation handling strategy. This design advantage is its simplicity which makes it easily implementable on a real-time Embedded Application. Simulations on a non-linear full vehicle model with semi-active Magneto-rheological-damper (system actuator) are performed to show the method efficiency.

  • Optimal skyhook control for semi-active suspensions
    2006
    Co-Authors: Charles Poussot-vassal, Olivier Sename, Luc Dugard, Ricardo Ramirez Mendoza, Leonardo Flores
    Abstract:

    In this paper we derive an optimal skyhook control based on industrial specification, coupled with a reduced order observer when only one sensor is to be used. We emphasize the simplicity of this method that can easily be implemented in a real-time Embedded Application. Simulations on a non-linear suspension model with semi-active Magneto-rheological-damper (system actuator) are performed to show the efficiency of the method.

Wan Jian - One of the best experts on this subject based on the ideXlab platform.

  • Software Simulator of Embedded Application System
    Computer Engineering, 2004
    Co-Authors: Wan Jian
    Abstract:

    This paper presents the method of simulating an Embedded Application system with software/hardware co design. By using modules of CPU behavior simulator, memory management, interrupt controller and Embedded operating system, this is a newly designed method of hardware evaluation and software simulator. The feasibility and safety of this method is proved with demonstrations of some examples. It is a good way to develop Embedded Application system.

Pramila Mouttappa - One of the best experts on this subject based on the ideXlab platform.

  • Symbolic-Based Monitoring for Embedded Applications
    Human-Computer Interaction, 1
    Co-Authors: Pramila Mouttappa, Stephane Maag, Ana Cavalli
    Abstract:

    Testing Embedded systems to find errors and to validate that the implemented system as per the specifications and requirements has become an important part of the system design. The research community has proposed several formal approaches these last years, but most of them only consider the control portion of the protocol, neglecting the data portions, or are confronted with an overloaded amount of data values to consider. In this chapter, the authors present a novel approach to model protocol properties of Embedded Application in terms of Input-Output Symbolic Transition Systems (IOSTS) and show how they can be tested on real execution traces taking into account the data and control portions. These properties can be designed to test the conformance of a protocol as well as security aspects. A parametric trace slicing approach is presented to match trace and property. This chapter is illustrated by an Application to a set of real execution traces extracted from a real automotive Bluetooth framework with functional and security properties.