Combining Model-Based Design (MBD) and Model-Based Testing (MBT) for early validation of embedded real-time systems

International audienceThis paper describes an approach combining Model-Based Engineering (MBE) and Model-Based Testing, and its application to requirements validation for an embedded Instrumentation & Control (I&C) system. Many aspects of the embedded system can thus be validated early in the lifecycle, long before an actual implementation is developed, and, most importantly, requirements can be validated before the system is implemented. A flexible integration environment makes it possible to reuse the test cases throughout the lifecycle. This approach is being implemented in the CONNEXION R&D project, using Esterel Technologies’ SCADE Suite and All4tec’s MaTeLo, with Corys’ ALICES as an integration environment

QUARTZ : logiciel d'evaluation de performances des reseaux teleinformatiques

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc