Abstract:In this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that interact with continuous environment. Algorithms are used to specify how the state space of the system model should be explored in order to perform analysis. In ReachLab, both system models and analysis algorithm models are specified in the same framework using Hybrid System Analysis and Design Language (HADL), which is a meta-model based language. The platform allows the models of algorithms to be constructed hierarchically and promotes their reuse in constructing more complex algorithms. Moreover, the platform is designed in such a way that the concerns of design and implementation of analysis algorithms are separated. On one hand, the models of analysis algorithms are abstract and therefore the design of algorithms can be made independent of implementation details. On the other hand, translators are provided to automatically generate implementations from the models for computing analysis results based on computation kernels. Multiple computation kernels, which are based on specific computation tools such as d/dt and the Level Set toolbox, are supported and can be chosen to enable hybrid state space exploration. An example is provided to illustrate the design and implementation process in ReachLab.

CROSS-PLATFORM IMPLEMENTATION OF THE PREPROCESSOR FOR SYSTEM MODELING

SoC performance modeling methodology and implementation basedon transaction dataflow

Computation platform for automatic analysis of embedded software systems using model based approach

Software System Design and Implementation Based on Principle of Modularized Serial Processing Model

Implementation of Cross-Platform BMP Image Processing Program

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

An Agile BSP Modeling Methodology: Cross Platform BSP Framework (CPBF)

CrossRT: A cross platform programming technology for hardware-accelerated ray tracing in CG and CV applications

Novel many-core architecture design for real-time image processing

An Architectural Model for a Grid based Workflow Management Platform in Scientific Applications

Cross Architectural Power Modelling

Balancing Cpu And Gpu: Real-Time Visualization Of Large Scale 3d Scanning Models

Preprocessing environment in a high end digital prototyping system

Un-preprocessing

Modelling and platform application of the behaviour of a cyber physical production system

Performance evaluation modeling for reconfigurable processor

SystemC Implementation of A Virtual Prototyping Platform for Embedded System

Cross-Platform Performance Portability Using Highly Parametrized SYCL Kernels

Modelling of ASCI High Performance Applications Using PACE

The Design of a Platform Software for CT Algorithms Investigation

HPM-Frame: A Decision Framework for Executing Software on Heterogeneous Platforms