Eclipse Embedded Day Stuttgart 2010/SessionAbstracts
Erfahrungsbericht zum Einsatz von Eclipse Model 2 Model Transformation mit ATL In einem Validierungsframework für Modelle
Dr. Oscar Slotosch, CEO of Validas AG
Abstract: The need for the application of validation suites for tools that may be used in safety critical processes that conform to international standards like ISO26262, DO178b,IEC61508 is growing, especially if the output of the tools shall be trusted, e.g. code generators, target compiler, or test tools.
In the talk a method is presented that systematically generates input and expected output values for tools with corresponding ecore models (reengineered or developed) in Eclipse EMF. The specification of the models in the validation suites is done using a DSL (based on xText), the generation of the tests is done using M2M (ATL). The end of the tests is determined using a model-projection mechanism that shows that all elements of the model that are used in reference projects have been tested. The method has been successfully applied by Validas AG to build two different validation suites for different code generators of leading modelling tools used in automotive sector. Further information is published at www.validas.de
Dr. Oscar Slotosch, Born 1966, Munich, Phd in Computer Science (Formal Methods), Leader of the award-winning academic case-tool AutoFOCUS, Founder and CEO of Validas AG, Expert for model-based development, model-based testing and Code-Generators.