Abstract
Behavioral Hybrid Process Calculus (BHPC) is a formalism for Modeling and analysis of hybrid systems combining process algebras and the behavioral approach for Modeling of instantaneous changes and continuous evolution. BHPC is supported by Bhave toolset, containing a tool for a novel way of visualization of hybrid systems simulations msp-svg and a new version of hybrid simulator. In this paper, we present the latest developments of Bhave toolset and apply it for case studies of system control and electronic system design.
| Original language | English |
|---|---|
| Journal | Engineering Letters |
| Volume | 18 |
| Issue number | 3 |
| Publication status | Published - Aug 2010 |
Keywords
- Electronic system design
- Formal methods
- Hybrid systems
- Simulation