Indian History

MODEL-BASED DEVELOPMENT OF EMBEDDED SYSTEMS WITH RT-CD++

ABSTRACT
The Modeling and Simulation-Driven Engineering (MSDE) approach relies on simulation-based modeling
for developing components of real-time embedded systems. We propose the use of the DEVS formalism
for MSDE activities. We   present the MSDE of an   application using incremental development, seamlessly
integrating hardware components with models simulated in CD++, a   DEVS modeling simulation tool. We
show how to create different experimental frameworks, al lowing the analysis of model execution in a
risk-free environment. The   approach allows secure, reliable testing, analysis of different levels of
abstraction in the system, and model reuse.
INTRODUCTION
Embedded real-time software construction has usually posed interesting challenges due to the
complexity of the tasks executed. Most methods are either hard to scale up for large systems, or require
a difficult testing effort with no guarantee for bug f ree software products.   Formal methods have
showed promising results, nevertheless, they are difficult to apply   when   the complexity of the system
under development scales up. Instead, systems engineers have often relied on the use of modeling and
simulation (M&S) techniques in order to make system development tasks manageable. Construction of
system models and their analysis through simulation r educes both end costs and risks, while enhancing
system capabilities and improving the quality of the final products. M&S let users experiment with
“virtual” systems, allowing them to explore changes,   and   test dynamic conditions in a risk-free
environment. This is a useful approach, moreover considering that testing under actual operating
conditions may be impractical and in some cases impossible. M&S methodologies and tools have
provided means for cost-effective validity analysis for real-time embedded systems   [SER00, DP02]. M&S
is widely used for the early...