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

Stavros Tripakis - One of the best experts on this subject based on the ideXlab platform.

  • FORMATS - Implementation of timed automata: an issue of semantics or modeling?
    Lecture Notes in Computer Science, 2005
    Co-Authors: Karine Altisen, Stavros Tripakis
    Abstract:

    We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We propose an implementation methodology which allows to transform a timed automaton into a program and to check whether the Execution of this program on a given Platform satisfies a desired property. This is done by modeling the program and the Execution Platform, respectively, as an untimed automaton and a collection of timed automata. We also study the problem of property preservation, in particular when moving to a “better” Execution Platform. We show that some subtleties arise regarding the definition of “better”, in particular for digital clocks. The fundamental issue is that faster clocks result in better “sampling” and therefore can introduce more behaviors.

  • Implementation of timed automata : An issue of semantics or modeling?
    Lecture Notes in Computer Science, 2005
    Co-Authors: Karine Altisen, Stavros Tripakis
    Abstract:

    We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We propose an implementation methodology which allows to transform a timed automaton into a program and to check whether the Execution of this program on a given Platform satisfies a desired property. This is done by modeling the program and the Execution Platform, respectively, as an untimed automaton and a collection of timed automata. We also study the problem of property preservation, in particular when moving to a better Execution Platform. We show that some subtleties arise regarding the definition of better, in particular for digital clocks. The fundamental issue is that faster clocks result in better sampling and therefore can introduce more behaviors.

Shige Wang - One of the best experts on this subject based on the ideXlab platform.

  • integration of collaborative analyses for development of embedded control software engineering groups must work closely together to develop controls that can integrate the software modules virtual Execution Platforms and analyses needed for automatio
    Proceedings of the IEEE, 2010
    Co-Authors: Sangsoo Park, Kang G Shin, Shige Wang
    Abstract:

    Model-based methodologies have been widely used to handle the increasing demand for rapid development of high-quality, real-time embedded control software. A key challenge in such model-based design is integration of various Bcollaborative( analysis methods to support the automation of the design process. Traditional analysis methods developed for analyzing specific system properties, however, are not designed for such integration, and thus cannot ensure that the information for the analysis will be provided at the design stage where the information is needed. Moreover, many traditional analysis methods depend heavily on complete and accurate design models which can only be applied to post-design veri- fication and are unavailable for automation of the design process involving an early design stage, where implementation details are unknown. This challenge can be met by integrating analysis methods with the design process. We have developed such a framework combined with software modeling, Execution Platform configuration, and run-time monitoring mechanisms to enable accurate assessment of embedded software quality at early design stages. We have implemented and demon- strated the framework with a toolkit, called AIRES, that integrates software models, a virtual Execution Platform, and timing and schedulability analysis methods.

  • integrating virtual Execution Platform for accurate analysis in distributed real time control system development
    Real-Time Systems Symposium, 2007
    Co-Authors: Sangsoo Park, W Olds, Kang G Shin, Shige Wang
    Abstract:

    A distributed real-time control system is modeled by automatically generating a virtual Execution Platform and integrating it with an abstract run-time model. This allows us to capture the dynamic effects of non-deterministic behavior of the underlying hardware and real-time operating system (RTOS), which cannot be accurately evaluated by existing static approaches. Our framework has been implemented and integrated with the existing AIRES toolkit. The construction of a virtual Execution Platform for a control application is observed to take 422ms. The integrated Platform and control application consists of 56 software components connected by 1280 links for data exchanges and precedence relations, and the constructed Platform executes the application at a normalized speed-defined as the ratio of simulation time to real time -10.6. Our preliminary evaluation has demonstrated the virtual Execution Platform's capability of providing accurate run-time information at a reasonable time-cost.

  • RTSS - Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development
    28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007
    Co-Authors: Sangsoo Park, W Olds, Kang G Shin, Shige Wang
    Abstract:

    A distributed real-time control system is modeled by automatically generating a virtual Execution Platform and integrating it with an abstract run-time model. This allows us to capture the dynamic effects of non-deterministic behavior of the underlying hardware and real-time operating system (RTOS), which cannot be accurately evaluated by existing static approaches. Our framework has been implemented and integrated with the existing AIRES toolkit. The construction of a virtual Execution Platform for a control application is observed to take 422ms. The integrated Platform and control application consists of 56 software components connected by 1280 links for data exchanges and precedence relations, and the constructed Platform executes the application at a normalized speed-defined as the ratio of simulation time to real time -10.6. Our preliminary evaluation has demonstrated the virtual Execution Platform's capability of providing accurate run-time information at a reasonable time-cost.

Karine Altisen - One of the best experts on this subject based on the ideXlab platform.

  • FORMATS - Implementation of timed automata: an issue of semantics or modeling?
    Lecture Notes in Computer Science, 2005
    Co-Authors: Karine Altisen, Stavros Tripakis
    Abstract:

    We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We propose an implementation methodology which allows to transform a timed automaton into a program and to check whether the Execution of this program on a given Platform satisfies a desired property. This is done by modeling the program and the Execution Platform, respectively, as an untimed automaton and a collection of timed automata. We also study the problem of property preservation, in particular when moving to a “better” Execution Platform. We show that some subtleties arise regarding the definition of “better”, in particular for digital clocks. The fundamental issue is that faster clocks result in better “sampling” and therefore can introduce more behaviors.

  • Implementation of timed automata : An issue of semantics or modeling?
    Lecture Notes in Computer Science, 2005
    Co-Authors: Karine Altisen, Stavros Tripakis
    Abstract:

    We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We propose an implementation methodology which allows to transform a timed automaton into a program and to check whether the Execution of this program on a given Platform satisfies a desired property. This is done by modeling the program and the Execution Platform, respectively, as an untimed automaton and a collection of timed automata. We also study the problem of property preservation, in particular when moving to a better Execution Platform. We show that some subtleties arise regarding the definition of better, in particular for digital clocks. The fundamental issue is that faster clocks result in better sampling and therefore can introduce more behaviors.

Sangsoo Park - One of the best experts on this subject based on the ideXlab platform.

  • integration of collaborative analyses for development of embedded control software engineering groups must work closely together to develop controls that can integrate the software modules virtual Execution Platforms and analyses needed for automatio
    Proceedings of the IEEE, 2010
    Co-Authors: Sangsoo Park, Kang G Shin, Shige Wang
    Abstract:

    Model-based methodologies have been widely used to handle the increasing demand for rapid development of high-quality, real-time embedded control software. A key challenge in such model-based design is integration of various Bcollaborative( analysis methods to support the automation of the design process. Traditional analysis methods developed for analyzing specific system properties, however, are not designed for such integration, and thus cannot ensure that the information for the analysis will be provided at the design stage where the information is needed. Moreover, many traditional analysis methods depend heavily on complete and accurate design models which can only be applied to post-design veri- fication and are unavailable for automation of the design process involving an early design stage, where implementation details are unknown. This challenge can be met by integrating analysis methods with the design process. We have developed such a framework combined with software modeling, Execution Platform configuration, and run-time monitoring mechanisms to enable accurate assessment of embedded software quality at early design stages. We have implemented and demon- strated the framework with a toolkit, called AIRES, that integrates software models, a virtual Execution Platform, and timing and schedulability analysis methods.

  • integrating virtual Execution Platform for accurate analysis in distributed real time control system development
    Real-Time Systems Symposium, 2007
    Co-Authors: Sangsoo Park, W Olds, Kang G Shin, Shige Wang
    Abstract:

    A distributed real-time control system is modeled by automatically generating a virtual Execution Platform and integrating it with an abstract run-time model. This allows us to capture the dynamic effects of non-deterministic behavior of the underlying hardware and real-time operating system (RTOS), which cannot be accurately evaluated by existing static approaches. Our framework has been implemented and integrated with the existing AIRES toolkit. The construction of a virtual Execution Platform for a control application is observed to take 422ms. The integrated Platform and control application consists of 56 software components connected by 1280 links for data exchanges and precedence relations, and the constructed Platform executes the application at a normalized speed-defined as the ratio of simulation time to real time -10.6. Our preliminary evaluation has demonstrated the virtual Execution Platform's capability of providing accurate run-time information at a reasonable time-cost.

  • RTSS - Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development
    28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007
    Co-Authors: Sangsoo Park, W Olds, Kang G Shin, Shige Wang
    Abstract:

    A distributed real-time control system is modeled by automatically generating a virtual Execution Platform and integrating it with an abstract run-time model. This allows us to capture the dynamic effects of non-deterministic behavior of the underlying hardware and real-time operating system (RTOS), which cannot be accurately evaluated by existing static approaches. Our framework has been implemented and integrated with the existing AIRES toolkit. The construction of a virtual Execution Platform for a control application is observed to take 422ms. The integrated Platform and control application consists of 56 software components connected by 1280 links for data exchanges and precedence relations, and the constructed Platform executes the application at a normalized speed-defined as the ratio of simulation time to real time -10.6. Our preliminary evaluation has demonstrated the virtual Execution Platform's capability of providing accurate run-time information at a reasonable time-cost.

S K Panda - One of the best experts on this subject based on the ideXlab platform.

  • optimizing test generation to the Execution Platform
    Asia and South Pacific Design Automation Conference, 2012
    Co-Authors: Amir Nahir, Avi Ziv, S K Panda
    Abstract:

    The role of stimuli generators is to reach all the dark corners of the design and expose the bugs hiding there. As such, stimuli generation is one of the cornerstones of dynamic verification. The quality of tools used for stimuli generation affect the outcome of the verification process. This paper discusses how differences between Execution Platforms, ranging from software simulators, through accelerators and emulators, to silicon affect the requirements of stimuli generators and how stimuli generators targeting different Execution Platforms address these differences. We demonstrate how the unique added value of the Platforms are combined to guarantee the high quality of the silicon using examples of several IBM pre- and post-silicon stimuli generators with results from the verification of the IBM POWER7 processor chip.

  • ASP-DAC - Optimizing test-generation to the Execution Platform
    17th Asia and South Pacific Design Automation Conference, 2012
    Co-Authors: Amir Nahir, Avi Ziv, S K Panda
    Abstract:

    The role of stimuli generators is to reach all the dark corners of the design and expose the bugs hiding there. As such, stimuli generation is one of the cornerstones of dynamic verification. The quality of tools used for stimuli generation affect the outcome of the verification process. This paper discusses how differences between Execution Platforms, ranging from software simulators, through accelerators and emulators, to silicon affect the requirements of stimuli generators and how stimuli generators targeting different Execution Platforms address these differences. We demonstrate how the unique added value of the Platforms are combined to guarantee the high quality of the silicon using examples of several IBM pre- and post-silicon stimuli generators with results from the verification of the IBM POWER7 processor chip.