Abstract :
Model-based design can be big time-saver in developing complex systems. But, for safety-critical applications, it might be saving too much time - and in all the wrong places. Model-based design techniques are now firmly established in embedded design: particularly at the systems engineering level. From their roots in mathematical and algorithmic modeling, they have moved into the mainstream of product design, valued for their contribution to efforts to achieve results quickly - and reduce lead times and development costs. But the use of model-based design in dependable and mission critical systems raises a whole new raft of questions, particularly when it is combined with automatic code generation
