Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

Abhishek Dubey, X. Wu, H. Su, T. J. Koo

Automated Technology for Verification and Analysis 2005

PDF

Why This Matters

Analyzing hybrid embedded systems requires techniques that combine continuous and discrete dynamics analysis, but implementing these algorithms for different system models is time-consuming and error-prone. The innovation of ReachLab is applying Model Integrated Computing principles to enable algorithm designers to work with abstract system models while automatic code generation handles translation to specific computational tools. This enables broader adoption of advanced analysis techniques.

What We Did

This paper presents ReachLab, a computation platform for automatic analysis of embedded software systems using model-based approach. The platform uses the Hybrid System Analysis and Design Language (HADL) as a meta-model to enable design of analysis algorithms that can be reused across different system domains. ReachLab separates algorithm design from implementation details through domain-specific modeling, allowing researchers to specify analysis algorithms that are automatically executed using various computational kernels.

Key Results

ReachLab successfully implements a platform where analysis algorithms specified in HADL can be executed against different hybrid system models using both symbolic and reachability analysis methods. The platform demonstrates support for multiple analysis techniques including d/dt kernels for computing reachable sets and Level Set methods for symbolic analysis. Experimental examples show how the platform separates algorithm design from specific implementation details.

Full Abstract

Cite This Paper

@inproceedings{Dubey2005,
  author = {Dubey, Abhishek and Wu, X. and Su, H. and Koo, T. J.},
  booktitle = {Automated Technology for Verification and Analysis},
  title = {Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach},
  year = {2005},
  address = {Berlin, Heidelberg},
  editor = {Peled, Doron A. and Tsay, Yih-Kuen},
  pages = {114--128},
  publisher = {Springer Berlin Heidelberg},
  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.},
  category = {selectiveconference},
  contribution = {lead},
  file = {:Dubey2005-Computation_Platform_for_Automatic_Analysis_of_Embedded_Software_Systems_Using_Model_Based_Approach.pdf:PDF},
  isbn = {978-3-540-31969-6},
  keywords = {hybrid systems, embedded systems analysis, model-integrated computing, domain-specific language, algorithmic specifications, reachability analysis},
  project = {cps-reliability},
  tag = {platform}
}
Quick Info
Year 2005
Keywords
hybrid systems embedded systems analysis model-integrated computing domain-specific language algorithmic specifications reachability analysis
Research Areas
CPS ML for CPS scalable AI
Search Tags

Computation, Platform, Automatic, Analysis, Embedded, Software, Systems, Model, Approach, hybrid systems, embedded systems analysis, model-integrated computing, domain-specific language, algorithmic specifications, reachability analysis, CPS, ML for CPS, scalable AI, 2005, Dubey, Wu, Su, Koo